Lógica Matemática para informáticos : ejercicios resueltos /
| Main Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | Book |
| Series: | Prentice práctica
|
| Subjects: |
Table of Contents:
- Lógica proposicional
- Sintaxis y semántica
- Formalización, técnicas de razonamiento
- Equivalencia lógica, leyes booleanas
- Cálculo lógico con tableux
- Lógica de primer orden
- Sintaxis y semántica
- Formalización, Tecnicas de razonamiento
- Equivalencia lógica, Leyes de los cuantificadores
- Cálculo lógico con tableux
- Cálculo lógico con resolución
- Ejercicios propuestos.