Lógica informática : conceptos, propiedades y aplicaciones /
| Formato: | Libro |
|---|---|
| Lenguaje: | Spanish |
| Publicado: |
Panamá :
Editorial universitaria Carlos Manuel Gasteazoro,
2023
|
| Edición: | primera edición |
| Materias: |
Tabla de Contenidos:
- 1. Lógica del razonamiento.
- 2. Sistemas formales.
- Lógica de primer orden.
- 4. Cálculo de consecuencias lógicas.
- 5. Sistemas axiomáticos de primer orden.
- 6. Fórmulas Prenex, resolución.
- 7. Cálculo de secuentes.
- 8. Tablas semánticas.