Cursos

Nuevo filtro
Nuevo filtro

41998 Cursos

Fullname Shortname Summary
GR7-2_2024/2025 APT_30432_2024_2025 See course
GR8-2_2024/2025 APT_30440_2024_2025 See course
GR11.2_2024/2025 APT_30441_2024_2025 See course
GR10-1_2024/2025 APT_30442_2024_2025 See course
GR3-2_2024/2025 APT_30443_2024_2025 See course
GR4-1_2024/2025 APT_30444_2024_2025 See course
GR4-2_2024/2025 APT_30445_2024_2025


See course
GR5-1_2024/2025 APT_30446_2024_2025 See course
GR5-2_2024/2025 APT_30447_2024_2025 See course
GR6-1_2024/2025 APT_30448_2024_2025 See course
GR6-2_2024/2025 APT_30449_2024_2025 See course
GR7-1_2024/2025 APT_30450_2024_2025 See course
GR9-2_2024/2025 APT_30451_2024_2025 See course
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