004.0151 G79

Grassmann W.K. ;,Tremblay, J.P.; García Bermejo Rafael, traductor

Madrid,Prentice Hall,1996

25 cm.

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.

                    Cerrar Ventana