Dehornoy | Complexité et Décidabilité | Buch | 978-3-540-56899-5 | sack.de

Buch, Französisch, Band 12, 201 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 369 g

Reihe: Mathématiques et Applications

Dehornoy

Complexité et Décidabilité


1993
ISBN: 978-3-540-56899-5
Verlag: Springer Berlin Heidelberg

Buch, Französisch, Band 12, 201 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 369 g

Reihe: Mathématiques et Applications

ISBN: 978-3-540-56899-5
Verlag: Springer Berlin Heidelberg

Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. En faisant reposer toutes les preuves sur le codage de l'arrêt d'une machine de Turing, on a souligné l'homogénéité et l'unité profonde des résultats presentés. L'approche par les machines de Turing est très accessible grâce à la familiarité donnée aujourd'hui par l'informatique. Le livre n'est pas une encyclopédie exhaustive, mais parvient de façon rapide à démontrer un choix de résultats réprésentatifs de l'ensemble de la théorie.

Dehornoy Complexité et Décidabilité jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Dehornoy, Patrick

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.