Mots-clés – Auteurs

axiomatique formelle

Il y a 25 résultats pour cette recherche

2017 Bibliothèque Tangente. N° 61. L’axiomatisation du hasard. p. 136-139.
Auteur : Lehning Hervé
2017 Bibliothèque Tangente. N° 61. Kurt Gödel et l’indécidabilité. p. 70-73.
Auteur : Lehning Hervé
2017 Bibliothèque Tangente. N° 61. L’axiome du choix. p. 132-134.
Auteur : Lehning Hervé
2017 Bibliothèque Tangente. N° 61. La tentative de Zermelo pour éliminer les paradoxes. p. 128-131.
Auteur : Justens Daniel
2017 Bibliothèque Tangente. N° 61. Mais que sont les axiomes ? p. 122-126.
Auteur : Justens Daniel
2017 Bibliothèque Tangente. N° 61. Les ensembles flous : modéliser les appartenances incertaines. p. 110-113.
Auteur : Hauchecorne Bertrand
2017 Bibliothèque Tangente. N° 61. Aux sources de la topologie. p. 140-143.
Auteur : Hauchecorne Bertrand
2017 Bibliothèque Tangente. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2016 Tangente Hors-série. N° 61. Les ensembles.
Auteur : Cohen Gilles. Dir.
2016 Tangente Hors-série. N° 61. p. 42-44. Mais que sont les axiomes ?
Auteur : Justens Daniel
2016 Tangente Hors-série. N° 61. p. 50-51. L’axiome du choix.
Auteur : Lehning Hervé
2015 Repères-IREM. N° 100.
Auteur : Repères-IREM Comité de rédaction. Dir.
2015 Repères-IREM. N° 100. p. 25-47. Les définitions de nom et les autres.
Auteur : Neuwirth Stefan
2004 Bibliothèque Tangente. N° 15. La logique floue. p. 72-76.
Auteur : Bouchon-Meunier Bernadette
2004 Bibliothèque Tangente. N° 15. Les logiques non classiques. p. 78-79.
Auteur : Delerue Nicolas
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. La chute de la maison Hilbert. p. 46-50.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 1. p. 32-34. La chute de la maison Hilbert.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 2. p. 18-20. La logique floue.
Auteur : Bouchon-Meunier Bernadette
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1949 Bulletin de l’APMEP. N° 128. p. 112-114. L’Axiomatique dans l’enseignement.
Auteur : Thovert Georges