José A. Alonso Jiménez: Materiales de cursos

Materiales de cursos publicados en la Red

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

Curso 2010-11

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

Curso 2009-10

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

Curso 2008-09

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

Curso 2007-08

Lógica informática (2º de Ingeniería Informática)
Programación declarativa (3º de Ingeniería Informática)
Programación lógica (Doctorado)
Razonamiento automático (Doctorado)
Representación del conocimiento y automatización del razonamiento. (Libre configuración)
Seminario de Lógica Computacional

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).
Complementos de informática (1997-98). (1º de Licenciatura 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).