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

dans Afficher les fiches par  
26 fiches trouvées Réponses 1 à 20 Suivant Fin

12017 Bibliothèque Tangente. Num. 61. Kurt Go del et l'indécidabilité. p. 70-73.
22017 Bibliothèque Tangente. Num. 61. Les ensembles flous : mode liser les appartenances incertaines. p. 110-113.
32017 Bibliothèque Tangente. Num. 61. L'axiomatisation du hasard. p. 136-139.
42017 Bibliothèque Tangente. Num. 61. L'axiome du choix. p. 132-134.
52017 Bibliothèque Tangente. Num. 61. Aux sources de la topologie. p. 140-143.
62017 Bibliothèque Tangente. Num. 61. La tentative de Zermelo pour e liminer les paradoxes. p. 128-131.
72017 Bibliothèque Tangente. Num. 61. Les ensembles.
82017 Bibliothèque Tangente. Num. 61. Mais que sont les axiomes ? p. 122-126.
92016 Tangente Hors-série. Num. 61. p. 50-51. L'axiome du choix.
102016 Tangente Hors-série. Num. 61. Les ensembles.
112016 Tangente Hors-série. Num. 61. p. 42-44. Mais que sont les axiomes ?
122015 Repères-IREM, N°100, p. 25-47. Les définitions de nom et les autres.Ressource en ligne
132011 Bulletin de l'APMEP. Num. 494. p. 286-296. Enseignement, mathématiques et modernité au XXe siècle.Ressource en ligne
142011 Justifier en mathématiques.
152009 Bulletin de l'APMEP. Num. 484. p. 648-672. De la modélisation du monde au monde des modèles (1).Ressource en ligne
162004 Bibliothèque Tangente. Num. 15. La logique.
172004 Bibliothèque Tangente. Num. 15. La chute de la maison Hilbert. p. 46-50.
182004 Bibliothèque Tangente. Num. 15. La logique floue. p. 72-76.
192004 Bibliothèque Tangente. Num. 15. Les logiques non classiques. p. 78-79.
202003 Tangente Hors-série. Num. 15. Vol. 2. Logique et informatique.