IF9: Logique classique

Page déplacée ici

Mémos

Mémo pour le premier cours (pdf)

Mémo pour le deuxième cours (pdf)

Mémo pour le troisième cours (pdf)

Mémo pour le quatrième cours (pdf)

Mémo pour les cinquième et sixième cours (pdf)

Mémo pour les septièmes et huitièmes cours (pdf)

Sujets de TD

Sujet de TD n°1 (pdf), correction partielle.

Sujet du TD n°2 (pdf).

Sujet du TD n°3 (pdf).

Sujet du TD n°4 (pdf).

Sujet du TD n°5 (pdf), correction.

Références

Attention, les notations varient d'un livre à l'autre et ne correspondent pas forcément à celles utilisées en cours.

Le cours de logique de S.Cerrito, voir la section "Les documents". A noter qu'un livre du même auteur: "Logique pour l'Informatique : une introduction à la déduction automatique" va bientôt paraître chez Vuibert.

Le livre de Jean H. Gallier: "Logic for computer science" disponible ici. Ce livre est très complet, mais on peut s'y perdre facilement. Il va bien au-delà de ce qui sera vu en cours.

Le livre de René Lalement: "Logique, réduction, résolution". Livre très complet sur la logique et ses liens avec le calcul. Comme le précédent, il va bien au-delà du cours.