Cursos impartidos
Esta página presenta todos los cursos impartidos durante mi trayectoria docente, organizados cronológicamente desde el más reciente hasta el más antiguo, abarcando un período de más de tres décadas de actividad académica (1989-2020). Cada curso incluye sus materiales docentes completos: apuntes, ejercicios resueltos y exámenes resueltos, constituyendo un repositorio integral de recursos educativos en las áreas de lógica matemática, programación lógica, programación funcional, inteligencia artificial y razonamiento automático, dirigidos a estudiantes de grado, máster y doctorado.
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)
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 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 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 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)
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 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 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)
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 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)
- Demostración asistida por ordenador (2010-11). (Curso de formación especializada del CFP de la US).
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)
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 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 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 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 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 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 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 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 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 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 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 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 1996-97
- Heurística y sistemas expertos (1996-97). (3º de Licenciatura en Estadística).
- Seminario de lógica computacional (1996-97). (Doctorado).
Curso 1995-96
- Sistemas expertos (1995-96). (5º de Licenciatura en Informática).
- Seminario de lógica computacional (1995-96). (Doctorado).
Curso 1993-94
- Teoría de conjuntos (1993-94). (2º de Licenciatura en Matemáticas).
Curso 1992-93
- Teoría de conjuntos (1992-93). (2º de Licenciatura en Matemáticas).
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 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 1989-90
- Teoría de conjuntos (1989-90). (2º de Licenciatura en Matemáticas).