por Yuri L. Ershov, Evgeny A. Palyutin · 1984
Ver sugerenciasSinopsis
Un tratamiento riguroso de la teoría de la computabilidad, centrado en los aspectos efectivos de las funciones y los conjuntos recursivos, desarrollado desde una perspectiva de la escuela matemática rusa.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Nicolai K. Vereshchagin, Alexander K. Shen
2007·divulgacion
Ofrece una introducción rigurosa a la teoría de la computabilidad, al igual que el libro de Ershov y Palyutin, desde una perspectiva matemática avanzada.
Profundiza en la tesis de Church-Turing y las funciones recursivas, aspectos centrales también en la obra de Ershov y Palyutin.
Aborda la computabilidad y la complejidad de manera exhaustiva, complementando el enfoque riguroso y efectivo de Ershov y Palyutin sobre estos temas.
Incluye textos originales de pioneros de la computabilidad, similar a cómo Ershov y Palyutin presentan fundamentos teóricos desde una rica tradición matemática.
Explora a fondo las funciones recursivas y ofrece un tratamiento exhaustivo de la computabilidad, destacando temas que son comunes a la obra de Ershov y Palyutin.
Proporciona una introducción rigurosa a conceptos relacionados con la computabilidad desde la lógica matemática, como lo hace el libro de referencia.
