por Michael R. A. Huth · 2004
Ver sugerenciasSinopsis
Un libro de texto que introduce a los estudiantes en las técnicas de la lógica formal y la construcción de pruebas matemáticas rigurosas, cubriendo lógica proposicional, lógica de predicados y la verificación de sistemas.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Gary Chartrand, Albert D. Polimeni, Ping Zhang
2003·ensayo
Ambos libros instruyen sobre la estructura y rigor en la construcción de pruebas matemáticas, con un enfoque en técnicas especializadas en lógica formal.
Explora la verificación formal mediante lógica, al igual que el libro de referencia, centrándose en la corrección de programas complejos en múltiples estados.
Trata la historia de los métodos formales en la computación, mostrando la evolución de las técnicas lógicas que sustentan la verificación de sistemas, como en el libro de Huth.
La obra se centra en matemáticas discretas y lógica aplicadas a la computación, tocando temas esenciales de lógica formal presentes en el libro de referencia.
Introduce conceptos de prueba de teoremas en lógicas de orden superior, manteniendo un enfoque en sistemas formales, similar al enfoque del libro de Huth.
J.C. van Vliet
2012·divulgacion
Aborda métodos formales en informática, comenzando con lógica booleana, similar a cómo el libro de referencia expone fundamentos de lógica formal.
