Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Complexité et Décidabilité
Język
Francuski
Francuski
Książka
Miękka
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théor...
Cały opis
Kod Libristo: 01565665
?
186 b
186 b
319.03
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 10-14 dni
30 dni na zwrot towaru
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.
Informacje o książce
Pełna nazwa
Complexité et Décidabilité
Autor
Patrick Dehornoy
Język
Francuski
Francuski
Oprawa
Książka - Miękka
Data wydania
2007
Liczba stron
201
EAN
9783540568995
ISBN
3540568999
Kod Libristo
01565665
Wydawnictwo
Springer, Berlin
Waga
316
Wymiary
157 x 244 x 235
