Turing Computability: Teorie și aplicații

Recenzii ale cititorilor

Cartea oferă o examinare inspirată și cuprinzătoare a calculabilității Turing, oferind o narațiune istorică detaliată și o perspectivă asupra evoluției conceptelor de calculabilitate. Cartea este potrivită pentru studenții care doresc să își aprofundeze înțelegerea domeniului.

⬤ Examinare inspirată și cuprinzătoare a calculabilității Turing
⬤ descriere istorică detaliată
⬤ evidențiază personalitățile-cheie
⬤ bine scrisă și captivantă
⬤ potrivită pentru studenții care fac tranziția către materiale mai avansate.

Unii cititori o pot găsi dificilă dacă nu sunt deja familiarizați cu elementele de bază ale teoriei calculabilității.

(pe baza a 2 recenzii ale cititorilor)

Titlul original:

Turing Computability: Theory and Applications

Conținutul cărții:

Partea I Fundamente ale calculabilității. - Cap.

1 Definirea calculabilității. - Cap. 2 Seturi numărabile computabil.

- Cap.

3 Reducibilitatea Turing. - Cap.

4 Ierarhia aritmetică. - Cap. 5 Clasificarea seturilor C.

E. - Cap. 6 Construcții Oracle și forțare.

- Cap. 7 Metoda prejudiciului finit.

- Partea a II-a Arbori și clase Π01. - Cap. 8 Clase deschise și clase închise.

- Cap.

9 Teoreme de bază. - Cap. 10 Aritmetica Peano și clasele Π01.

- Cap. 11 Aleatoriu și clasele Π01. - Partea III Gradele minime.

- Cap. 12 Grade minime sub ʹʹ. - Cap.

13 Grade minime sub ʹ. - Partea a IV-a Jocuri în teoria calculabilității. - Cap.

14 Jocuri Banach-Mazur. - Cap. 15 Jocuri Gale-Stewart.

- Cap. 16 Mai multe jocuri Lachlan. - Partea V Istoria computabilității.

- Cap. 17 Istoria calculabilității. - Bibliografie.

- Index.