Lógica Computacional en Sevilla (30 años en una hora)

Ayer, en las Jornadas de Lógica, Computación e Inteligencia Artificial, hice una presentación sobre el desarrollo de la investigación de la Lógica computacional en la Universidad de Sevilla desde sus comienzos (en el Seminario de Lógica Matemática del curso 1980-81) hasta la actualidad.

El título de la presentación fue Lógica Computacional en Sevilla (30 años en una hora).

Las transparencias usadas en la presentación son las que se muestran a continuación

Descargar (PDF, 1.6MB)

Aumento del número de alumnos

En los últimos días se están publicando artículos sobre el incremento de solicitudes de admisión en las distintas Universidades:

El aumento no se está produciendo en los Grados sino también en los Másteres. Por ejemplo, en nuestro Máster Universitario en Lógica, Computación e Inteligencia Artificial también se ha incrementado el número de solicitudes de admisión. En este momento hay 14 solicitudes para las 15 plazas ofertadas.