Mots-clés – Auteurs

problème de la décision

Il y a 17 résultats pour cette recherche

2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2017 Vidéo de l’IREM de Paris – Le Maths Club. Petit manuel à l’usage de la NSA.
Auteur : Périfel Sylvain
2015 La logique.
Auteur : Dowek Gilles
2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu’une propriété est vérifiée… ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Tangente. N° 163. p. 10-12. Le génie interrompu d’Alan Turing.
Auteur : Bellaïche André
2014 Bulletin de l’APMEP. N° 510. p. 471-484. Apprenez à programmer avec une machine de Turing.
Auteur : Raynaud Marc
2012 Tangente Sup. N° 63-64. Prévoir pour décider.
Auteur : Lehning Hervé. Dir.
2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
Auteur : Hudry Olivier
2011 De la méthode.
Auteur : Serfati Michel. Dir.
2010 Bibliothèque Tangente. N° 39. Mathématiques discrètes et combinatoire.
Auteurs : Cohen Gilles. Dir. ; Thomas Edouard. Dir.
2009 Vous avez dit hasard ?
Auteur : Gauvrit Nicolas
2007 Les métamorphoses du calcul.
Auteur : Dowek Gilles
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.