con Luis Español en 2006/07

Prácticas (enunciados):

• Soluciónes:
  • Práctica 1: xls
  • Práctica 2: zip
  • Práctica 3: zip
  • Práctica 4: txt
  • Práctica 5: pl (Mac) | txt (Windows y Linux)
  • Práctica 6: pdf

Documentos:

• Examen (12.06.2007):
  • Equivalencias (ej. 2a): png
  • Deducción natural (ej. 2b): png
  • Resolución (ej. 2c): png

• Bloques de apuntes:
  • Bloque primero (introducción): pdf
  • Bloque segundo (proposiciones I): pdf
  • Bloque tercero (proposiciones II): pdf
  • Bloque cuarto (predicados): pdf

• Hojas de problemas:
  • Todas: pdf

• Otros documentos:
  • Tres ejercicios de DN: pdf
  • Manual de XGP: pdf
  • Presentación sobre Prolog: zip