Matemática discreta y lógica /
by Grassmann, Winfried Karl.
Item type | Current location | Call number | Status | Date due |
---|---|---|---|---|
Libros y Folletos | Biblioteca Central | 519.6 G769 Ej.3 (Browse shelf) | Item lost | |
Libros y Folletos | Biblioteca Central | 519.6 G769 Ej.2 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Central | 519.6 G769 Ej.1 (Browse shelf) | Available | |
Libros y Folletos | Biblioteca Sede Aimogasta | 519.6 G769 (Browse shelf) | Available |
Subtítulo de tapa: una perspectiva desde la ciencia de la computación.
Indice: p. 687-706.
1. Cálculo proporsicional. 2. Cálculo de predicados. 3. Inducción y recursividad. 4. Prolog. 5. Conjunto 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.
There are no comments for this item.