+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.