Accueil Publimath  Aide à la recherche  Requête : "axiomatique formelle"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
12 fiches trouvées

12017 Bibliothèque Tangente. Num. 61. Les ensembles.
22016 Tangente Hors-série. Num. 61. p. 50-51. L'axiome du choix.
32016 Tangente Hors-série. Num. 61. Les ensembles.
42016 Tangente Hors-série. Num. 61. p. 42-44. Mais que sont les axiomes ?
52015 Repères-IREM. Num. 100. p. 25-47. Les définitions de nom et les autres.
62011 Bulletin de l'APMEP. Num. 494. p. 286-296. Enseignement, mathématiques et modernité au XXe siècle.Ressource en ligne
72011 Justifier en mathématiques.
82009 Bulletin de l'APMEP. Num. 484. p. 648-672. De la modélisation du monde au monde des modèles (1).Ressource en ligne
92009 Bulletin de l'APMEP. Num. 483. p. 491-500. La construction des objets mathématiques.Ressource en ligne
101994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.Ressource en ligne
111994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
121994 Mathématiques constructives.Ressource en ligne