Aide à la recherche   Requête voisine : "théorie de la calculabilité"

1	2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l'interface des mathématiques et de l'informatique.
2	2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
3	2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
4	2011 De la méthode.
5	2011 Epistémologie mathématique.
6	2011 Journée annuelle de la Société Mathématique de France. Vol. 24. Qu'est-ce qu'un nombre au hasard ?
7	2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.
8	2009 Quadrature. N° 72. p. 36-40. Calculabilité en analyse.
9	2009 Tangente. N° 131. p. 16-20. Douglas Hofstadter.
10	2008 Langages formels, calculabilité et complexité.
11	2007 Les métamorphoses du calcul.
12	2004 Gödel.
13	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
14	2002 Eléments de mathématiques discrètes.
15	1999 Information, complexité et hasard.
16	1995 La machine de Turing.
17	1995 La machine de Turing.
18	1994 Information, complexité et hasard.
19	1992 Le calculable et la complexité.