Lógica y Algoritmos: Un Enfoque Constructivo a las Matemáticas y la Informática
por Yuri Ershov, Andrei Goncharov, Alexei Ershov · 1989
Ver sugerenciasSinopsis
Este texto aborda las conexiones fundamentales entre la lógica matemática y los conceptos de algoritmos y computación, presentando una perspectiva constructivista y rigurosa.
Sé el primero en valorar este libro.
Más de Yuri Ershov
Ver autor →Otras obras del mismo autor en el catálogo
Fundamentals of Mathematical Logic
Algebraic Methods in Logic
Computational Complexity
Mathematical Foundations of Computer Science
Computability and Complexity
Discrete Mathematics for Computer Science
Mathematical Logic
Theory of Algorithms
Formalized Mathematics
Programming in Mathematical Logic
Advanced Topics in Logic
Logic and Philosophy
Mathematics of Logic
Mathematics and Computer Science
Introduction to the Theory of Functions
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.