Matemática Discreta y Lógica /
Grassmann, Winfried Karl, J. P. Tremblay.
- 706 páginas ; 25 centímetros
Bibliografía: páginas 611-612.
Cálculo proposicional -- Cálculo de predicados -- Inducción y recursividad -- Prologo -- Conjuntos y relaciones -- Funciones -- Grafos y árboles -- Especificación formal de requisitos en Z -- Verificación de programas -- Gramáticas, lenguajes y análisis sintácticos -- Derivaciones -- Una panorámica de los sistemas de bases de datos relacionales.