Accueil Publimath  Aide à la recherche  Requête : lambda-calcul
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
17 fiches trouvées

12016 L'essentiel de l'informatique en prépa.
22016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.Ressource en ligne
32015 La logique pas à pas.
42015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
52014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
62014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
72014 Tangente Hors-série. N° 52. L'informatique riche des maths.
82014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
92007 Les métamorphoses du calcul.
102004 Bibliothèque Tangente. N° 15. La logique.
112004 Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
122003 Tangente Hors-série. N° 15. Vol. 2. p. 22-30. La correspondance de Curry-Howard.
132003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
141998 Mathématiques. 14 problèmes corrigés posés à l'agrégation interne avec une théorie de la réduction des endomorphismes.
151995 La machine de Turing.
161991 L'Ouvert. N° 65.Ressource en ligne
171991 L'Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable - la thèse de Church / Post.Ressource en ligne