Matemática discreta y lógica W.K. Grassmann, Tremblay J.P. ; traducción Rafael García-Bermejo ; coordinación y revisión técnica Luis Joyanes Aguilar
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 8489660042
- Matemática discreta y lógica una perspectiva des la ciencia de la computación
- 511.1 G717m 23
Contenidos:
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.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
Libro Colección General | Campus Armenia Sala General | Colección General | 511.1 G717m (Navegar estantería(Abre debajo)) | 1 | Disponible | Clasificación anterior: 519.4 G71 | L020200 | ||
Libro Colección General | Campus Armenia Sala General | Colección General | 511.1 G717m (Navegar estantería(Abre debajo)) | 2 | Disponible | Clasificación anterior: 519.4 G71 | L023879 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.1 G717m (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000070275 | |||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.332 G717m (Navegar estantería(Abre debajo)) | 2 | No prestable Descarte por redundancia de ejemplares | 0000000070274 |
Incluye bibliografía e índice
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.
Título original: Lógic and discrete mathematics