Lógica Matemática para informáticos : ejercicios resueltos /
| Autor principal: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | Libro |
| Colección: | Prentice práctica
|
| Materias: |
Tabla de Contenidos:
- 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.