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 Sede Aimogasta Shelves Close shelf browser
519.242 G165 Inferencia estadística y diseño de experimentos / | 519.2:62-051 J630 Probabilidad y estadística para ingenieros de Miller y Freund / | 519.2:65 C364 e3 Estadistica para las ciencias administrativas / | 519.6 G769 Matemática discreta y lógica / | 519.612 M422 Métodos numéricos con MATLAB / | 519.615 C3689 m6 Métodos numéricos para ingenieros / | 519.716 H576 Análisis y simulación de procesos / |
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.