Cursos

Nuevo filtro
Nuevo filtro

42078 Cursos

Fullname Shortname Summary
UE 49 Cancérologie UPSAY_2024_920_UE_A4UE49 RESUME COURS : See course
UE 43 Nutrition/Maladies Métaboliques UPSAY_2024_920_UE_A4UE43 RESUME COURS : See course
Langages formels et Analyse syntaxique UPSAY_2024_940_UE_DLIN322

RESUME COURS : 

- Objectifs d'apprentissage: Notions théoriques sur les langages formels, techniques de preuve, principe de l'analyse syntaxique ascendante, notions élémentaires de calculabilité.

- Continuité: Le cours de LF approfondi et place dans leur contexte théorique les fondamentaux abordés au cours de L2/PIL (automate d'états fini, expressions rationnelles). Il développe ensuite les concepts nécessaire a un  cours de compilation

- Description: le cours se développe comme suit:

1-Automates finis : non déterminisme, expression rationnelle, preuve du théorème de Kleene (système d'équations associé à un automate), minimisation, résiduels, construction directe de l'automate minimal, lemme de l'étoile, pompage, propriétés de clôture, lien avec l'analyse lexicale.

2-Grammaires : hiérarchie de Chomsky, grammaire régulière, grammaires hors contexte.

Lemme de la double étoile pour les langages algébriques, propriétés de clôture.

Illustration avec des grammaire de vrai langage de programmation.

3-Automates à pile : fonctionnement non-déterministe, blocage, terminaison, lien avec les langages algébrique.

4-Analyse syntaxique : analyse LR, calcul des tables d'analyse ascendante SLR(1), gestion des conflits, le cas LALR.

5-Machines de Turing : définition, langage/problèmes indécidables. Le problème de l'arrêt.

Introduction aux classes de complexité, P, NP, problème NP-complet.

See course
UE61 Dispositifs Médicaux UPSAY_2024_920_UE_A4UE61 RESUME COURS : See course
Eléments de logique pour l'informatique UPSAY_2024_940_UE_DLIN315 Année universitaire 2024-25
Ce cours d'introduction à la logique et à ses liens avec l'informatique s'adresse à des étudiants de niveau L3 de la mention informatique et de la mention "Informatique, Mathématiques" (dont magistère informatique).
See course
UE48 Radioactivité UPSAY_2024_920_UE_A4UE48A RESUME COURS : See course
UE44 Pathologies des Fonctions digestives UPSAY_2024_920_UE_A4UE44A RESUME COURS : See course
UE 41 Législation/Economie de la Santé UPSAY_2024_920_UE_A4UE41 RESUME COURS : See course
PRF-tous - PRF-tous (S2-2A - 2023-24) ENSTA_OCC_10892 See course
DFGSM3 - Cardiologie R2C - 2024-2025 DFGSM3_Cardio_R2C_24_25 See course
DFGSM3 - Infectiologie R2C - 2024-2025 DFGSM3_infectio_R2C_24_25 See course
DFGSM3 - Pneumologie R2C - 2024-2025 DFGSM3_pneumo_R2C_24_25 See course
DFGSM2 - Sémiologie générale - 2024-2025 B2FG2-1-24 See course
DFGSM2 - Système cardiovasculaire - 2024-2025 B2FG2-7-24 See course
DFGSM2 - UE Hématologie - 2024-2025 DFGSM2_UE_Hemato_24 See course
DFGSM2 S1 - Bases des traitements - 2024-2025 B2FG2-2_2024 See course
DFGSM2 S1 - FGSU N°1 - 2024-2025 B2FG2-10-24 See course
DFGSM2 S2 - Appareil digestif - 2024-2025 B2FG2-13_2024 See course
DFGSM2 S2 - Génétique médicale - 2024-2025 B3FG3-11_2024 See course
DFGSM2 S2 - Hormonologie-Reproduction - 2024-2025 B2FG2-16_2024 See course
DFGSM2 S2 - Immunologie-Immunointervention - 2024-2025 B2FG2-15_2024 See course
DFGSM2 S2 - Reins et voies urinaires - 2024-2025 B2FG2-14_2024 See course
DFGSM2 S2 - Revêtement cutané - 2024-2025 B3FG3-12_2024 See course
DFGSM2 S2 - Service sanitaire Théorie - 2024-2025 B2FG2-20_2024 See course
Connaître les fondamentaux de la maîtrise foncière et les différents acteurs (Session 5) AESN_M1_S5 See course
DFASM1 - UE Addictologie - 2024-2025 DFASM1_Addicto_2024 See course
DFASM1 - UE Conduites à tenir devant une détresse vitale - 2024-2025 DFASM1_Detresse_vital_2024 See course
DFASM1 - UE Endocrinologie - 2024-2025 DFASM1_Endo_2024 See course
DFASM1 - Relation médecin/patient - 2024-2025 DFASM1_Relation_med/pat_2024 See course
DFASM1 - UE 1 - 2024-2025 DFASM1_UE1_2024 See course