Computabilidad de Turing: Teoría y aplicaciones

Opiniones de los lectores

El libro ofrece un examen inspirador y exhaustivo de la computabilidad de Turing, con un relato histórico detallado y una visión de la evolución de los conceptos de computabilidad. Es ideal para estudiantes que deseen profundizar sus conocimientos en este campo.

⬤ Inspiradora y completa revisión de la computabilidad de Turing
⬤ descripción histórica detallada
⬤ destaca personalidades clave
⬤ bien escrito y atractivo
⬤ adecuado para estudiantes en transición a material más avanzado.

Algunos lectores pueden encontrarlo difícil si no están ya familiarizados con los fundamentos de la teoría de la computabilidad.

(basado en 2 opiniones de lectores)

Título original:

Turing Computability: Theory and Applications

Contenido del libro:

Parte I Fundamentos de la Computabilidad. - Cap.

1 Definición de computabilidad. - Cap. 2 Conjuntos computables.

- Cap.

3 Reducibilidad de Turing. - Cap.

4 La jerarquía aritmética. - Cap. 5 Clasificación de los conjuntos C.

E. - Cap. 6 Construcciones de Oráculos y Forzamiento.

- Cap. 7 El método de las lesiones finitas.

- Parte II Árboles y Clases Π01. - Cap. 8 Clases abiertas y cerradas.

- Cap.

9 Teoremas de Base. - Cap. 10 Aritmética de Peano y clases Π01.

- Cap. 11 Aleatoriedad y clases Π01. - Parte III Grados Mínimos.

- Cap. 12 Grados mínimos por debajo de ʹʹ. - Cap.

13 Grados mínimos por debajo de ʹ. - Parte IV Juegos en la teoría de la computabilidad. - Cap.

14 Juegos de Banach-Mazur. - Cap. 15 Juegos de Gale-Stewart.

- Cap. 16 Más juegos de Lachlan. - Parte V Historia de la Computabilidad.

- Cap. 17 Historia de la Computabilidad. - Bibliografía.

- Índice.