Lógica informática : conceptos, propiedades y aplicaciones /
La lógica se encarga del estudio matemático de la formulación de argumentos o razonamientos, y para ello es necesario contar con una estructura o un lenguaje formal para representarlas. El texto, de forma introductoria, aplica métodos y técnicas que prueban o no la veracidad de un argumento, me...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Panamá :
Editorial Universitaria Carlos Manuel Gasteazoro,
2023,
|
| Edition: | Primera edición. |
| Subjects: |
Table of Contents:
- Lógica del razonamiento.
- Sistemas formales.
- Lógica de primer orden.
- Cálculo de consecuencias lógicas.
- Sistemas axiomáticos de primer orden.
- Fórmulas prenex, resolución.
- Cálculo de secuentes.
- Tablas semánticas.