Below are the class notes for my lectures on Logics (in French); any comments are welcome and will be duly acknowledged in future versions.
Année 2009-2010
Nouvelles fraiches
UN FORUM EST ACCESSIBLE POUR VOS QUESTIONS
Allez chercher le polycopié d'exercices de logique lundi et mercredi de 12h30 à 14h et mardi et jeudi de 10h à 11h30 et de 15h à 16h30, Rez de Chaussée du batiment 31. Le polycopié est aussi disponible sur cette page WEB.
Groupe/ Jour | Enseignants | horaire | salle | horaire | salle |
Groupe Tous Mercredi | I. Guessarian/ JG Ganascia/P Manoury | 8h30 -10h30 | COURS ATRIUM RC31 | ||
Groupe1 Lundi | O. Roussel | 13h30 -15h30 | TD salle B224 | 15h45-17h45 | TME salle ??|
Groupe2 Jeudi | O. Roussel | 8h30 -10h30 | 42-43 304 TD | 10h45-12h45 | 31 303 TME
Adresse électronique / email address : ig@liafa.jussieu.fr
Polycopié du cours;
- chapter 1 (Notes de cours sur la Logique) chapitre1 : format postscript , format pdf
- chapter 2 (Notes du cours de Pascal Manoury ) chapitre2 format pdf
- chapter 3 (Transparents du cours de Mathieu Jaume ) chapitre 3 format pdf .
- Machines de Turing voir : résumé sur les Machines de Turing de David Barker-Plummer (en anglais)
- Calculabilité résumé sur la Calculabilité de Neil Immerman (en anglais),
- Comment programmer le noyau de Tarski postscript , format pdf
- Exercices de programmation en CAMEL sur la logique postscript , format pdf
- Un logiciel d'aide à la construction d'arbres de
preuves et typages et son
mode d'emploi au format pdf
Feuilles de Travaux Dirigés
- Travaux Dirigés logique 2008 postscript , format pdf
- Travaux Dirigés Machines de Turing et (In)décidabilité : Feuille TD postscript , format pdf
- Travaux Dirigés M. Jaume format pdf
Feuilles de Travaux Machine Encadrés
- Feuille TME sur Tarski postscript (format postscript) , pdf
- Feuille TME sur les machines de Turing format postscript , format pdf , avec le logiciel JFLAP.
- A. Arnold, I. Guessarian Mathématiques pour l'Informatique,. Dunod, 2005.
- R. Lassaigne, M. de Rougemont Logique et Fondements de l'Informatique, Hermès, 1993.
- J.-F. Rey, Calculablité, Complexité et Approximation. Vuibert, 2004.
- J. Stern, Fondements mathématiques de l'informatique. McGraw-Hill, 1990.
- Tarski's World,
- Turing's World,
- J.L. Krivine, Ensembles et preuves, Quadrature, 33, p. 9-16 (Juillet 98).
- Y. Delmas-Rigoustos, R. Lalement, La logique ou l'Art de raisonner. Le Pommier, 2002.
- G. Dowek, La logique. Flammarion, 1995.
- R. Lalement, Logique, Réduction, Résolution. Masson, 1990.
- R. David, K. Nour, C. Raffalli, Introduction à la logique. Dunod, 2001
Equipe pédagogique : Irène Guessarian, Lionel Habib, Hakim Belhaouari, Mathieu Jaume.
Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.
Livres recommandés :