Guia docente 2024_25
Escola Superior de Enxeñaría Informática
Grado en Inteligencia Artificial
 Asignaturas
  Informática: Lógica
   Contenidos
Tema Subtema
Lógica de proposiciones. Sintaxis: Fórmulas bien formadas.

Semántica: Interpretación, satisfactibilidad, equivalencia funcional, tableros semánticos.

Formalización y formas normales.

Sistemas deductivos: deducción natural, resolución.
Lógica de primer orden Sintaxis: Fórmulas bien formadas.

Semántica: Interpretación, satisfactibilidad, equivalencia funcional, tableros semánticos.

Formalización y formas normales.

Sistemas deductivos: deducción natural, resolución.
Paradigma de programación lógica. Sintaxis: Términos y cláusulas de Horn.

Resolución SLD: árboles de resolución.

Control y negación.

Listas.

Diferencias de listas.

Operadores.

Gramáticas.
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000