Accueil Publimath  Aide à la recherche  Requête : "théorie de la démonstration"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
24 fiches trouvées Réponses 1 à 20 Suivant Fin

12019 Généalogie des mathématiques.
22015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
32015 Bibliothèque Tangente. N° 55. Les démonstrations.
42015 La logique pas à pas.
52014 Bulletin de l'APMEP. N° 511. p. 531-536. Les trois voyages du chameau.Ressource en ligne
62014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.Ressource en ligne
72014 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).Ressource en ligne
82013 Raisonnements divins.
92011 Justifier en mathématiques.
102007 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.Ressource en ligne
112006 Raisonnements divins.
122004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
132003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
142003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.Ressource en ligne
152003 Repères-IREM, N°50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
162003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
172002 Raisonnements divins.
182002 Repères-IREM, N°49. p. 17-40. Démontrer, pourquoi ?Ressource en ligne
192001 Introduction à la logique.
201999 Information, complexité et hasard.