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

dans Afficher les fiches par  
18 fiches trouvées

12017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
22015 Bibliothèque Tangente. Num. 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
32015 Bibliothèque Tangente. Num. 55. Une preuve de maths est un programme informatique ! p. 138-142.
42015 Bibliothèque Tangente. Num. 55. Les démonstrations.
52015 Quadrature. Num. 98. p. 9-19. Les mathématiques de la langue.
62014 La possibilité des nombres.
72011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
82010 Logicomix.
92009 Bulletin de l'APMEP. Num. 483. p. 449-466. Mathématiques constructives.Ressource en ligne
102009 Histoire de la Théorie des Ensembles.
112007 Les métamorphoses du calcul.
122004 Du mode d'existence des objets de la mathématique.
132003 Calculs & formes. De l'activité mathématique.
141999 Information, complexité et hasard.
151993 Les irrationalités de la logique.
161984 Introduction à la logique.Ressource en ligne
171978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
181975 Introduction à la logique.