[entropyie]

Formal methods in Z notation or predicate logic in prolog... Still have nightmares 20 years later.

[mpalfrey]

+1 for formal methods in Z. I've still got the book at my dad's house.

My first year of uni also had a pretty evil pure maths course which was worth a high percentage of the year. Not much fun.