- Logique propositionnelle et logique du premier ordre
- Interprétation et modèles d'une formule
- Méthodes algorithmiques : table de vérité, transformations de formules en forme normale, énumération de modèles, DPLL
- Systèmes de déduction : résolution, déduction naturelle