Materiales de cursos publicados en la Red

Relación de materiales de cursos impartidos por José A. Alonso.

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)
• Razonamiento automático (2015-16) (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 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)
• Demostración asistida por ordenador (2012-13) (Seminario de investigación)
• Seminario de Lógica Computacional

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)
• 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 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 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)
• Representación del conocimiento y automatización del razonamiento. (2007-08) (Libre configuración)

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).
• Representación del conocimiento y automatización del razonamiento (2006-07). (Libre configuración)

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).
• Programación lógica (2005-06). (Doctorado).
• 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-2000

• 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).

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).

Curso 1989-90

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