2009 A la recherche de la preuve en mathématiques.
Auteur : Lehning Hervé
preuve algorithmique
Il y a 22 résultats avec cette recherche.
-
-
-
1984 PLOT. N° 28.
Auteur : APMEP PLOT. Dir.
-
-
Auteurs : Lac Philippe ; More Malika
-
2009 Bulletin de l’APMEP. N° 483. p. 491-500. La construction des objets mathématiques.
Auteur : Wallet Guy
-
Auteurs : Churchhouse Robert F. ; Cornu Bernard ; Ershov Andrei Petrovich ; Howson Albert Geoffrey ; Kahane Jean-Pierre ; Pluvinage François ; Ralston Anthony ; van Lint Jacobus Hendricus ; Yamaguti Masaya
-
Auteurs : Churchhouse Robert F. ; Cornu Bernard ; Ershov Andrei Petrovich ; Howson Albert Geoffrey ; Kahane Jean-Pierre ; Pluvinage François ; Ralston Anthony ; van Lint Jacobus Hendricus ; Yamaguti Masaya
-
2021 Repères-IREM. N° 123. p. 31-43. Pavages pentagonaux convexes avec le corps.
Auteur : Vinatier Stéphane
-
2010 Mathématice. N° 22. Que faire avec un tableur formel au collège et au lycée ?
Auteur : Devalland Christophe
-
2011 Bulletin de l’APMEP. N° 492. p. 43-61. Que faire avec un tableur formel au collège et au lycée ?
Auteur : Devalland Christophe
-
2009 Algorithmes et logique au lycée.
Auteurs : Bouttier Pierrick ; Crumière Anne ; Didier Fernand ; Fillia Jean-Marie ; Quatrini Myriam ; Roland Henri
-
2009 Tangente Hors-série. N° 37. p. 42-43. Veni, divisi, vici.
Auteur : Lehning Hervé
-
2009 Bibliothèque Tangente. N° 37. Veni, divisi, vici. p. 112-117.
Auteur : Lehning Hervé
-
1977 Quelques apports de l’informatique à l’enseignement des mathématiques.
Auteurs : APMEP Commission Informatique ; Deledicq André. Dir.
-
2010 Bulletin de l’APMEP. N° 487. p. 200-210. Vous avez dit « Algorithme ? »
Auteur : Oriol Jean-Claude
-
2013 Quadrature. N° 90. p. 24-26. Récréation avec la suite de Fibonacci.
Auteur : Puydt Julien
-
1984 Bulletin de l’APMEP. N° 344. p. 383-389. Infor »math »ique. Chic et toc ?
Auteur : Boule François