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...
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Spanish |
| Publicado: |
Panamá :
Editorial Universitaria Carlos Manuel Gasteazoro,
2023,
|
| Edición: | Primera edición. |
| Materias: |
Tabla de Contenidos:
- 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.