Guia docente 2024_25
Escola Superior de Enxeñaría Informática
Grao en Intelixencia Artificial
 Materias
  Informática: Lóxica
   Contidos
Tema Subtema
Lóxica de proposicións. Sintaxis: Fórmulas ben formadas.

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

Formalización e formas normais.

Sistemas deductivos: deducción natural, resolución
Lóxica de primeira orde Sintaxis: Fórmulas ben formadas.

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

Formalización e formas normais.

Sistemas deductivos: deducción natural, resolución
Paradigma de programación lóxica. Sintaxis: termos e cláusulas de Horn.

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

Control e 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