Depto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla



M.U. en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos [Curso 2020-2021]

Contenidos:


Sistemas:


Documentación:

Texto básico [GK]: Otros recursos de interés:

Otros:

Profesor: Andrés Cordón Franco (Home page).

Evaluación: La evaluación de la asignatura consistirá en la entrega de una serie de ejercicios evaluables (de carácter tanto teórico como práctico) que serán propuestos a lo largo del cuatrimestre, junto con la exposición de un trabajo final durante las últimas semanas del cuatrimestre.
Teoría de Modelos - M.U. Lógica, Computación e Inteligencia Artificial