Turingova vypočitatelnost: Teorie a aplikace

Recenze čtenářů

Kniha nabízí inspirativní a komplexní zkoumání Turingovy spočitatelnosti, podrobné historické vyprávění a vhled do vývoje koncepcí spočitatelnosti. Je vhodná pro studenty, kteří chtějí prohloubit své znalosti v této oblasti.

⬤ Inspirativní a komplexní přehled Turingovy spočitatelnosti
⬤ podrobný historický popis
⬤ vyzdvihuje klíčové osobnosti
⬤ dobře napsané a poutavé
⬤ vhodné pro studenty přecházející k pokročilejší látce.

Pro některé čtenáře může být náročná, pokud ještě nejsou obeznámeni se základy teorie spočitatelnosti.

(na základě 2 hodnocení čtenářů)

Původní název:

Turing Computability: Theory and Applications

Obsah knihy:

Část I Základy vypočitatelnosti. - Kapitola 1 Definice vypočitatelnosti.

- Kap. 2 Vypočitatelné množiny. - Kap.

3 Turingova redukovatelnost.

- Kap. 4 Aritmetická hierarchie.

- Kap. 5 Klasifikace C. E.

množin. - Kap. 6 Orákulární konstrukce a vynucování.

- Kap. 7 Metoda konečných zásahů.

- Část II Stromy a třídy Π01. - Kap. 8 Otevřené a uzavřené třídy.

- Kap.

9 Základní věty. - Kap. 10 Peanova aritmetika a Π01-třídy.

- Kap. 11 Náhodnost a Π01-třídy. - Část III Minimální stupně.

- Kap. 12 Minimální stupně pod ʹʹ. - Kap.

13 Minimální stupně pod ʹ. - Část IV Hry v teorii vypočitatelnosti. - Kap.

14 Banachovy-Mazurovy hry. - Kap. 15 Galeovy-Stewartovy hry.

- Kap. 16 Další Lachlanovy hry. - Část V Historie vypočitatelnosti.

- Kap. 17 Historie vypočitatelnosti. - Odkazy.

- Rejstřík.