Ambos libros son introducciones a la lógica matemática, enfocándose en lógica proposicional y de predicados para estudiantes de informática.
Lógica para informáticos
por Uwe Schöning · 1989
Ver sugerenciasSinopsis
Este libro es una introducción a la lógica matemática, diseñada especialmente para estudiantes de informática, que cubre temas fundamentales como la lógica proposicional y de predicados, y su aplicación en algoritmos y programación.
Sé el primero en valorar este libro.
Más de Uwe Schöning
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
El texto de Schewe amplía el enfoque clásico de la lógica proposicional y de predicados, incorporando aplicaciones en verificación de software, similar al enfoque práctico del libro de Schöning.