Prácticas
Práctica 1
.
Práctica 2
.
Práctica 3
.
Práctica 4
.
Temas relativos a la parte práctica.
Tema P1:
Introducción a NQTHM.
Tema P2:
Tipos de datos en NQTHM.
Tema P3:
Inducción y recursión.
Tema P4:
Simplificación en NQTHM.
Exámenes
Examen del 16 de Abril de 1999:
Enunciado
y
solución
Examen del 27 de Septiembre de 1999:
Enunciado
y
solución