Aide à la recherche   Requête : "problème de la décision"

1	2019 Généalogie des mathématiques.
2	2017 Vidéo de l'IREM de Paris - Le Maths Club. Petit manuel à l'usage de la NSA.
3	2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
4	2015 Bibliothèque Tangente. N° 55. Les démonstrations.
5	2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu'une propriété est vérifiée... ou pas. p. 132-133.
6	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
7	2015 La logique.
8	2015 Tangente. N° 163. p. 10-12. Le génie interrompu d'Alan Turing.
9	2014 Bulletin de l'APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.
10	2012 Tangente Sup. N° 63-64. Prévoir pour décider.
11	2011 De la méthode.
12	2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
13	2010 Bibliothèque Tangente. N° 39. Mathématiques discrètes et combinatoire.
14	2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.
15	2009 Vous avez dit hasard ?
16	2007 Les métamorphoses du calcul.
17	2001 Repères-IREM. N° 45. p. 56-59. Rubrique Point de vue : Vache folle : probabilités, réalités et ... pesanteur(s).
18	1995 La machine de Turing.
19	1995 La machine de Turing.