Description
- Systèmes formels
- Logique propositionnelle (aspects syntaxiques et sémantiques, notions de preuves)
- Éléments de logique des prédicats du premier ordre
- Principe de résolution
- Bases du langage PROLOG (éléments du langage, manipulation des listes, etc)
- Manipulation du langage SWI-Prolog