Cursos impartidos

Esta página recopila, en orden cronológico, los enlaces a todos los cursos que he impartido.

Curso 1989-90

Teoría de conjuntos (1989-90). (2º de Licenciatura en Matemáticas).

Curso 1990-91

Implementación de algoritmos y cálculo simbólico (1990-91). (2º de Diplomatura en Estadística).
Programación en Lisp (1990-91). (Cursos del CICA).

Curso 1991-92

Teoría de conjuntos (1991-92). (2º de Licenciatura en Matemáticas).
Implementación de algoritmos y cálculo simbólico (1991-92). (2º de Diplomatura en Estadística).
Seminario de lógica computacional (1991-92). (Doctorado).
Programación en Lisp (1991-92). (Cursos del CICA).

Curso 1992-93

Teoría de conjuntos (1992-93). (2º de Licenciatura en Matemáticas).

Curso 1993-94

Teoría de conjuntos (1993-94). (2º de Licenciatura en Matemáticas).

Curso 1995-96

Sistemas expertos (1995-96). (5º de Licenciatura en Informática).
Seminario de lógica computacional (1995-96). (Doctorado).

Curso 1996-97

Heurística y sistemas expertos (1996-97). (3º de Licenciatura en Estadística).
Seminario de lógica computacional (1996-97). (Doctorado).

Curso 1997-98

Inteligencia artificial I (1997-98). (4º de Ingeniería Informática).
Inteligencia artificial II (1997-98). (4º de Ingeniería Informática).
Informática (1997-98). (1º de Diplomatura en Estadística).
Teoría de conjuntos (1997-98). (2º de Licenciatura en Matemáticas).

Curso 1998-99

Inteligencia artificial I (1998-99). (4º de Ingeniería Informática).
Inteligencia artificial II (1998-99). (4º de Ingeniería Informática).
Razonamiento automático (1998-99). (5º de Ingeniería Informática).

Curso 1999-00

Programación declarativa (1999-00). (3º de Ingeniería Informática).
Lógica y programación (1999-00). (3º de Ingeniería Informática).
Inteligencia artificial I (1999-00). (4º de Ingeniería Informática).
Inteligencia artificial II (1999-00). (4º de Ingeniería Informática).
Razonamiento automático (1999-00). (5º de Ingeniería Informática).
Minería de datos (1999-00). (Master de Estadística Pública).

Curso 2000-01

Programación declarativa (2000-01). (3º de Ingeniería Informática).
Inteligencia artificial II (2000-01). (4º de Ingeniería Informática).
Razonamiento automático (2000-01). (5º de Ingeniería Informática).

Curso 2001-02

Programación declarativa (2001-02). (3º de Ingeniería Informática).
Inteligencia artificial II (2001-02). (4º de Ingeniería Informática).
Métodos formales en computación e I.A (2001-02). (Doctorado).
Razonamiento automático (2001-02).(Doctorado).
Minería de datos (2001-02). (Master de Estadística Pública).

Curso 2002-03

Programación declarativa (2002-03). (3º de Ingeniería Informática).
Inteligencia artificial II (2002-03). (4º de Ingeniería Informática).
Razonamiento automático (2002-03). (5º de Ingeniería Informática).
Demostración automática de teoremas (2002-03). (Libre configuración).
Métodos formales en computación e I.A. (2002-03). (Doctorado).
Programación lógica (2002-03). (Doctorado).
Inteligencia artificial, lógicamente.

Curso 2003-04

Lógica informática (2003-04). (2º de Ingeniería Informática).
Programación declarativa (2003-04). (3º de Ingeniería Informática).
Demostración automática de teoremas (2003-04). (Libre configuración).
Programación lógica (2003-04). (Doctorado).
Razonamiento automático (2003-04). (Doctorado).

Curso 2004-05

Lógica informática (2004-05). (2º de Ingeniería Informática).
Programación declarativa (2004-05). (3º de Ingeniería Informática).
Demostración automática de teoremas (2004-05). (Libre configuración).
Programación lógica (2004-05). (Doctorado).
Razonamiento automático (2004-05). (Doctorado).

Curso 2005-06

