Accueil Publimath  Aide à la recherche  Requête : "fonction calculable"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
19 fiches trouvées

12023 Mathématice. N° 87. Automates - 01. Automates finis.Ressource en ligne
22022 Mathématice. N° 79. La machine de Turing (1/2).Ressource en ligne
32016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.Ressource en ligne
42015 Mathématice. N° 44. Sous les pavés, le calcul.Ressource en ligne
52014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
62014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
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é.
92012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
102011 Epistémologie mathématique.
112010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
122009 Quadrature. N° 72. p. 36-40. Calculabilité en analyse.
132008 Langages formels, calculabilité et complexité.
142002 Eléments de mathématiques discrètes.
151999 Information, complexité et hasard.
161995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
171994 Information, complexité et hasard.
181978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
191978 Abrégé d'histoire des mathématiques 1700-1900. II.