TY  - BOOK
AU  - GRASSMANN, WINFRIED KARL

AU  - 
AU  - TREMBLAY, JEAN-PAUL
TI  - MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN
U1  - 511.3.GRAS.00 
CY  - MADRID
KW  - INFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)
N1  - CALCULO PROPOSICIONAL
. -- CALCULO DE PREDICADOS
. -- INDUCCIÓN Y RECURSIVIDAD
. -- PROLOG
. -- CONJUNTOS Y RELACIONES
. -- FUNCIONES 
. -- GRAFOS Y ARBOLES
. -- 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
ER  -