Complexité et Décidabilité

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

Автор: Patrick Dehornoy

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

68.55 € 134.07 лв

Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théor...

Информация за книгата

Автор

Patrick Dehornoy

Език

Френски език

Корици

Книга - С меки корици

Издадена

2007

страници

201

EAN

9783540568995

ISBN

3540568999

Enbook ID

01565665

Издател

Springer, Berlin

Теглоt

316

Размери

157 x 244 x 235

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Complexité et Décidabilité

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също