Matemática Discreta y Lógica
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
Madrid :
Prentice Hall, Inc.,
1997.
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Cálculo proposicional
- Cálculo de predicados
- Inducción y recursividad
- Prologo
- 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
- Derivaciones
- Una panorámica de los sistemas de bases de datos relacionales.