Mise à Niveau en LOGique (MNLOG)
Licence 3 d'Informatique 2020-2021

Responsable: Sophie Pinchinat

TouIST easy-to-use softwares (with a GUI) to check satisfiability for Classical Propositional Logic
LOGIC4FUN a website on which users are invited to express a range of logical problems and puzzles in such a way that a black-box solver on the site can produce solutions
Tools for Teaching Logic Guest editors: Sophie Pinchinat and François Schwarzentruber
Teaching natural deduction in the right order with Natural Deduction Planner

H.B. Enderton, A Mathematical Introduction to Logic (1 ed.). Academic Press Second edition, 2001
P. Dehornoy, Mathématiques de l'informatique, Dunod 2001. Empruntable à la BU Sciences et Philosophie
R. Caferra, Logique pour l'informatique et pour l'intelligence artificielle, Hermes Science Publications, 2011. Empruntable à l'ENSSAT
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
Reeves, S., & Clarke, M. (1990). /Logic for computer science/. Wokingham: Addison-Wesley.
J. Stern, Fondements mathématiques de l'informatique, Mc Graw-Hill, 1990.) Empruntable à l'ENSSAT
R. Cori et D. Lascar, Logique Mathématique (2 tomes), Dunod, 2003. Empruntable à la BU Sciences et Philosophie
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).
Le polycopié de Severine Fratani, dont je me suis FORTEMENT inspirée