2009 Bulletin de l’APMEP. N° 483. p. 491-500. La construction des objets mathématiques.
Auteur : Wallet Guy
preuve en mathématiques
Il y a 36 résultats avec cette recherche.
-
-
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
-
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
-
2004 Bulletin de l’APMEP. N° 453. p. 525-538. Problème et récit au CE1.
Auteurs : Vasselon Jeanine ; Sarrouy Michel
-
2003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
Auteur : Krivine Jean-Louis
-
2004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
Auteur : Krivine Jean-Louis
-
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
-
2004 Tangente. N° 97. p. 42-45. Bêtises ou clefs du progrès ? Les erreurs.
Auteur : Lehning Hervé
-
1999 Vrai ? Faux ? On en débat ! De l’argumentation vers la preuve en mathématiques au cycle 3.
Auteurs : INRP Equipe ERMEL ; Douaire Jacques. Dir. ; Hubert Christiane. Dir.
-
Auteur : Hersant Magali