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

Curso 2018-19

Curso 2017-18

Curso 2016-17

Curso 2015-16

Curso 2014-15

Curso 2013-14

Curso 2012-13

Curso 2011-12

Curso 2010-11

Curso 2009-10

Curso 2008-09

Curso 2007-08

Curso 2006-07

Curso 2005-06

Curso 2004-05

Curso 2003-04

Curso 2002-03

Curso 2001-02

Curso 2000-01

Curso 1999-00

Curso 1998-99

Curso 1997-98

Curso 1996-97

Curso 1995-96

Curso 1993-94

Curso 1992-93

Curso 1991-92

Curso 1990-91

Curso 1989-90