Description

Cette UE est une UE LXSTS Sciences, Techniques et Société, proposée dans le cadre des enseignements transversaux aux étudiants de 1ère année.
Fiche descriptive (Seulement quelques points choisis parmi ceux indiqués dans la fiche descriptive seront abordés.)

Nouvelles

- 1ère séance : Jeudi 15 septembre 2011
- Pour le 03/11/2011 : Lire le texte "Fonctions, Programmes et Démontrations" de JL Krivine (lien disponible dans la bibliographie ci-dessous) + Ecrire le programme Scheme correspondant à la vidéo de G. Dowek.
- Examen : 01/12/2011
- Examen 2ème session : Mardi 17 Janvier 2012 à 8h30 dans la salle Atrium 247

Equipe pédagogique

Mathieu Jaume (Mathieu.Jaume@lip6.fr)

Emploi du temps

Jeudi de 13h30 à 15h30, Salle Atrium 431

Support de cours

- Séance 1 : Introduction à l'introduction
- Séances 2/3 : Langage logique - Syntaxe de la logique des propositions
- Séances 3/4/5/6 : Sémantique de la logique des propositions
- Séances 6/7/8/9 : Des règles pour raisonner en logique des propositions

Bibliographie

- J.-M. Alimi, G. Dowek, L. Rolland, P. Avocat, sous la direction de N. Farouki, Quand la Science a dit ... c'est Impossible, Le Pommier, 1999.
- G. Chardin, G. Dowek, M. Lachièze-Rey, H. This, sous la direction de É. Klein, Quand la science a dit ... c'est bizarre ! Le Pommier, 2003.
- Y. Delmas-Rigoustos, R. Lalement, La logique ou l’art de raisonner, Le Pommier, 2002.
- A.K. Doxiadis, C. Papadimitriou, Logicomix, Vuibert 2010.
- Gilles Dowek, Les métamorphoses du calcul : une étonnante histoire de mathématiques. Le Pommier, Essais, (2007). Grand prix de philosophie de l'Académie Française.
- Gilles Dowek, Comment les notions premières sont-elles définies dans les mathématiques anciennes?. exposé au Séminaire commun CHSPAM - REHSEIS de SPHERE Histoire et Philosophie des mathématiques, le 2 février 2010.
- Gilles Dowek, Le sens du calcul. Exposé au séminaire Qu'est-ce qu'une logique ?, La Sorbonne, le 9 Avril 1996.
- G. Dowek, J.-P. Bourguignon, J.-Ch. Novelli, B. Rittaud, Jeux mathématiques et vice versa, Le Pommier, 2005.
- G. Dowek, Voulez vous jouer avec les maths ?, Le Pommier, 2002.
- G. Dowek, Diophante, l'infini et les ordinateurs. Conf. ERNEST.
- Gilles Dowek, La logique, Collection Dominos, Flammarion, 1995.
- Gilles Dowek, Le langage mathématique et les langages de programmation, Voir, entendre, raisonner, calculer, Cité des sciences et de l'industrie, La Villette, Paris (1997)
- Michael Freund, Logique et raisonnement, Ellipses, 2011.
- J.L. Krivine, Ensembles et preuves, Quadrature, 33, Juillet 98.
- J.L. Krivine, Mathématique des programmes et programme des mathématiques, Turbulence, 1, Oct. 1994.
- J.L. Krivine, Fonctions, programmes et démonstrations, Gazette des mathématiciens (S.M.F.), 60, Avril 1994.
- B. Russel, Histoire de mes idées philosophiques. Coll. Les Essais, Gallimard, 1961.
- R. Smullyan, Quel est le titre de ce livre ? Dunod.
- Norbert Verdier, Qu'est ce que les mathématiques, Le Pommier, 2000.
- Norbert Verdier, L'infini en mathématiques, Collection Dominos, Flammarion, 1997.

Annales

Le programme varie chaque année ... il se peut donc que les annales contiennent des exercices auxquels vous n'êtes pas préparés.
- Examen 2009/2010 Session 1
- Examen 2009/2010 Session 2
- Examen 2010/2011 Session 1
- Examen 2010/2011 Session 2
- Examen 2011/2012 Session 1
- Examen 2011/2012 Session 2