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

dans Afficher les fiches par  
18 fiches trouvées

12022 Mathématice. N° 79. La machine de Turing (1/2).Ressource en ligne
22016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.Ressource en ligne
32015 Mathématice. N° 44. Sous les pavés, le calcul.Ressource en ligne
42014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
52014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
62014 Tangente Hors-série. N° 52. L'informatique riche des maths.
72014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
82012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
92011 Epistémologie mathématique.
102010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
112009 Quadrature. N° 72. p. 36-40. Calculabilité en analyse.
122008 Langages formels, calculabilité et complexité.
132002 Eléments de mathématiques discrètes.
141999 Information, complexité et hasard.
151995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
161994 Information, complexité et hasard.
171978 Abrégé d'histoire des mathématiques 1700-1900. II.
181978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.