A long entry

Ahh... a lot of things to write about:

First, the deadline for problem set 4 got extended until today (originally due on Fridays), being lazy as I'm usual was, I practically delayed doing it until Sunday, it wasn't that hard, just have a lot of explanation to do.

Second, assignment 2 was also due today (in the midst of me writing this...), I have to say those problems are extremely challenging (I have to thank whoever made this, as this assignment gave huge amounts of exercise to my brain). Strange note here, bonus marks? Oh well... I don't think I have enough stamina or brain power to do it after the horrors on that first question.

As for today's lecture, we started doing program correctness for iterative (as compared to recursive) programs. Like Danny noted, it really does get awhile to become comfortable doing such proofs as the program is longer and less straightforward compared to the recursive ones. Not only that, the fact that it is necessary to prove that the loop terminates threw me off, other than that it looks extremely similar to how you'd prove for a recursive program's correctness.

The prove of correctness, as I've observed, requires the student to have excellent and clear writing skills, which I lack both (which will undoubtedly gave me a disadvantage). Guess finding time to practice is my only hope...