Complexité et Décidabilité

Name: Complexité et Décidabilité
Brand: Springer, Berlin
SKU: 9783540568995
Price: 360.31 RON
Availability: InStock

Autor: Patrick Dehornoy

Limbă:

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

Autor

Patrick Dehornoy

Limbă

franceză

Legare

Carte - Carte broșată

Publicat

2007

Pagini

201

EAN

9783540568995

ISBN

3540568999

Enbook ID

01565665

Editura

Springer, Berlin

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

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

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Complexité et Décidabilité

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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