machine de Turing

Il y a 90 résultats avec cette recherche.

2004 Bibliothèque Tangente. N° 15. Le projet de Hilbert. p. 36-40.

Auteur : Lehning Hervé
2008 Revue d’Histoire des Mathématiques. N° 14. Vol. 1. p. 77-111. Gödel et la thèse de Turing.

Auteur : Cassou-Noguès Pierre
1978 Abrégé d’histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.

Auteur : Guillaume Marcel
2004 Bibliothèque Tangente. N° 15. La logique.

Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.

Auteur : Cohen Gilles. Dir.
2006 Cosinus. N° 69. p. 6-11. La machine de Turing ou comment pensent les ordinateurs.

Auteur : Delerue Nicolas
2013 Du boulier à la révolution numérique.

Auteurs : Torra Vicenç ; Auger David. Préf. ; Halaoua Youssef. Trad. ; Ly Maguy. Trad. ; Moinereau Laurence. Trad. ; Villani Cédric. Collab.
2023 Cosinus. N° 256. p. 14-21. Alan Turing.

Auteur : Beck Nicolas
2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.

Auteur : Delaunay David
2000 L’Ouvert. N° 100-101. p. 69-85. L’infini mathématique, ses inventeurs, découvreurs, détracteurs, maîtres, victimes, utilisateurs et spectateurs.

Auteur : Belaga Edward
2020 Turing à la plage.

Auteurs : Guerraoui Rachid ; Hoang Lê Nguyên
2014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.

Auteur : Delaunay David
2010 Actes du 17e colloque de la CORFEM. Place de l’algorithmique en mathématiques. p. 102-130.

Auteur : Sanselme Luc
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
2000 L’Ouvert. N° 100-101.

Auteur : IREM de Strasbourg L'Ouvert. Dir.
2009 Tangente Hors-série. N° 37. p. 8-10. Alan Turing et sa machine.

Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 38-40. Les machines de Turing.

Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Les machines de Turing. p. 42-45.

Auteur : Lehning Hervé
1991 Bulletin de l’EPI. N° 64. p. 115-124. Algorithmique et langages de programmation.

Auteur : Arsac Jacques
2009 Bibliothèque Tangente. N° 37. Alan Turing et sa machine. p. 16-19.

Auteur : Lehning Hervé
2012 Tangente. N° 146. p. 8-10. Alan Turing et les premiers ordinateurs.

Auteur : Delaunay David
2010 Tangente. N° 137. p. 44-46. Informatique : la préhistoire est anglaise.

Auteur : Lehning Hervé
2015 Cosinus. N° 176. p. 6-13. Les algorithmes, quand l’homme parle aux machines.

Auteur : Chariot Eric
2002 Consignes et démarches en mathématiques.

Auteurs : Gazagnes Arnaud ; Duperret Jean-Claude. Préf.