Machines de Turing / Éric Jacopin

Public ISBD Titre : Machines de Turing : introduction à la caractérisation de la complexité d'un problème Type de document : texte imprimé Auteurs : Éric Jacopin, Auteur Editeur : Toulouse : Cépaduès-éd. Année de publication : 2009 Importance : 1 vol. (264 p.) Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-85428-865-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Turing, Machines de : Problèmes et exercices Mathematica (logiciel) Index. décimale : 511.3 - Logique mathématique Résumé : Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes. Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème. Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours. Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur. Note de contenu : Sommaire Définitions et déclarations pour les machines déterministes Exemples de caractérisation de la complexité déterministe Définitions et déclarations pour les machines non déterministes Exemples de caractérisation de la complexité on déterministe Côte titre : Fs/9021-9024 Machines de Turing : introduction à la caractérisation de la complexité d'un problème [texte imprimé] / Éric Jacopin, Auteur . - Toulouse : Cépaduès-éd., 2009 . - 1 vol. (264 p.) : ill., couv. ill. en coul. ; 23 cm. ISBN : 978-2-85428-865-0 Langues : Français (fre) Catégories : Mathématique Mots-clés : Turing, Machines de : Problèmes et exercices Mathematica (logiciel) Index. décimale : 511.3 - Logique mathématique Résumé : Surtout, ne la cherchez pas dans un musée : aucune machine de Turing n'a jamais été construite. Inventée par Alan Turing au début des années 1930 pour résoudre un problème posé par le mathématicien David Hilbert au seuil du 20e siècle, une machine de Turing est un outil fondamental pour étudier la complexité des problèmes. Cet ouvrage vous propose d'aborder les machines de Turing déterministes et non déterministes par leur aspect pratique : leur programmation pour résoudre un problème et produire des graphiques visualisant la complexité de ce problème. Ainsi, ce livre s'adresse à un public très large : les théoriciens trouveront une représentation graphique des théorèmes, les programmeurs découvriront les effets des programmes sur les ressources disponibles (temps et mémoire de calcul), les premiers pas des débutants seront facilités par le parti pris pratique de ce livre et les exemples, exercices et notes bibliographiques aideront à illustrer les cours. Ce livre utilise le langage Mathematica car ses diverses fonctionnalités graphiques et symboliques facilitent l'écriture d'un simulateur de machine de Turing. Vous pourrez bien sûr réutiliser les exemples de ce livre dans un simulateur glané sur internet, mais la lecture de ce livre vous incitera à écrire votre propre simulateur. Note de contenu : Sommaire Définitions et déclarations pour les machines déterministes Exemples de caractérisation de la complexité déterministe Définitions et déclarations pour les machines non déterministes Exemples de caractérisation de la complexité on déterministe Côte titre : Fs/9021-9024

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/9021	Fs/9021-9024	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9022	Fs/9021-9024	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9023	Fs/9021-9024	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9024	Fs/9021-9024	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)