Wine Related Carnage

Here's a more calm evaluation of the exam, then, before I go to bed (as I really should be doing about now). The only problem that I had with it was that I couldn't stop laughing at it for the first ten minutes or so - for a start, the lecturer had obviously simply copy and pasted one question from the previous year (and had even forgotten to change the word "cans" to "bottles" in one instance to disguise it). The other source of much hilarity was the description for that question's scenario - the aim was to write a wine-bottling program for two robots, and the wonderful observation was made that placing a bottle on an already full belt would result in "wine related carnage". I'm certain that that will become the class in-joke that it deserves to be.

Strangely enough we weren't allowed to take the exam scripts with us like we have done for every other exam in the history of University - I'm not sure if this was because there were still some people left to take it, but I'm certain that there weren't.

I'm having some difficulty walking comfortably now because it feels like I've stretched the muscles in my thighs. As I haven't done any strenuous exercise recently and can't think of hitting them or anything or sitting awkwardly, I can only conclude that I have severely injured myself by walking. How embarrassing.

Logic: Predicates

Further to prove that George Orwell was correct when he said in "1984" that the body betrays you at every opportunity, I had two dreams last night. The first was about being late for my Logic exam and not being able to find my socks. The second was about finishing the same exam and realising that I had only answered two questions instead of three. I suppose that the first has some basis to it - this is the first set of exams that I've taken without my lucky socks, as my mother threw them out because they were beginning to have more holes than sock in them.

Let's see, then - A(x):[E(y)¬(¬Caesar(y)vSkol1(x,y))]v[E(y):Func(y,x)] = A(x):[¬A(y)(¬Caesar(y)vSkol1(x,y))]v[E(y):Func(y,z)] or should that be A(y)? Oh well, too late now.

Logic: Conclusions

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.