théorie des types

Il y a 11 résultats avec cette recherche.

2015 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
2004 Du mode d’existence des objets de la mathématique.

Auteur : Gardies Jean-Louis
2014 La possibilité des nombres.

Auteur : Patras Frédéric
2010 Logicomix.

Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
1984 Introduction à la logique.

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

Auteur : Haug Philippe-Jacques
2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.

Auteur : Lombardi Henri
2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.

Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !

Auteur : Alvarez Aurélien
2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.

Auteur : Haralambous Yannis
1993 Les irrationalités de la logique.

Auteur : Longo Giuseppe