TY  - BOOK
AU  - Grassmann,W.K.
AU  - Tremblay,Jean-Paul
TI  - Matemática discreta
SN  - 0135012066
PY  - 1998///
CY  - Madrid : 
PB  - Prentice-Hall, 
KW  - Matemática
KW  - Lógica
N1  - Prólogo. xvii
Prólogo a la edición española. xxi; Una perspectiva desde la ciencia de la computación; I. Cálculo proposicional.-- 2. Cálculo de predicados.-- 3. Inducción y recursividad.-- 4. Prolog.-- 5. Conjuntos y relaciones.-- 6. Funciones.--7. Grafos y árboles.--8. Especificación formal de requisitos en Z.-- 9. Verificación de programas.-- 10. Gramáticas, Lenguajes y análisis sintácticos.--11. Derivaciones.-- Una panorámica de los sistemas de bases de datos relacionales.
ER  -