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

Docencia:

Asignaturas impartidas durante el curso 2017-18:

• Informática (Grado en Matemáticas).
• Lógica Informática (Ingeniería Informática - Ingeniería del Software).
• Lógica Informática- Docencia en inglés (Grado en Ingeniería Informática).
• Teoría de Modelos (Máster Universitario en Lógica, Computación e Inteligencia Artificial).
• Lógica Computacional y Teoría de Modelos (Máster Universitario en Matemáticas).

Horario de tutorías (Segundo Cuatrimestre del curso 2017-18):

• Lunes, de 11:15 a 13:15 horas.
• Martes, de 10:30 a 12:30 horas.
• Viernes, de 10:30 a 12:30 horas.

Investigación/Research:

• Grupo de Lógica Matemática / Seville Mathematical Logic Group