Logique

Supports de cours

• CM 0 : Introduction
• CM 1 : Ensembles inductifs, Preuves par induction
• CM 2 : Logique propositionnelle — virus.cnf   coloring.cnf
• CM 3 : Logique du premier ordre

Sujets de TD

• TD 1 : Ensembles inductifs, Preuves par induction
• TD 2 : Logique propositionnelle (1)
• TD 3 : Logique propositionnelle (2)
• TD 4 : Logique du premier ordre

Évaluation

Devoir sur table le jeudi 12 juin à 16h.