Matemática discreta / W. K. Grassmann
Tipo de material:
- 0135012066
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Módulo-Campus | CG | 1 | Único ejemplar | 11480 |
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.
There are no comments on this title.