Master Informatique - Université de Bordeaux

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====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).

Master Informatique - Université de Bordeaux

Outils pour utilisateurs

Outils du site

Outils de la page