exam

what did you think of the exam? i wasn't too pleased and i'm pretty sure i'm going to fail it...

Didn't finish all questions, particularly Q5 and Q6. Hope we get some sympathy

To be honest, we had the paper in front of us in the exam tutorial letter. This makes the paper fair, but difficult nonetheless.

i didn't get an exam tut letter... maybe i didn't do all the assignments...

to me the exam seemed to be not at all about formal program verification but rather seemed to focus on the floor function and remainder computation. i really though honours would be about learning principles and how to apply them not parroting off large examples from the text book.

also, the lecturer should just get real and make BABER an official "prescribed" book... in my opinion you should NEVER see a direct reference to a "recommended" book in a paper as it is just "recommended" and not "prescribed".

all in all, a disappointing end to what could have been a great module.

When do you think we can expect the results??