Obliczalność Turinga: Teoria i zastosowania

Opinie czytelników

Książka oferuje inspirujące i kompleksowe badanie obliczalności Turinga, zawierające szczegółową narrację historyczną i wgląd w ewolucję koncepcji obliczalności. Jest ona odpowiednia dla studentów pragnących pogłębić swoje zrozumienie tej dziedziny.

⬤ Inspirujący i kompleksowy przegląd obliczalności Turinga
⬤ szczegółowy opis historyczny
⬤ podkreśla kluczowe osobowości
⬤ dobrze napisany i wciągający
⬤ odpowiedni dla studentów przechodzących do bardziej zaawansowanego materiału.

Niektórzy czytelnicy mogą uznać ją za trudną, jeśli nie są zaznajomieni z podstawami teorii obliczalności.

(na podstawie 2 opinii czytelników)

Oryginalny tytuł:

Turing Computability: Theory and Applications

Zawartość książki:

Część I Podstawy obliczalności. - Rozdział 1 Definiowanie obliczalności.

- Rozdział 2 Obliczalnie wyliczalne zbiory. - Rozdz. 3 Obliczalność Turinga.

- Rozdz.

4 Hierarchia arytmetyczna. - Rozdz.

5 Klasyfikacja zbiorów wyliczalnych. - Rozdz. 6 Konstrukcje wyroczni i wymuszanie.

- Rozdz. 7 Metoda obrażenia skończonego. - Część II Drzewa i klasy Π01.

- Rozdz. 8 Klasy otwarte i zamknięte.

- Rozdz. 9 Twierdzenia bazowe. - Rozdz.

10 Arytmetyka Peano i klasy Π01.

- Rozdz. 11 Losowość i klasy Π01. - Część III Stopnie minimalne.

- Rozdz. 12 Stopnie minimalne poniżej ʹʹ. - Rozdz.

13 Minimalne stopnie poniżej ʹ. - Część IV Gry w teorii obliczalności. - Rozdz.

14 Gry Banacha-Mazura. - Rozdz. 15 Gry Gale'a-Stewarta.

- Rozdz. 16 Więcej gier Lachlana. - Część V Historia obliczalności.

- Rozdz. 17 Historia obliczalności. - Odniesienia.

- Indeks.