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

Docencia:

Asignaturas impartidas durante el curso 2019-20:

• Informática (Grado en Matemáticas).
• 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 2019-20):

• Lunes, de 10:30 a 13:30 horas.
• Martes, de 10:30 a 13:30 horas.

NOTA: Durante la suspensión de las actividades docentes presenciales, las tutorías continuarán vía correo electrónico.

Investigación/Research:

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