Teaching GuideTerm Faculty of Computer Science |
Grao en Intelixencia Artificial |
Subjects |
Logic |
Contents |
Identifying Data | 2022/23 | |||||||||||||
Subject | Logic | Code | 614G03016 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 2nd four-month period |
First | Basic training | 6 | ||||||||||
|
Topic | Sub-topic |
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. |
|