Ambos libros presentan fundamentos sobre lógica matemática, pero 'Lógica Algorítmica' se enfoca específicamente en el razonamiento de algoritmos y programas computacionales.
Lógica Matemática: Introducción a la Lógica Matemática
por A. N. Kolmogorov, A. G. Dragalin · 2014
Ver sugerenciasSinopsis
Este libro, que constituye el primer tomo de una obra más amplia sobre lógica matemática, ofrece una exposición clásica de los conceptos fundamentales con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática. Está basado en un curso universitario impartido por los autores.
Sé el primero en valorar este libro.
Más de A. N. Kolmogorov
Ver autor →Otras obras del mismo autor en el catálogo
Introducción a la Teoría de la Medida e Integración
1954
Elementos de la Teoría de las Funciones y del Análisis Funcional
1954
Elements of the Theory of Functions and Functional Analysis
1954
Introductory Real Analysis
1957
Análisis Funcional Aplicado
1970
Introducción a la Teoría de la Medida y la Integración
1970
Libros similares
Libros relacionados según distintos criterios de búsqueda
Es una obra que, al igual que el libro de referencia, aborda la teoría de conjuntos, pero desde una perspectiva formalista más exhaustiva y sistemática.
Shoenfield cubre aspectos clave de la lógica matemática, similar a Kolmogorov y Dragalin, con un enfoque sólido en teoría de la prueba y sistemas formales.
Mendelson ofrece una introducción completa a la lógica matemática que abarca temas importantes como el cálculo de predicados, resonando con los objetivos formativos originales del libro de Kolmogorov.
Kolmogorov escribe sobre lógica matemática desde una perspectiva constructivista, mientras que su obra se centra en temas fundamentales, lo que también logra este texto divulgativo.
Elementos de Lógica Matemática y Teoría de la Computación
Nicolai K. Vereshchagin, Alexander K. Shen
2007·divulgacion
Ambos textos proporcionan una introducción rigurosa a la lógica matemática, pero este candidato integra la teoría de la computación, un aspecto complementario a los temas tratados por Kolmogorov.