TY  - BOOK
AU  - Grassmann,Winfried Karl
AU  - Jean-Paul Tremblay
TI  - Matemática Discreta y Lógica
SN  - 8489660042
U1  - 511.3 21
PY  - 1997///
CY  - Madrid
PB  - Prentice Hall, Inc.
KW  - Matemáticas discretas
N1  - 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; SEG44; SEG26; P159; P155; P154; P153; P150; P100; P31; P30; P26; P25; P24; P22; P15; P10
ER  -