TY  - BOOK
AU  - Grassmann,W.K
AU  - Tremblay J.P.
AU  - García-Bermejo,Rafael
AU  - Joyanes Aguilar,Luis ‎
TI  - Matemática discreta y lógica
SN  - 8489660042
U1  - 511.1 23
PY  - 1998///
CY  - Madrid
PB  - Prentice Hall
KW  - Funciones
KW  - Matemáticas
KW  - Problemas, ejercicios, etc
KW  - LEMB
KW  - Lógica matemática
KW  - Teoría de los números
N1  - Incluye bibliografía e índice; 1. 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. -- 12. Una panorámica de los sistemas de bases de datos relacionales; Título original; Lógic and discrete mathematics
ER  -