Guia docente 2023_24
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: Consistencia e inconsistencia.

Formalización e formas normais.

Sistemas deductivos.
Lóxica de primeira orde Sintaxis: Fórmulas ben formadas.

Semántica: Consistencia e inconsistencia.

Formalización e formas normais.

Sistemas deductivos.
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