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: TextoIdioma: Español Lenguaje original: Inglés Detalles de publicación: Madrid Prentice Hall 1998 (1a reimpresión 2000)Edición: 1a ediciónDescripción: xxii, 706 páginas ilustraciones, tablas, gráficas 25 cmISBN:- 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