Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Mathématiques et Applications
cover

Complexité et Décidabilité

Authors: Dehornoy, Patrick

Buy this book

Softcover 57,19 €
price for Spain (gross)
  • ISBN 978-3-540-56899-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Buy this book

Softcover 57,19 €
price for Spain (gross)
  • ISBN 978-3-540-56899-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Complexité et Décidabilité
Authors
Series Title
Mathématiques et Applications
Series Volume
12
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
Softcover ISBN
978-3-540-56899-5
Series ISSN
1154-483X
Edition Number
1
Number of Pages
IV, 201
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.