Lógica Simbólica para Informáticos

Descripción

Este libro explora la lógica simbólica aplicada a la informática, proporcionando una base matemática sólida para el desarrollo de software. Se centra en los sistemas lógicos tradicionales, como la lógica de proposiciones y de predicados, con un enfoque en las técnicas de formalización y representación del conocimiento. Además, aborda lógicas no clásicas relevantes para la tecnología actual, como la lógica modal y las lógicas multivalentes. El libro está dirigido a estudiantes de ingeniería informática y matemáticas, ofreciendo un equilibrio entre teoría y práctica con ejemplos y problemas propuestos.