L'objectif est l'acquisition des outils théoriques permettant de construire un raisonnement, avec application à la preuve de programmes.
- Logique propositionnelle
- Logique des prédicats
- Induction
- Preuve formelle
- Spécification et sémantique des programmes
- Preuve de terminaison de programmes
- Preuve de correction de programmes