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  
22 fiches trouvées Réponses 1 à 20 Suivant Fin

12015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
22015 Bibliothèque Tangente. N° 55. Les démonstrations.
32015 La logique pas à pas.
42014 Bulletin de l'APMEP. N° 511. p. 531-536. Les trois voyages du chameau.Ressource en ligne
52014 Bulletin de l'APMEP. N° 511. p. 524-530. Une progression pour l'enseignement de la logique propositionnelle au lycée.Ressource en ligne
62013 Raisonnements divins.
72011 Justifier en mathématiques.
82007 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
92006 Raisonnements divins.
102004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
112003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
122003 Quadrature. Num. 49. p. 13-22. Les limites de la correspondance preuve/programme.Ressource en ligne
132003 Repères-IREM, N°50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
142003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
152002 Raisonnements divins.
162002 Repères-IREM, N°49. p. 17-40. Démontrer, pourquoi ?Ressource en ligne
172001 Introduction à la logique.
181999 Information, complexité et hasard.
191993 Démonstration et signification en mathématiques.
201993 Quadrature. Num. 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.