The Logic exam couldn't have been less like what I expected it to be. Well, I suppose that's not quite true - it could have been easy. As a class, we had hoped that there would be one question on PVS that we could avoid, but instead half the paper was taken up by writing PVS specifications instead of actually applying the logic rules that we'd spent the past week learning. Do we look like proof verification systems? (Unless Isaac Asimov was right and we're all fundamentally impossible to understand and based on obsolete systems, in which case the resemblance is obvious.)

I just hope that it will turn in to another Graphs and Algorithms, where everyone does so badly that we all get really good marks. Apparently the highest grade for that course last year was a 12, but that was with a different lecturer.

The theme of us not being allowed to take our exam scripts with us at the end continued. I wonder why.