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

Asignaturas impartidas durante el curso 2013-14:

• Informática (Grado en Matemáticas).
• Lógica Informática (Ingeniería Informática - Tecnología Informática).
• Lógica Informática (Docencia en inglés).
• Programación Lógica (Máster Universitario en Lógica, Computación e Inteligencia Artificial).

Horario de tutorías (Primer Cuatrimestre del curso 2013-14):

• Lunes, de 10:00 a 13:00 y de 17:30 a 18:30.
• Viernes, de 10:30 a 12:30 horas.

Investigación:

• Seminario de Lógica Matemática.
• Seminario de Computación Natural.