LC

Intervenants (prénom.nom@irisa.fr)

Partie	Titre	Enoncés TD
Calculabité	Machines de Turing	td1
	Fonctions récursives	td2
	Non calulabilité	td3
Logique	Induction	td4
	Calcul propositionnel	td5
	Déduction en logique propositionnelle	td6
	Déduction par coupure (logique propositionnelle) Calcul des prédicats	td7
	Calcul des prédicats	td8
	Unification et Résolution	td9
	Calcul des prédicats: déduction naturelle, théories	td10
	Théories	td11
	Séance projet encadré

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul, R. Lassaigne, M. de Rougemont.
Logique mathématique, cours et exercices, vol 1 & 2, R. Cori, D. Lascar.
Fondements mathématiques de l'informatique, J. Stern.
Logique, réduction, résolution, R. Lalement.
Handbook of Logic in Computer Science, vol 1, S. Abramsky, D.M. Gabbay, T.S.E. Maibaum.
Introduction à la calculabilité , P. Wolper.
Vérification de logiciels : techniques et outils du model-checking, Ph. Schnoebelen, B. Bérard, M. Bidoit, F. Laroussinie, et A. Petit.