|
Guía DocenteCurso Facultade de Informática |
| Grao en Intelixencia Artificial |
 Asignaturas |
| Lóxica |
| Contidos |
| Datos Identificativos | 2022/23 | |||||||||||||
| Asignatura | Lóxica | Código | 614G03016 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Grao | 2º cuadrimestre |
Primeiro | Formación básica | 6 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| 1. Lógica proposicional | Sintaxis y semántica. Tablas semánticas. Formas Normales. Método axiomático, Deducción natural y cálculo de secuentes. Resolución. Satisfactibilidad (SAT) y complejidad. |
| 2. Lógica de primer orden. | Sintaxis y semántica. Tablas semánticas. Formas Normales. Método axiomático, Deducción natural y cálculo de secuentes. Resolución. Expresividad, decidibilidad y completitud. |
| 3.Otras lógicas. | Lógica descriptiva. Sintaxis, semántica y reglas de inferencia |
| 4. Introducción a la programación lógica en Prolog | Sintaxis de Prolog. Semántica declarativa y procedural. Listas, operadores y aritmética. Control de backtracking. Entrada/salida. |
|
