Aide à la recherche
Requête :
"axiomatique formelle"
Nouvelle recherche
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
27 fiches trouvées
Réponses 1 à 20
1
2017 Bibliothèque Tangente. N° 61. Mais que sont les axiomes ? p. 122-126.
2
2017 Bibliothèque Tangente. N° 61. La tentative de Zermelo pour éliminer les paradoxes. p. 128-131.
3
2017 Bibliothèque Tangente. N° 61. Kurt Gödel et l'indécidabilité. p. 70-73.
4
2017 Bibliothèque Tangente. N° 61. Les ensembles flous : modéliser les appartenances incertaines. p. 110-113.
5
2017 Bibliothèque Tangente. N° 61. L'axiome du choix. p. 132-134.
6
2017 Bibliothèque Tangente. N° 61. Les ensembles.
7
2017 Bibliothèque Tangente. N° 61. Aux sources de la topologie. p. 140-143.
8
2017 Bibliothèque Tangente. N° 61. L'axiomatisation du hasard. p. 136-139.
9
2016 Tangente Hors-série. N° 61. p. 50-51. L'axiome du choix.
10
2016 Tangente Hors-série. N° 61. p. 42-44. Mais que sont les axiomes ?
11
2016 Tangente Hors-série. N° 61. Les ensembles.
12
2015 Repères-IREM, N°100. p. 25-47. Les définitions de nom et les autres.
13
2011 Bulletin de l'APMEP. N° 494. p. 286-296. Enseignement, mathématiques et modernité au XXe siècle.
14
2011 Justifier en mathématiques.
15
2009 Bulletin de l'APMEP. N° 484. p. 648-672. De la modélisation du monde au monde des modèles (1).
16
2004 Bibliothèque Tangente. N° 15. La logique floue. p. 72-76.
17
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
18
2004 Bibliothèque Tangente. N° 15. Les logiques non classiques. p. 78-79.
19
2004 Bibliothèque Tangente. N° 15. La logique.
20
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.