Carte Complexité et Décidabilité Patrick Dehornoy

Complexité et Décidabilité

Limbă: franceză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
360.31 lei
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théor...

Informații despre carte

Limbă
franceză
Legare
Carte - Carte broșată
Publicat
2007
Pagini
201
EAN
9783540568995
ISBN
3540568999
Enbook ID
01565665
Greutate
316
Dimensiuni
157 x 244 x 235

Descriere completă

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.

S-ar putea să te intereseze

Walter Benjamin

Georges Teyssot
166.14 lei
192.64 lei

C++ for VB Programmers

Jonathan Morrison
224.70 lei
90.50 lei

Frames and Concept Types

Thomas Gamerschlag
553.26 lei

Läsgodis

Stefan Andhé
68.25 lei
294.57 lei
535.16 lei

Clienții care au cumpărat această carte au mai cumpărat și

111.84 lei
145.11 lei

Cure for a Cuckold

William Rowley
97.27 lei
553.26 lei
103.14 lei

Nita

BENJI DAVIES
85.24 lei
164.02 lei
39.83 lei
87.16 lei
64.21 lei

Tigrie oči

Shirley Conran
39.63 lei

Textile Processes

Georgi B. Damyanov
880.91 lei
240.88 lei

Qur'an

AJ Droge
618.08 lei

Tomorrow, the Killing

Daniel Polansky
70.98 lei
51.97 lei
30.33 lei