Offre de formation de la faculté des sciences et technologie de l'UPEC

Détails de l'UE "Langages formels et raisonnements - S5" (6 ECTS)

Code APOGEE	Intitulé	ECTS	CM	TD	1ère Session									2ème Session
					CC			Examen			Dérogatoire			Examen
					Ecrit	Oral	TP	Ecrit	Oral	TP	Ecrit	Oral	TP	Ecrit	Oral	TP
XSXELFR0	Langages formels et raisonnements	6	24	36	33%			67%			100%			100%

Publics concernés

Responsable(s) pédagogique(s)

Julien CERVELLE

Pré-requis / co-requis

Mathématiques discrètes

Objectifs

Présenter les différents outils formels qui seront  nécessaires à l’étude de la compilation des langages informatiques.
Appréhender l’écriture de raisonnements mathématiques rigoureux sur les structures logiques du premier ordre.

Connaissances / compétences acquises

Savoir utiliser les automates finis,  les grammaires algébriques et les automates à pile comme outil de manipulation des langages.
Savoir rédiger des raisonnements mathématiques sur des structures logiques du premier ordre.

Contenu détaillé de l'enseignement

Langages rationnels
  * Automates finis, langages reconnaissables, rationnels, théorème de Kleene.
  * Déterminisme.
  * Minimisation d'automate.
Langages algébriques
  * Langages algébriques et automates à pile.
  * Propriétés de fermeture.
  * Déterminisme, ambiguïté.

Méthode d'enseignement

CM et TD traditionnels
Nombre d’heures de travail à la maison : l’équivalent du volume horaire d’enseignement

Evaluation par les étudiants

Un questionnaire est rempli par chaque étudiant en fin de semestre.

Indications bibliographiques

J-M. Autebert, Théorie des Langages et des Automates, Masson
J. Stern, Fondements mathématiques de l’informatique, Mc Graw hill

Liste des UEs

Liste des parcours

Mention	Parcours	L1S1	L1S2	L2S3	L2S4	L3S5	L3S6
Mathématiques et interactions	Classique	✔	✔	✔	✔	✔	✔
	Double licence Mathématiques/Informatique	✔	✔	✔	✔	✔	✔
	Double licence Mathématiques/Physique	✔	✔	✔	✔	✔	✔
Informatique	Classique	✔	✔	✔	✔	✔	✔
Informatique	Double licence Mathématiques/Informatique	✔	✔	✔	✔	✔	✔
Sciences de l'ingénieur	Tronc commun	✔	✔
	Electronique et génie informatique			✔	✔	✔	✔
	Maintenance			✔	✔	✔	✔
	Mécanique			✔	✔	✔	✔
	Apprendre autrement	✔	✔	✔	✔
Physique	Classique	✔	✔	✔	✔	✔	✔
Physique	Double licence Mathématiques/Physique	✔	✔	✔	✔	✔	✔
Chimie	Chimie	✔	✔	✔	✔	✔	✔
	Chimie-biologie international	✔	✔	✔	✔
	Chimie-biologie	✔	✔	✔	✔	✔	✔
Sciences de la vie et de la terre	Chimie-biologie international	✔	✔	✔	✔
	Chimie-biologie	✔	✔	✔	✔	✔	✔
	Biologie santé international	✔	✔	✔	✔	✔	✔
	Biologie santé	✔	✔	✔	✔	✔	✔
	Biologie environnement	✔	✔	✔	✔	✔	✔
	Biologie-géologie enseignement	✔	✔	✔	✔	✔	✔
	Biologie-géologie enseignement primaire						✔

Maquette 2016/2017 - Les informations portées sur ces pages sont non-contractuelles et n'engagent en rien la responsabilité de la faculté des sciences et technologies de l'UPEC.