Vista normal Vista MARC Vista ISBD

GRASSMANN, WINFRIED KARL


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

Subjects--Topical Terms:
INFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)

Dewey Class. No.: 511.3.GRAS.00