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