(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.