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

dans Afficher les fiches par  
17 fiches trouvées

12016 Mathématice. N° 52. Des langages de programmation à la programmation de langages.Ressource en ligne
22015 Mathématice. N° 44. Sous les pavés, le calcul.Ressource en ligne
32014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
42014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
52014 Tangente Hors-série. N° 52. L'informatique riche des maths.
62014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
72012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
82011 Epistémologie mathématique.
92010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
102009 Quadrature. N° 72. p. 36-40. Calculabilité en analyse.
112008 Langages formels, calculabilité et complexité.
122002 Eléments de mathématiques discrètes.
131999 Information, complexité et hasard.
141995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
151994 Information, complexité et hasard.
161978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
171978 Abrégé d'histoire des mathématiques 1700-1900. II.