LOG : Logique en Licence 3 d'Informatique
Responsable du module : Sophie Pinchinat
Équipe pédagogique : Dylan Bellier, Mathieu Degré, Annie Foret, Sophie Pinchinat
Accès enseignant
Objectifs d'apprentissage
Savoir spécifier en logique, en vue de l'utilisation ultérieure de la
logique dans les environnements de programmation assistée. Les
premières bases concernent la logique classique (logique
propositionnelle et logique du premier ordre) telle qu'utilisée dans
la plateforme de vérification de programmes Why3, elle-même utilisée
au semestre suivante en Programmation de Confiance.
Bibliographie
- Logique : fondements et applications Cours et exercices corrigés.
Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber
Dunod Eds.
- Le MOOC de l'ENS Cachan.
- R. Caferra, Logique pour l'informatique et pour l'intelligence artificielle, Hermes Science Publications, 2011. Empruntable à l'ENSSAT
- A. Arnold, & I. Guessarian, Mathématiques pour l'informatique. France: Masson, 1993. Empruntable à la BU Sciences et Philosophie
- P. Dehornoy, Mathématiques de l'informatique, Dunod 2001. Empruntable à la BU Sciences et Philosophie
- R. Cori et D. Lascar, Logique Mathématique (2 tomes), Dunod, 2003. À la BU Sciences et Philosophie
- R. David, K. Nour, C. Raffalli, Introduction à la logique - théorie de la démonstration, Dunod, 2001. Empruntable à la BU Sciences et Philosophie
- J. Stern, Fondements mathématiques de l'informatique, Mc Graw-Hill, 1990.) Empruntable à l'ENSSAT
- A. Aho et J. Ullman, Concepts fondamentaux de l'informatique, Dunod, 1993. Empruntable à la BU Sciences et Philosophie
- R. Lassaigne et M. De Rougemont, Logique et complexité, Hermes.
- J-Y. Girard, K. Gödel, E. Nagel, J.R. Newman, Le Théorème de Gödel, Seuil (existe en poche).
- M. Ben-Ari, Mathematical logic for computer science. Springer Science & Business Media, 2012.
- J. Barwise, An introduction to first-order logic. Studies in Logic and the Foundations of Mathematics, 90, 5-46, 1977.
- Handbook of mathematical logic (Vol. 90). Elsevier, 1982.
- H.B. Enderton, A Mathematical Introduction to Logic (1 ed.). Academic Press Second edition, 2001.
Des plateformes pour jouer avec la logique et des références pédagogiques
Support de cours
Ces document ne sont que des notes qui permettent de rappeler les ingrédients essentiels des notions vues en cours. Il vous est fortement conseillé de prendre vos propres notes et de consulter des ouvrages en bibliothèque.
Énoncés des TD
- TD1 Logique Propositionnelle - Premiers pas
- TD2 Logique Propositionnelle - Forme Normale Conjonctive et problème SAT - Résolution
- TD3 Logique du premier ordre - Aspects syntaxiques
- Sujet du TP 2&3 Logique du premier ordre (à télécharger)
- TD4 Logique du premier ordre (suite)
Annales
Compléments