théorie des ensembles

Il y a 210 résultats avec cette recherche.

1984 Introduction à la logique.

Auteur : Haug Philippe-Jacques
1975 Introduction à la logique.

Auteur : Haug Philippe-Jacques
1994 Mathématiques constructives.

Auteur : Lombardi Henri
1976 A la recherche du NOYAU des programmes de mathématiques du premier cycle.

Auteurs : Lassave Claude. Dir. ; IREM de Toulouse Equipe Savoir Minimum en fin de Troisième. Dir.
1994 Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.

Auteur : Lombardi Henri
2017 Bibliothèque Tangente. N° 61. Premières utilisations des ensembles en mathématiques. p. 22-25.

Auteur : Haffner Emmylou
2017 Bibliothèque Tangente. N° 61. Le jeu de Dobble. p. 26-28.

Auteur : Brilleaud Martine
2017 Bibliothèque Tangente. N° 61. La tentative de Zermelo pour éliminer les paradoxes. p. 128-131.

Auteur : Justens Daniel
1981 Bulletin de l’APMEP. N° 327. p. 30-40. Une définition intuitive, avantageuse et oubliée de la notion d’ensemble fini.

Auteur : Guillaume Marcel
2020 Repères-IREM. N° 119.

Auteur : Repères-IREM Comité de rédaction. Dir.
2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l’interface des mathématiques et de l’informatique.

Auteurs : Leon Nicolas ; Modeste Simon
1975 Bulletin de l’APMEP. N° 297. p. 65-73. Dans dix ans, la théorie des catégories remplacera-t-elle celle des ensembles ?

Auteur : Fourastié Jacqueline
2005 L’Ouvert. N° 112.

Auteur : IREM de Strasbourg L'Ouvert. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.

Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. La logique.

Auteur : Cohen Gilles. Dir.
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.

Auteur : Lombardi Henri
1990 Le logotron.

Auteur : Petit Jean-Pierre
2023 Tangente. N° 209. p. 22-25. Cantor-Berstein : quand deux injections valent une bijection.

Auteur : Aoustin Fabien
2023 Tangente. N° 209. p. 20-21. Le barbier était une femme.

Auteurs : Verneyre Séverine ; Zayana Karim
2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.

Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
1973 Information mathématique. N° 01. p. 9-14. Projets de progression dans le premier cycle.

Auteur : Bernard René
1981 Fragments d’histoire des mathématiques. T. 1. Histoire des notations de la théorie des ensembles. p. 159-168.

Auteur : Knott Roger
1994 Pour la Science. Dossier N° 2. p. 118-128. Georg Cantor.

Auteur : Dauben Joseph Warren
1996 Les mathématiciens. Georg Cantor. p. 182-195.

Auteur : Dauben Joseph Warren