Matemática discreta /
Grassmann, W. K.
Matemática discreta / W. K. Grassmann - 1a ed. - Madrid : Prentice-Hall, 1998. - xxii, 706 páginas : 25 x19,5 cm.
Prólogo. xvii
Prólogo a la edición española. xxi
Una perspectiva desde la ciencia de la computación
I. 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.-- Una panorámica de los sistemas de bases de datos relacionales.
0135012066
Matemática Lógica
Matemática discreta / W. K. Grassmann - 1a ed. - Madrid : Prentice-Hall, 1998. - xxii, 706 páginas : 25 x19,5 cm.
Prólogo. xvii
Prólogo a la edición española. xxi
Una perspectiva desde la ciencia de la computación
I. 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.-- Una panorámica de los sistemas de bases de datos relacionales.
0135012066
Matemática Lógica