Complexité et Décidabilité

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

Autor: Patrick Dehornoy

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

64.98 €

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

Informácie o knihe

Autor

Patrick Dehornoy

Jazyk

Francúzština

Väzba

Kniha - Brožovaná

Vydalo

2007

Stránok

201

EAN

9783540568995

ISBN

3540568999

Enbook ID

01565665

Vydavateľ

Springer, Berlin

Hmotnosť

316

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Complexité et Décidabilité

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež