Matemática discreta y lógica /
| Autor principal: | |
|---|---|
| Otros Autores: | , , , , |
| Formato: | Libro |
| Lenguaje: | Spanish English |
| Publicado: |
Madrid :
Prentice Hall,
©1997
|
| Edición: | Primera edición en español. |
| Materias: |
Tabla de Contenidos:
- Cálculo proposicional.
- Cálculo de predicados.
- Inducción y recursividad.
- Prolog.
- 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áctico.
- Derivaciones.
- Una panorámica de los sistemas de base de datos relacionales.