UPEC
Licence Informatique / Double licence mathématiques-informatique
Introduction à la logique
2015/16

Organisation

• Responsable des cours et TD: A.Bès
• 18h de cours, 21h de TD

Documents (transparents, feuilles de TD, annales)

Bibliographie:

• J.Stern, Fondements mathématiques de l'informatique, Mc Graw-Hill, 1990.
• R.David, K.Nour, C.Raffalli, Introduction à la logique - théorie de la démonstration, Dunod, 2001
• R.Cori et D.Lascar, Logique Mathématique (2 tomes), Dunod, 2003.
• A.Aho et J.Ullman, Concepts fondamentaux de l'informatique, Dunod, 1993.
• P.Dehornoy, Mathématiques de l'informatique, Dunod

• R.Lassaigne et M.De Rougemont, Logique et complexité, Hermes.
• Kurt Gödel, Ernest Nagel, James R. Newman, Jean-Yves Girard, Le Théorème de Gödel, Seuil (existe en poche).

Documents disponibles sur le web

• un cours d'initiation à la logique par François Métayer (niveau L1)
• le polycopié du cours de Logique pour l'informatique (niveau L3) de S.Cerrito
• la page du cours d'Irène Guessarian (niveau M1)
• une introduction à la théorie des modèles par Luck Darnière.
• une conférence de Serge Abiteboul: De la Logique du premier ordre à la Toile
• une conférence de Jean-Yves Girard: Les fondements des mathématiques