Grao en Intelixencia Artificial |
Asignaturas |
Lógica |
Contenidos |
Datos Identificativos | 2023/24 | |||||||||||||
Asignatura | Lógica | Código | 614G03016 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 2º cuatrimestre |
Primero | Formación básica | 6 | ||||||||||
|
Tema | Subtema |
1. Lógica proposicional | 1.1 Lógica Proposicional 1.2 Formas Normales 1.3 Cálculo de Secuentes 1.4 Satisfactibilidad 1.5 Complejidad Computacional 1.6 Minimización de Funciones Booleanas 1.7 Decisión binaria (árboles y BDDs) |
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. |
|