Ambos libros introducen conceptos esenciales de lógica matemática para informática, como lógica proposicional y de predicados, en un formato accesible para estudiantes.
Logik für Informatiker
por Klaus-Dieter Schewe · 1993
Ver sugerenciasSinopsis
Un texto que cubre los fundamentos de la lógica matemática esencial para la informática, incluyendo lógica proposicional, lógica de predicados, lógica modal y su aplicación en verificación de software y sistemas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto aborda la lógica proposicional y lógica de predicados, proporcionando fundamentos matemáticos clave que también son relevantes para la comprensión de algoritmos en informática.
Explora fundamentos lógicos aplicados a la inteligencia artificial, lo que complementa la verificación formal discutida en 'Logik für Informatiker' a través de métodos más avanzados.
Presenta una cobertura exhaustiva de la lógica matemática, incluyendo teoría de conjuntos, que se alinea con los conceptos fundamentales discutidos por Klaus-Dieter Schewe.
Se centra en la lógica matemática específicamente para informáticos, abarcando temas críticos como la lógica proposicional y sus aplicaciones en algoritmos, similar al enfoque de Schewe.
Aunque se centra más en informática teórica, también incluye lógica como uno de los pilares fundamentales, conectando con el enfoque general de 'Logik für Informatiker'.