MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN
- 1A. ed
- MADRID 1997
- 706 25.0
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
INFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)