José A. Alonso Jiménez

Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
E.T.S. de Ingeniería Informática y Facultad de Matemáticas
Universidad de Sevilla

Correo electrónico: jalonso (arroba) us (punto) es
Teléfono: 954557955. Fax: 954556599.

Asignaturas y seminarios impartidos durante el curso 2009-10

• Informática (1º del Grado en Matemáticas)
• Lógica informática (2º de Ingeniería Informática)
• Programación declarativa (3º de Ingeniería Informática)
• Programación lógica (Doctorado)
• Razonamiento automático (Doctorado)
• Seminario de Lógica Computacional

Publicaciones

• Artículos, libros y comunicaciones en congresos.
• Materiales de cursos publicados en la Red.
• Tesis y trabajos de investigación dirigidos.
• Vestigium (Cuaderno de investigación en Lógica Computacional).
• Marcadores en delicious.

Horario de tutorías:

• Miércoles (de 16:00 a 18:00), Jueves (de 11:30 a 14:00) y Viernes (de 12:30 a 14:00).

José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Sevilla, 9-02-2010