por Frank Markham Brown · 1990
Ver sugerenciasSinopsis
Presenta un marco matemático unificado para el razonamiento booleano, tratando problemas de síntesis, verificación y testabilidad mediante la manipulación de ecuaciones lógicas. La estructura se basa en la aplicación sistemática de un conjunto de herramientas algebraicas.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Anna Bernasconi, Valentina Ciriani
2018·ensayo
Ambos libros abordan la síntesis y optimización matemática, utilizando enfoques algebraicos para resolver problemas complejos en sus respectivas disciplinas.
Este ensayo explora la complejidad de funciones booleanas a través de redes lógicas, similar a cómo el libro de referencia se centra en ecuaciones lógicas.
La estructura del curso introduce conceptos formales que son esenciales para el razonamiento lógico, al igual que el marco matemático en el libro de referencia.
Enfocado en la conexión entre lógica y programación, el texto utiliza una perspectiva algebraica similar a la del razonamiento formal en el libro de referencia.
Aborda la lógica desde un enfoque algebraico, facilitando la comprensión de conceptos que también son centrales en la manipulación del razonamiento booleano.
Presenta una introducción a las álgebras booleanas que formalizan la lógica clásica, alineándose con la manipulación de ecuaciones lógicas del libro de referencia.
