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 |
Browsing Biblioteca Central Shelves Close shelf browser
| 519.6 G165p1 Ej.3 Problemas resueltos de matemática discreta / | 519.6 G165p1 Ej.4 Problemas resueltos de matemática discreta / | 519.6 G769 Ej.1 Matemática discreta y lógica / | 519.6 G769 Ej.2 Matemática discreta y lógica / | 519.6 J564m1 Ej. 1 Matemáticas para la computación / | 519.6 J564m1 Ej.10 Matemáticas para la computación / | 519.6 J564m1 Ej.11 Matemáticas para la computación / |
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.