Description du stage
- Langages formels réguliers, grammaires formelles, expressions régulières, automates de type fini, langages hors contexte, automates à pile, exemple de grammaire formelle de langage contextuel
Parenthèse 1 : applications au langage naturel sous Python NLTK, grammaires à traits - Logique du premier ordre, inférence, preuve, interprétation, théorie des modèles, satisfaisabilité, applications au langage naturel
Parenthèse 2 : le démonstrateur de théorèmes Z3, le problème des 8 reines
Parenthèse 3 : la chasse aux sorcières dans le Sacré Graal ! des Monty Pytho
Des supports de cours et de TP d’un enseignement effectué au sein d'IMT Atlantique depuis de nombreuses années seront présentés aux participants.
Le stage sera assuré entièrement en distanciel, par visioconférence. Les sessions seront enregistrées et placées sur Youtube, en mode non répertorié.
Public visé
Professeurs de CPGE de première année et de deuxième année.
Intervenant
Yannis Haralambous, professeur, département Informatique, IMT Atlantique