Detalle libro
Matemática discreta y lógica W.K. Grassmann, J.P. Tremblay
Detalles de publicación: Madrid Prentice Hall 1996Descripción: xxii, 706 páginasISBN:- 8489660042
- 21 004.0151 G77
Tipo de ítem | Biblioteca actual | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
Libro | Centro-Torre Arequipa Sala General | 1 | 004.0151 / G77 (Navegar estantería(Abre debajo)) | Disponible | 100000116562 | |
Libro | Centro-Torre Arequipa Sala General | 0 | 004.0151 / G77 / ej.2 (Navegar estantería(Abre debajo)) | Disponible | 100000116555 | |
Libro | Centro-Torre Arequipa Sala General | 0 | 004.0151 / G77 / ej.3 (Navegar estantería(Abre debajo)) | Disponible | 100000152584 |
Cálculo proposicional -- Argumentos y proposiciones lógicas -- Conexiones lógicas -- Proposiciones compuestas -- Tautología y contradicciones -- Equicalencias lógicas y su utilización -- Implicaciones y derivaciones lógicas -- Cálculo de predicados -- Inmterpretación y validez -- Derivaciones -- Equivalencias lógicas -- Lógica de las ecuaciones -- Inducción y recursividad -- -- La inducción en números naturales -- Sumas y contrucciones relacionadas -- Demostración por recursividad -- Aplicaciones de la recursividad -- Aplicaciones de la recursividad a la programación -- Funciones recursivas -- Conjuntos y relaciones -- Funciones -- Grafos y árboles -- Especificación formal de requisitos en Z -- Verificación de programas -- Gramáticas, lenguajes y análisis sintácticos -- Lenguajes y gramáticas -- Análisis sintáctico descendente -- Derivaciones en cálculo proposicional -- Algunos resultados de cálculo de predicados -- Una panorámica de los sistemas de bases de datos relacionales -- Álgebra relacional -- Cálculo relacional -- El lenguaje de consulta estructurado.