3 ms·
Formal methods in Z notation or predicate logic in prolog... Still have nightmares 20 years later.
by entropyie 2y ago
Formal methods in Z notation or predicate logic in prolog... Still have nightmares 20 years later.
- mpalfrey 2y ago+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.