Lógica Matemática para informáticos : ejercicios resueltos /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | Book |
| Series: | Prentice práctica
|
| Subjects: | |
| Online Access: | View in OPAC |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
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.