Matemática Discreta y Lógica. / Winfried Karl Grassmann

El presente libro contiene capítulos dedicados a lenguajes y gramáticas, el lenguaje de especialización Z y las bases de datos relacionales. Un capítulo describre Prolog, un lenguaje de programación basado en la lógica, y una sección examina Miranda, un lenguaje basado en las funciones. En el libro hay una variedad de más de 300 ejemplos que relacionan los conceptos matemáticos con temas de computación, así como multitud de más 550 problemas con soluciones detalladas a los de número par. El texto se ha desarrollado buscando siempre claridad; así la introducción a todos los conceptos y derivaciones se hace por medio de ejemplos del ámbito de la computación, lo que supone inicialmente una aproximación informal al tema que posteriormente se formalizará. Este acercamiento gradual, ayuda al lector a aprecial el valor de los argumentos formales preparándolo para sus estudios posteriores a esta disciplina