[email protected]
Wir antworten innerhalb von 24 Stunden
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Complexité et Décidabilité
Sprache
Französisch
Französisch
Buch
Broschur
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théor...
Vollständige Beschreibung
Libristo-Code: 01565665
?
224 b
224 b
89.27
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
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.
Informationen zum Buch
Vollständiger Name
Complexité et Décidabilité
Autor
Patrick Dehornoy
Sprache
Französisch
Französisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2007
Anzahl der Seiten
201
EAN
9783540568995
ISBN
3540568999
Libristo-Code
01565665
Verlag
Springer, Berlin
Gewicht
316
Abmessungen
157 x 244 x 235
