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

Formalización y formas normaless.

Sistemas deductivos.
Lógica de primer orden Sintaxis: Fórmulas bien formadas.

Semántica: Consistencia e inconsistencia.

Formalización y formas normaless.

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