Accueil Publimath  Aide à la recherche  Requête : "thèse de Church"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
17 fiches trouvées

12013 Quadrature. Num. 90. p. 18-23. Les nombres réels calculables selon Alan Turing.
22012 Quadrature. Num. 86. p. 17-28. Initiation à la calculabilité.
32011 De la méthode.
42011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
52011 Epistémologie mathématique.
62010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
72009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.Ressource en ligne
82007 Les métamorphoses du calcul.
92004 Bibliothèque Tangente. Num. 15. Calculabilité, décidabilité et complexité. p. 62-65.
102004 Bibliothèque Tangente. Num. 15. La logique.
112003 Tangente Hors-série. Num. 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
122003 Tangente Hors-série. Num. 15. Vol. 2. Logique et informatique.
131999 Information, complexité et hasard.
141994 Information, complexité et hasard.
151992 Le concept de suite aléatoire et la thèse de Church.
161991 L'Ouvert. Num. 65. p. 18-26. Un retour aux origines du calculable - la thèse de Church / Post.Ressource en ligne
171991 L'Ouvert. Num. 65.Ressource en ligne