IMT Atlantique Langages formels et logique du premier ordre sous Python le Mercredi 12 mai 2021

INSCRIPTION

L’inscription se fait sur la page google : ICI

Pour toute information, contacter yannis.haralambous@imt-atlantique.fr

Descriptif - Mots clés

(1) 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

(2) 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 Python.

Des supports de cours et de TP d’un enseignement effectué au sein de l’IMT Atlantique depuis de nombreuses années seront présentés aux participants.

Noms et qualités des intervenants

Yannis Haralambous, professeur, département Informatique, IMT Atlantique

Public visé

Professeurs de CPGE de première année et de deuxième année

Informations pratiques

Dates : mercredi 12 mai 2021

Horaires : 9h-12h30, 13h30-17h

Lieu : en distanciel (Zoom)

Nombre de places offertes (éventuellement) : pas de limite

Les sessions seront enregistrées et placées sur Youtube, en mode non répertorié.