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

Docencia:

Asignaturas impartidas durante el curso 2016-17:

• 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).
• Modelos de la Aritmética (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 2016-17):

• Lunes, de 11:00 a 14:00 horas.
• Viernes, de 10:15 a 13:15 horas.

Investigación/Research:

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