Información adicional sobre la asignatura

Materiales para el curso 2005/2006

Tema 1

• Reglas de inferencia de Lógica Proposicional y Lógica de Predicados
• Equivalencias de Lógica Proposicional
• Ejercicios de Lógica Proposicional y Lógica de Predicados
• Transparencias Programación Lógica. 1ª parte
• Transparencias Programación Lógica. 2ª parte
• Transparencias Programación Lógica. 3ª parte
• Ejercicios de Programación Lógica

Practicas

• Tutorial de Prolog (Práctica 1)

• Práctica 1

• Práctica 2

• Práctica 3

• Práctica 4

• Práctica 5

• Práctica 6

Exámen Septiembre 2005

• Enunciado exámen Septiembre 2005 (1ª parte Castellano)
• Enunciado exámen Septiembre 2005 (1ª parte Valenciano)
• Enunciado exámen Septiembre 2005 (2ª parte)
• Solución exámen Septiembre 2005

Exámen 2004

• Exámen Junio 2004 (parte de Programación lógica)
• Exámen Septiembre 2004 (parte de Programación lógica)

Exámen de Junio 2003

Enunciados teoría: castellano valenciano

Resolución de las preguntas de la parte 1, pdf. Al parecer ha habido algunos problemas para poder abrir el fichero con Internet Explorer ya que lo modifica al descargarlo. Por este motivo está también disponible en formato ps y en html.

Resolución de las preguntas de la parte 2.