Cursos

El material de este repositorio se ha ido elaborando en los cursos de las asignaturas "Programación declarativa" (de 3º de la Licenciatura de Infomática) y "Programación lógica" (del Máster en Lógica, Computación e Inteligencia artificial) de la Universidad de Sevilla. Las páginas de dichos cursos (con contiene las sucesivas versiones de los temas, ejercicios y exámenes) son:

• "Programación declarativa" (3º de la Ingeniería en Informática): Cursos 1999-00, 2000-01, 2001-02, 2002-03, 2003-04, 2004-05, 2005-06, 2006-07, 2007-08, 2008-09 y 2009-10.
• "Inteligencia artificial II" (4º de Ingeniería Informática): Cursos 1997-98, 1998-99, 1999-00, 2000-01, 2001-02 y 2002-03.
• "Razonamiento automático" (5º de la Ingeniería en Informática): Cursos 1999-00, 2000-01, 2001-02 y 2002-04.
• "Programación lógica" (Máster en Lógica, Computación e IA): Cursos 2002-03, 2003-04, 2004-05 y 2008-09.