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 2012-13

• Informática (1º del Grado en Matemáticas)
• Lógica informática (2º del Grado en Ingeniería Informática)
• Lógica matemática y fundamentos (3º del Grado en Matemáticas)
• Razonamiento asistido por computador (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
• Demostración asistida por ordenador (Seminario de investigación)
• 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).
• Publicaciones en twitter.
• Marcadores en Diigo.

Horario de tutorías

• Lunes (de 13:00 a 14:15), Martes (de 11:30 a 12:00 y de 13:00 a 14:15) y Miércoles (de 11:00 a 14:00).

Buscar en este sitio y en Vestigium con Google