Matemática Discreta y Lógica

Manual de introducción y referencia que cubre los fundamentos de la matemática discreta aplicados a la computación. Presenta de forma clara y gradual temas como lógica, conjuntos, relaciones, funciones y grafos, con énfasis en el razonamiento lógico y en la especificación formal de sistemas. Incluye capítulos sobre lenguajes y gramáticas, el lenguaje de especificación Z y bases de datos relacionales; además describe Prolog y revisa Miranda como lenguaje funcional. Contiene más de 300 ejemplos y más de 550 problemas con soluciones para los números pares, orientados al contexto de la informática.