Lógica informática (2005-06). (2º de Ingeniería Informática).
Programación declarativa (2005-06). (3º de Ingeniería Informática).
Razonamiento automático (2005-06). (Doctorado).

Curso 2006-07

Lógica informática (2006-07). (2º de Ingeniería Informática).
Programación declarativa (2006-07). (3º de Ingeniería Informática).

Curso 2007-08

Lógica informática (2007-08). (2º de Ingeniería Informática)
Programación declarativa (2007-08). (3º de Ingeniería Informática)
Programación lógica (2007-08). (Doctorado)
Razonamiento automático (2007-08). (Doctorado)

Curso 2008-09

Lógica informática (2008-09). (2º de Ingeniería Informática)
Programación declarativa (2008-09). (3º de Ingeniería Informática)
Programación lógica (2008-09). (Doctorado)
Razonamiento automático (2008-09). (Doctorado)

Curso 2009-10

Informática (2009-10) (1º del Grado en Matemáticas)
Lógica informática (2009-10) (2º de Ingeniería Informática)
Programación declarativa (2009-10) (3º de Ingeniería Informática)
Programación lógica (2009-10) (Doctorado)
Razonamiento automático (2009-10) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
Software libre para el estudio y la enseñanza de las Matemáticas (2009-10) (Máster Universitario en Formación del Profesorado de Educación Secundaria)

Curso 2010-11

Informática (2010-11) (1º del Grado en Matemáticas)
Lógica informática (2010-11) (2º de Ingeniería Informática)
Razonamiento automático (2010-11) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
Software libre para el estudio y la enseñanza de las Matemáticas (2010-11) (Máster Universitario en Formación del Profesorado de Educación Secundaria)
Demostración asistida por ordenador (2010-11) (Curso de formación especializada del CFP de la US).
Seminario de Lógica Computacional (2010-11)

Curso 2011-12

Informática (2011-12) (1º del Grado en Matemáticas)
Lógica informática (2011-12) (2º del Grado en Ingeniería Informática)
Lógica matemática y fundamentos (2011-12) (3º del Grado en Matemáticas)
Razonamiento automático (2011-12) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2012-13

Informática (2012-13) (1º del Grado en Matemáticas)
Lógica informática (2012-13) (2º del Grado en Ingeniería Informática)
Lógica matemática y fundamentos (2012-13) (3º del Grado en Matemáticas)
Razonamiento automático (2012-13) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)
Demostración asistida por ordenador (2012-13) (Seminario de investigación)
Seminario de Lógica Computacional

Curso 2013-14

Informática (2013-14) (1º del Grado en Matemáticas)
Lógica informática (2013-14) (2º del Grado en Ingeniería Informática)
Lógica matemática y fundamentos (2013-14) (3º del Grado en Matemáticas)
Razonamiento automático (2013-14) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2014-15

Informática (2014-15) (1º del Grado en Matemáticas)
Lógica informática (2014-15) (2º del Grado en Ingeniería Informática)
Lógica matemática y fundamentos (2014-15) (3º del Grado en Matemáticas)
Razonamiento automático (2014-15) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2015-16

Informática (2015-16) (1º del Grado en Matemáticas)
Lógica informática (2015-16) (2º del Grado en Ingeniería Informática)
Lógica matemática y fundamentos (2015-16) (3º del Grado en Matemáticas)
Razonamiento automático (2015-16) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2016-17

Informática (2016-17) (1º del Grado en Matemáticas)
Lógica matemática y fundamentos (2016-17) (3º del Grado en Matemáticas)
Razonamiento automático (2016-17) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2017-18

Informática (2017-18) (1º del Grado en Matemáticas)
Lógica matemática y fundamentos (2017-18) (3º del Grado en Matemáticas)
Razonamiento automático (2017-18) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2018-19

Informática (2018-19) (1º del Grado en Matemáticas)
Lógica matemática y fundamentos (2018-19) (3º del Grado en Matemáticas)
Razonamiento automático (2018-19) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)

Curso 2019-20

Informática (2019-20) (1º del Grado en Matemáticas)
Lógica matemática y fundamentos (2019-20) (3º del Grado en Matemáticas)
Razonamiento automático (2019-20) (Máster Universitario en Lógica, Computación e Inteligencia Artificial)