[:fr](page en construction)
Cours 2A ENSIMAG: Fondements Logiques pour l’Informatique
- Polycopié
- Transparents (logique du premier ordre, version imprimable avec notes): séance 1, séance 2, séance 3, séance 4, séance 5, séance 6, séance 7, tout sur 20 pages.
- Exercices corrigés: Feuille 1, Feuille 2, Feuille 3, Feuille 4, Feuille 5.
[:]
