Turingova vypočítateľnosť: Teória a aplikácie

Recenzie čitateľov

Kniha ponúka inšpiratívne a komplexné skúmanie Turingovej vypočítateľnosti s podrobným historickým rozprávaním a pohľadom na vývoj koncepcií vypočítateľnosti. Je vhodná pre študentov, ktorí chcú prehĺbiť svoje znalosti v tejto oblasti.

⬤ Inšpiratívny a komplexný prehľad Turingovej vypočítateľnosti
⬤ podrobný historický opis
⬤ vyzdvihuje kľúčové osobnosti
⬤ dobre napísané a pútavé
⬤ vhodné pre študentov prechádzajúcich na pokročilejšiu látku.

Pre niektorých čitateľov môže byť náročná, ak ešte nepoznajú základy teórie vypočítateľnosti.

(na základe 2 čitateľských recenzií)

Pôvodný názov:

Turing Computability: Theory and Applications

Obsah knihy:

Časť I Základy vypočítateľnosti. - Kapitola 1 Definovanie vypočítateľnosti.

- Kapitola 2 Vypočítateľne spočítateľné množiny. - Kap. 3 Turingova redukovateľnosť.

- Kapitola 4 Aritmetická hierarchia.

- Kap. 5 Klasifikácia množín C.

E. - Kap. 6 Konštrukcie veštieb a vynútenie.

- Kap. 7 Metóda konečných zásahov. - Časť II Stromy a triedy Π01.

- Kap. 8 Otvorené a uzavreté triedy.

- Kap. 9 Základné vety. - Kapitola 10 Peanova aritmetika a Π01-triedy.

- Kapitola 11 Náhodnosť a Π01-triedy.

- Časť III Minimálne stupne. - Kapitola 12 Minimálne stupne pod ʹʹ. - Kapitola 13 Minimálne stupne pod ʹ.

- Časť IV Hry v teórii vypočítateľnosti. - Kapitola 14 Banachove-Mazurove hry. - Kapitola 15 Gale-Stewartove hry.

- Kap. 16 Ďalšie Lachlanove hry. - Časť V História vypočítateľnosti.

- Kapitola 17 História vypočítateľnosti. - Odkazy: Kapitola 1. - Index.