Matemática Discreta y Lógica /
Grassmann, Winfried Karl,
Matemática Discreta y Lógica / Grassmann, Winfried Karl, J. P. Tremblay. - 706 páginas ; 25 centímetros
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.
8489660042 9788489660045
Matemáticas discretas.
511.3 / G79
Matemática Discreta y Lógica / Grassmann, Winfried Karl, J. P. Tremblay. - 706 páginas ; 25 centímetros
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.
8489660042 9788489660045
Matemáticas discretas.
511.3 / G79