Module « Logique »
Volume horaire
- 20 heures de cours magistral.
- 20 heures de travaux dirigés.
Description du module
- Calcul propositionnel : syntaxe, sémantique, déduction, formes normales, complétude
- Calcul des prédicats : syntaxe, sémantique, déduction, résolution, complétude