Matemática discreta y lógica : Una perspectiva desde la Ciencia de la Computación / Winfried K. Grassmann y Jean-Paul Tremblay
Tipo de material: TextoEditor: Madrid : Prentice-Hall, 1997Edición: Primera ediciónDescripción: xxii, 706 páginas : ilustracionesTipo de contenido: texto Tipo de medio: no mediado Tipo de portador: volumenISBN: 8489660042Tema(s): CIENCIA DE LA COMPUTACION -- MATEMATICASClasificación CDD: 510
Contenidos:
Cap. 1: Cálculo proposional. - Cap. 2: Cálculo de predicados. - Cap. 3: Inducción y recursividad. - Cap. 4: Prolog. - Cap. 5: Conjuntos y relaciones. - Cap. 6: Funciones. - Cap. 7: Grafos y árboles. - Cap. 8: Especificación formal de requisitos en Z.- Cap. 9: Verificación de programas. - Cap. 10: Gramáticas, lenguajes y análisis sintácticos. - Cap. 11: Derivaciones. - Cap. 12: Una panorámica de los sistemas de bases de datos relacionales.
Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609020062607 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 2 | Disponible | 35609020062573 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 3 | Disponible | 35609020062557 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 4 | Disponible | 3560902010118 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 5 | Disponible | 3560902012661 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 6 | Disponible | 3560902012660 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 7 | Disponible | 3560902014184 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 8 | Disponible | 3560902012657 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 9 | Disponible | 3560902012658 | |
Libro General | Biblioteca Campus Santiago Vitacura | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 10 | Disponible | 3560902012656 | |
Bibliografía General Básica | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609000979242 | |
Bibliografía General Básica | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 2 | Disponible | 35609000859998 | |
Bibliografía General Básica | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 3 | Disponible | 35609000956034 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 4 | Disponible | 35609000956067 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 5 | Disponible | 35609000971637 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 6 | Disponible | 35609000979226 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 7 | Disponible | 35609000979234 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 8 | Disponible | 35609000979283 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 9 | Disponible | 35609000979200 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 10 | Disponible | 35609000979218 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 11 | Disponible | 35609000979192 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 12 | Disponible | 35609000979275 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 13 | Disponible | 35609000979267 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 14 | Disponible | 35609000979259 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 15 | Disponible | 35609000856085 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 16 | Disponible | 3560900136072 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 17 | Disponible | 3560900204111 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 18 | Disponible | 3560900204110 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 19 | Disponible | 3560900204109 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 20 | Disponible | 3560900204107 | |
Bibliografía General Complementaria | Biblioteca Central | Colección General | 510 G769 (Navegar estantería(Abre debajo)) | 21 | Disponible | 3560900272372 |
Navegando Biblioteca Central Estantes, Ubicación: Colección General, Código de colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Cap. 1: Cálculo proposional. - Cap. 2: Cálculo de predicados. - Cap. 3: Inducción y recursividad. - Cap. 4: Prolog. - Cap. 5: Conjuntos y relaciones. - Cap. 6: Funciones. - Cap. 7: Grafos y árboles. - Cap. 8: Especificación formal de requisitos en Z.- Cap. 9: Verificación de programas. - Cap. 10: Gramáticas, lenguajes y análisis sintácticos. - Cap. 11: Derivaciones. - Cap. 12: Una panorámica de los sistemas de bases de datos relacionales.
COBERTURA BIBLIOGRÁFICA:
MAT-215 (Ing. Civil Matemática)