Accueil Publimath  Aide à la recherche  Requête : "théorie des types"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
20 fiches trouvées

12022 Tangente. N° 206. p. 18-20. Un génie hors des sentiers battus.
22019 Généalogie des mathématiques.Ressource en ligne
32017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
42015 Bibliothèque Tangente. N° 55. Les démonstrations.
52015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
62015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
72015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
82014 La possibilité des nombres.
92011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
102010 Logicomix.
112009 Bulletin de l'APMEP. N° 483. p. 449-466. Mathématiques constructives.Ressource en ligne
122009 Histoire de la Théorie des Ensembles.
132007 Les métamorphoses du calcul.
142004 Du mode d'existence des objets de la mathématique.
152003 Calculs et formes. De l'activité mathématique.
161999 Information, complexité et hasard.
171993 Les irrationalités de la logique.
181984 Introduction à la logique.Ressource en ligne
191978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
201975 Introduction à la logique.