Computabilità di Turing: Teoria e applicazioni

Recensioni dei lettori

Il libro offre un esame stimolante e completo della computabilità di Turing, con una narrazione storica dettagliata e approfondimenti sull'evoluzione dei concetti di computabilità. È adatto agli studenti che desiderano approfondire la loro conoscenza del campo.

⬤ Una rassegna stimolante e completa della computabilità di Turing
⬤ descrizione storica dettagliata
⬤ evidenzia le personalità chiave
⬤ ben scritto e coinvolgente
⬤ adatto agli studenti che si avvicinano a materiale più avanzato.

Alcuni lettori potrebbero trovarlo impegnativo se non hanno già familiarità con le basi della teoria della computabilità.

(basato su 2 recensioni dei lettori)

Titolo originale:

Turing Computability: Theory and Applications

Contenuto del libro:

Parte I Fondamenti della computabilità. - Cap.

1 Definizione di calcolabilità. - Cap. 2 Insiemi computabilmente enumerabili.

- Cap.

3 Riducibilità di Turing. - Cap.

4 La gerarchia aritmetica. - Cap. 5 Classificazione degli insiemi C.E.

- Cap. 6 Costruzioni di oracoli e forzature. - Cap.

7 Il metodo delle lesioni finite. - Parte II Alberi e classi Π01.

- Cap. 8 Classi aperte e chiuse. - Cap.

9 Teoremi di base.

- Cap. 10 Aritmetica di Peano e classi Π01. - Cap.

11 Casualità e classi Π01. - Parte III Gradi minimi. - Cap.

12 Gradi minimi inferiori a ʹʹ. - Cap. 13 Gradi minimi inferiori a ʹ.

- Parte IV Giochi nella teoria della computabilità. - Cap. 14 Giochi di Banach-Mazur.

- Cap. 15 Giochi di Gale-Stewart. - Cap.

16 Altri giochi di Lachlan. - Parte V Storia della computabilità. - Cap.

17 Storia della computabilità. - Riferimenti. - Indice.