Outils pour utilisateurs

Outils du site


if-ll

Logic and Languages

Responsables : Anca Muscholl, Meghyn Bienvenu et 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).

if-ll.txt · Dernière modification : 2020/10/14 13:18 de vpenelle