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