Ce site est destiné aux étudiants suivant le cours « Mathematical Logic » de l'option « Intelligence Artificielle et Informatique Fondamentale » de SUPAERO. On y trouvera la copie des transparents du cours, les énoncés des exercices et des TP.
Transparents du cours et exercices
Les transparents du cours sont disponibles au format PDF ici.
Les fiches d'exercices sont disponibles également au format PDF :
- sémantique de la logique propositionnelle [pdf]
- systèmes formels pour la logique propositionnelle [pdf]
- sémantique de la logique du premier ordre [pdf]
- systèmes formels pour la logique du premier ordre [pdf]
TP sur Prolog
Les transparents présentés durant le TP sont disponibles ici. La documentation de GNU Prolog se trouve là.
Vous pouvez télécharger le fichier prolog.el pour pouvoir avoir un
mode Prolog correct sous Emacs. N'oubliez pas d'ajouter les lignes
suivantes dans le fichier ~/.emacs pour pouvoir l'utiliser :
(add-to-list 'load-path "/chemin/vers/repertoire/contenant/le/fichier/")
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
(autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t)
(setq prolog-system 'gnu)
(setq auto-mode-alist (append '(("\\.pl$" . prolog-mode)
("\\.m$" . mercury-mode))
auto-mode-alist))
BE sur Prolog
Le sujet du BE sur Prolog est disponible ici.
Examens
Vous trouverez ici quelques examens des années précédentes (pas tous).
