Liste fiches – Publimath

machine de Turing

Il y a 88 résultats pour cette recherche

2025 Actes du Colloque Raisonner en arithmétique. Est-ce incongru ? Ateliers Maths et Jeux. p. 314-321.
Auteurs : IREM d’Aquitaine Groupe Maths et Jeux ; Muller Anne-Claire ; Orozco Jean-Marc ; Licitri Timothée ; Althuisius Laurence ; Audoin Alexandre ; Schottel Ambre ; Darnis Marlène
2023 Mathématice. N° 87. Automates – 01. Automates finis.
Auteur : Debrabant Patrice
2023 Cosinus. N° 256. p. 14-21. Alan Turing.
Auteur : Beck Nicolas
2022 Mathématice. N° 80. La machine de Turing (2/2).
Auteur : Debrabant Patrice
2022 Mathématice. N° 79. La machine de Turing (1/2).
Auteur : Debrabant Patrice
2020 131 Développements pour l’oral.
Auteurs : Lesesvre Didier ; Montagnon Pierre ; Le Barbenchon Pierre ; Pierron Théo ; Dadoun Benjamin. Collab. ; Gauthier Julie. Collab. ; Pegon Marc. Collab. ; Riffaut Antonin. Collab.
2020 Turing à la plage.
Auteurs : Guerraoui Rachid ; Hoang Lê Nguyên
2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2017 Mathématice. N° 54. La conjecture de Collatz et ses effets de bord.
Auteurs : Busser Alain ; Debrabant Patrice
2017 Toutes les mathématiques du monde.
Auteur : Lehning Hervé
2017 Histoires de Mathématiques. Informatique. La machine à penser.
Auteur : Ycart Bernard
2016 Lettres à Alan Turing.
Auteurs : Lévy-Leblond Jean-Marc. Dir. ; Lévy-Leblond Jean-Marc. Préf.
2015 Tangente. N° 163. p. 10-12. Le génie interrompu d’Alan Turing.
Auteur : Bellaïche André
2015 Mathématice. N° 44. Sous les pavés, le calcul.
Auteurs : Busser Alain ; Tobé Florian ; Debrabant Patrice
2015 Cosinus. N° 176. p. 6-13. Les algorithmes, quand l’homme parle aux machines.
Auteur : Chariot Eric
2015 Pourquoi les mathématiques ?
Auteur : Tomasini Guillaume. Dir.
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.
Auteur : Cohen Gilles. Dir.
2014 Tangente Hors-série. N° 52. p. 12-13. Alonzo Church, Alan Turing et la calculabilité.
Auteur : Delaunay David
2014 Bulletin de l’APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.
Auteur : Raynaud Marc
2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
2014 Bibliothèque Tangente. N° 52. Alonzo Church, Alan Turing et la calculabilité. p. 40-42.
Auteur : Delaunay David
2013 La pomme d’Alan Turing.
Auteur : Langenieux-Villard Philippe
2013 Bibliothèque Tangente. N° 49. Les maths de l’impossible.
Auteur : Cohen Gilles. Dir.
2013 Quadrature. N° 90. p. 18-23. Les nombres réels calculables selon Alan Turing.
Auteur : Lombardi Henri
2013 Le monde est mathématique.
Auteur : Villani Cédric. Préf.
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.
2013 Bibliothèque Tangente. N° 49. Algorithmes numériques impossibles. p. 58-62.
Auteur : Delahaye Jean-Paul
2013 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement. Edition 2013.
Auteur : Cohen Gilles. Dir.
2012 Tangente. N° 146. p. 8-10. Alan Turing et les premiers ordinateurs.
Auteur : Delaunay David
2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
Auteur : Monniaux David
2011 Initiation à l’algorithmique.
Auteur : Hammoud Hussein
2011 TOUT.
Auteur : Delahaye Jean-Paul
2011 Epistémologie mathématique.
Auteur : Lombardi Henri
2011 De la méthode.
Auteur : Serfati Michel. Dir.
2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
Auteur : Hudry Olivier
2011 Pour la Science. N° 405. p. 82-87. Le défi des faibles complexités.
Auteur : Delahaye Jean-Paul
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
2010 Tangente. N° 137. p. 44-46. Informatique : la préhistoire est anglaise.
Auteur : Lehning Hervé
2010 Actes du 17e colloque de la CORFEM.
Auteurs : Grugeon-Allys Brigitte. Dir. ; Commission inter-IREM CORFEM. Ed.
2010 Actes du 17e colloque de la CORFEM. Place de l’algorithmique en mathématiques. p. 102-130.
Auteur : Sanselme Luc
2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.
Auteur : Oumraou Lény
2009 Vous avez dit hasard ?
Auteur : Gauvrit Nicolas
2009 Bibliothèque Tangente. N° 37. Les algorithmes, au coeur du raisonnement.
Auteur : Cohen Gilles. Dir.
2009 Tangente Hors-série. N° 37. Les algorithmes, au coeur du raisonnement.
Auteur : Cohen Gilles. Dir.
2009 Bibliothèque Tangente. N° 37. Alan Turing et sa machine. p. 16-19.
Auteur : Lehning Hervé
2009 Tangente Hors-série. N° 37. p. 8-10. Alan Turing et sa machine.
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
2008 Conférence les mathématiques sont partout.
Auteur : Vidiani Lazare Georges
2006 Cosinus. N° 69. p. 6-11. La machine de Turing ou comment pensent les ordinateurs.
Auteur : Delerue Nicolas
2005 MATHS ET JEUX d’Hanoï, d’Aujourd’hui, d’Hier, d’Ailleurs.
Auteurs : Servo Ulysse ; Criton Michel ; Gaudel François ; Dupas Jean-Jacques ; Souder Dominique ; Zalmanski Alain ; Corge Charles ; Duceux Pierre ; de Lune Zacharie ; Tonic R. M. ; Roussel Yves. Dir. ; de Robien Gilles. Préf.
2005 Bibliothèque Tangente. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2005 Bibliothèque Tangente. N° 10. Les automates : maths avant tout. p. 62-65.
Auteur : Novelli Jean-Christophe
2004 Alan Turing, l’homme qui a croqué la pomme.
Auteur : Lemire Laurent
2004 Bibliothèque Tangente. N° 15. La logique.
Auteur : Cohen Gilles. Dir.
2004 Bibliothèque Tangente. N° 15. Le projet de Hilbert. p. 36-40.
Auteur : Lehning Hervé
2004 Bibliothèque Tangente. N° 15. Les machines de Turing. p. 42-45.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. p. 38-40. Les machines de Turing.
Auteur : Lehning Hervé
2003 Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
2003 Tangente Hors-série. N° 15. Vol. 1. p. 28-30. Le projet de Hilbert.
Auteur : Lehning Hervé
2002 Consignes et démarches en mathématiques.
Auteurs : Gazagnes Arnaud ; Duperret Jean-Claude. Préf.
2002 Eléments de mathématiques discrètes.
Auteur : Frécon Louis
2002 Le calcul confié aux machines.
Auteur : Watier Guillaume
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
2000 Triangles de pensées.
Auteurs : Connes Alain ; Lichnérowicz André ; Schützenberger Marco
2000 Tangente Hors-série. N° 10. Mille ans d’histoire des mathématiques.
Auteur : Lehning Hervé. Dir.
2000 L’Ouvert. N° 100-101.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
2000 Tangente Hors-série. N° 10. p. 42-44. Les automates : maths avant tout.
Auteur : Novelli Jean-Christophe
1999 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1999 Le dernier théorème de Fermat.
Auteurs : Singh Simon ; Messadié Gerald. Trad.
1998 Le dernier théorème de Fermat.
Auteur : Singh Simon
1998 Une aventure mathématique, le théorème de FERMAT.
Auteur : Vigouroux Jeanne
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1995 La machine de Turing.
Auteurs : Turing Alan ; Girard Jean-Yves ; Basch Julien. Trad. ; Blanchard Patrice. Trad.
1994 Histoire universelle des chiffres. T. 2.
Auteur : Ifrah Georges
1994 Histoire universelle des chiffres.
Auteur : Ifrah Georges
1994 Information, complexité et hasard.
Auteur : Delahaye Jean-Paul
1994 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
1993 PLOT. N° 62.
Auteur : APMEP PLOT. Dir.
1993 PLOT. N° 62. p. 2-10. Quelles mathématiques dans 20 ans ?
Auteur : Mela Jean-François
1992 Le calculable et la complexité.
Auteur : Cardon Alain
1991 Bulletin de l’EPI. N° 64. p. 115-124. Algorithmique et langages de programmation.
Auteur : Arsac Jacques
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
1990 Tangente. N° 18. p. 16-19. Et les mathématiciens créèrent l’ordinateur.
Auteur : Temam Daniel
1989 Quadrature. N° 1. p. 21-24. Les machines de Turing.
Auteur : Bart Daniel
1984 La machine de Turing… et sa programmation.
Auteur : Leygnac Marc
1978 Abrégé d’histoire des mathématiques 1700-1900. II.
Auteur : Dieudonné Jean. Dir.
1978 Abrégé d’histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
Auteur : Guillaume Marcel