Matemática discreta y lógica : Una perspectiva desde la Ciencia de la Computación /

Grassmann, Winfried K.

Matemática discreta y lógica : Una perspectiva desde la Ciencia de la Computación / Winfried K. Grassmann y Jean-Paul Tremblay - Primera edición - xxii, 706 páginas : ilustraciones

Cap. 1: Cálculo proposional. - Cap. 2: Cálculo de predicados. - Cap. 3: Inducción y recursividad. - Cap. 4: Prolog. - Cap. 5: Conjuntos y relaciones. - Cap. 6: Funciones. - Cap. 7: Grafos y árboles. - Cap. 8: Especificación formal de requisitos en Z.- Cap. 9: Verificación de programas. - Cap. 10: Gramáticas, lenguajes y análisis sintácticos. - Cap. 11: Derivaciones. - Cap. 12: Una panorámica de los sistemas de bases de datos relacionales.

COBERTURA BIBLIOGRÁFICA:
MAT-215 (Ing. Civil Matemática)



8489660042


CIENCIA DE LA COMPUTACION--MATEMATICAS

510 / G769