Accueil Publimath  Aide à la recherche  Requête : "arithmétique de Peano"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
11 fiches trouvées

12015 Bulletin de l'APMEP. Num. 513. p. 211-226. La récursivité ou l'algorithme sans boucles.Ressource en ligne
22015 La logique pas à pas.
32013 Bulletin de l'APMEP. Num. 502. p. 89-95. Remarques sur les suites de Goodstein.Ressource en ligne
42013 Bulletin de l'APMEP. Num. 506. p. 600-610. La récurrence au fil des siècles.Ressource en ligne
52011 Bulletin de l'APMEP. Num. 492. p. 79-87. Les jeux diophantiens.Ressource en ligne
62011 TOUT.
72003 Leçons de mathématiques d'aujourd'hui. Vol. 2.
82003 Repères-IREM. Num. 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.Ressource en ligne
92001 Fondements des mathématiques. T. 2.
101986 Apports de l'informatique en arithmétique.
111971 Eléments de logique pour servir à l'enseignement mathématique.