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 impartidas durante el curso 2017-18
- Informática (1º del Grado en Matemáticas)
- Lógica matemática y fundamentos (3º del Grado en Matemáticas)
- Razonamiento automático (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
- 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.
- Repositorios en GitHub
- Vestigium (Cuaderno de investigación en Lógica Computacional).
- Exercitium (Ejercicios de programación funcional con Haskell).
- Publicaciones en twitter.
Horario de tutorías
- Miércoles (de 11:00 a 14:00) y Viernes (de 11:00 a 14:00).