Mots-clés – Auteurs

thèse de Church

Il y a 15 résultats pour cette recherche

2011 De la méthode.
Auteur : Serfati Michel. Dir.
2011 Epistémologie mathématique.
Auteur : Lombardi Henri
2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
Auteur : Hudry Olivier
2010 Histoire d’algorithmes : du caillou à la puce. Vers un concept d’algorithme. p. 505-536.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
Auteur : Tollu Christophe
2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
Auteur : Tollu Christophe
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1995 Histoire d’algorithmes. Du caillou à la puce. Vers un concept d’algorithme. p. 505-535.
Auteurs : Chabert Jean-Luc ; Barbin Evelyne ; Guillemot Michel ; Michel-Pajus Anne ; Borowczyk Jacques ; Djebbar Ahmed ; Martzloff Jean-Claude
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1992 Le concept de suite aléatoire et la thèse de Church.
Auteur : Delahaye Jean-Paul
1991 L’Ouvert. N° 65.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1991 L’Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable – la thèse de Church / Post.
Auteurs : Cardon Alain ; Charras Christian ; Krob Daniel