Complexité et Décidabilité

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

Autor: Patrick Dehornoy

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 489 Kč

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

Informace o knize

Autor

Patrick Dehornoy

Jazyk

Francouzština

Vazba

Kniha - Brožovaná

Vydáno

2007

Stránek

201

EAN

9783540568995

ISBN

3540568999

Enbook ID

01565665

Vydavatel

Springer, Berlin

Hmotnost

316

Rozměry

157 x 244 x 235

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Complexité et Décidabilité

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také