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

dans Afficher les fiches par  
11 fiches trouvées

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