CS@Uni‎ > ‎Curso 1‎ > ‎Cuatrimestre 2‎ > ‎

Lógica

con Luis Español en 2006/07

Prácticas (enunciados):

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:
  • Otros documentos:
    • Tres ejercicios de DN: pdf
    • Manual de XGP: pdf
    • Presentación sobre Prolog: zip
Comments