Aide à la recherche   Requête : "théorie de la démonstration"

27 fiches trouvées

Réponses 1 à 20

1	2020 C.Q.F.D.
2	2019 Généalogie des mathématiques.
3	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
4	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
5	2015 La logique pas à pas.
6	2014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.
7	2014 Bulletin de l'APMEP. N° 511. p. 531-536. Les trois voyages du chameau.
8	2014 Vidéo de l'IREM de Paris - Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).
9	2013 Raisonnements divins.
10	2011 Justifier en mathématiques.
11	2007 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu'on n'a jamais voulu vous révéler.
12	2006 Raisonnements divins.
13	2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
14	2003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
15	2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
16	2003 Repères-IREM. N° 50.
17	2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
18	2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
19	2002 Raisonnements divins.
20	2002 Repères-IREM. N° 49. p. 17-40. Démontrer, pourquoi ?