====Logic and Languages====

Responsables : [[https://labri.fr/perso/anca | Anca Muscholl]], [[https://www.labri.fr/perso/meghyn/ | Meghyn Bienvenu]] et [[https://www.labri.fr/perso/zeitoun | Marc Zeitoun]]

Ce cours du S9 est obligatoire pour AM et en option pour VL.

===Résumé===

Ce cours introduit la logique des modèles finis, tels que les mots, 
les arbres et les graphes fini, ainsi que des logiques temporelles utilisées
en vérification. Nous présenterons également les logiques de description
qui servent à représenter de manière formelle des connaissances d’un 
domaine particulier (e.g. médecine) pour améliorer l’interrogation et le
partage d'informations. On s’intéressera au pouvoir d’expression des logiques 
considérées, ainsi que des problèmes algorithmiques variés (validation de 
formule sur un modèle, satisfiabilité de formule, inférence logique, etc).