I4IRIF11 - Logique Formelle & Programmation Logique

Cours de Logique:
- logique propositionnelle
- logique du premier ordre
- principe de résolution
- programmation logique: Prolog