Eléments de logique pour l’informatique (Info 315)

Responsable: Christine Paulin-Mohring (paulin@lri.fr)
TD : François Deloche, Hassan Ibrahim, Christine Paulin et Guillaume Doquet (MIAGE)
http://www.lri.fr/~paulin/Logique

2016–17

1  Objectifs

L’objectif du cours est de se familiariser avec un formalisme logique, la notion de démonstration, de validité, le lien entre syntaxe et sémantique. Ce cours met en pratique un minimum d’objets mathématiques utilisés en informatique.

2  Organisation

Evaluation

Planning

3  Plan

4  Programme officiel

Références

[1]
Serenella Cerrito. Logique pour l’Informatique : une introduction à la déduction automatique. Vuibert Publisher Co, 2008.
[2]
Robert Cori and Daniel Lascar. Logique Mathématique. Axiomes. Masson, 1993.
[3]
René David, Karim Nour, and Christophe Raffalli. Introduction à la Logique, Théorie de la démonstration. Dunod, 2001.
[4]
Stéphane Devismes, Pascal Lafourcade, and Michel Lévy. Informatique théorique : Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre. Ellipses, 2012.
[5]
Gilles Dowek. La logique. Le Pommier, 2015.
[6]
Yannis Delmas-Rigoutsos et René Lalement. La Logique ou l’art de raisonner. Le Pommier, 2000.

Ce document a été traduit de LATEX par HEVEA