[Stage Liesse] Langages formels et logique du premier ordre sous Python

Texte

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é.

Inscription en ligne

Public visé

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

Texte

Date

mercredi 12 mai 2021

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

Texte

Intervenant

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