Name: Complexité et Décidabilité (in French)
SKU: 62116745
Price: 2275.00 TWD
Availability: InStock
Author: Patrick Dehornoy
ISBN: 9783540568995

Select your country

Americas

Europe

Rest of the world

portada Complexité et Décidabilité (in French)

Type

Physical Book

Publisher

Springer

Author

Patrick Dehornoy

Language

French

Pages

205

Format

Paperback

ISBN13

9783540568995

Edition No.

1993rd

Complexité et Décidabilité (in French)

Patrick Dehornoy (Author) · Springer · Paperback

Cheaper New Book Imported to Taiwan

Delivery: 03 Nov - 16 Nov

NT$ 2,275

Faster New Book Imported to Taiwan

Delivery: 21 Oct - 29 Oct

NT$ 2,851

NT$ 2,275

Add to Wishlist

Synopsis "Complexité et Décidabilité (in French)"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Complexité et Décidabilité (in French) - Patrick Dehornoy

Synopsis "Complexité et Décidabilité (in French)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery