Accueil Publimath  Aide à la recherche  Requête : "problème de la décision"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
18 fiches trouvées

12017 Vidéo de l'IREM de Paris - Le Maths Club. Petit manuel à l'usage de la NSA.Ressource en ligne
22015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
32015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
42015 Bibliothèque Tangente. N° 55. Les démonstrations.
52015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
62015 La logique.
72015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
82014 Bulletin de l'APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.Ressource en ligne
92012 Tangente Sup. N° 63-64. Prévoir pour décider.
102011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
112011 De la méthode.
122010 Bibliothèque Tangente. N° 39. Mathématiques discrètes et combinatoire.
132009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.Ressource en ligne
142009 Vous avez dit hasard ?
152007 Les métamorphoses du calcul.
162001 Repères-IREM, N°45. p. 56-59. Vache folle : probabilités, réalités et ... pesanteur(s).Ressource en ligne
171995 La machine de Turing.
181995 La machine de Turing.