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

Asignaturas impartidas durante el curso 2011-12:

• Programación Declarativa (Ingeniería Informática).
• Lógica Informática (Ingeniería Informática - Tecnología Informática).
• Lógica Matemática (Licenciatura en Matemáticas).
• Programación Lógica (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
• Seminario de Lógica Matemática y Computación (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Horario de tutorías (Primer Cuatrimestre del curso 2011-12):

• Martes, de 10:00 a 13:00 horas.
• Jueves, de 10:00 a 13:00 horas.

Asignaturas impartidas en cursos anteriores:

• Cursos anteriores.

Otros cursos del Departamento:

• Cursos CCIA.

Investigación:

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