Discrepancy

Date: Halloween Friday, supposedly this post should belong to the October posts but oh well...

The end of the eighth week gave us the hardest part of correctness proving - the nested loop. Even staying focused for this lecture doesn't help, as I'm hopelessly lost in finding ways to understand it. First of all, I'm enormously distracted by other assignments/problem sets due next week to even bother reviewing for the second term test next week. Second, my understanding of loop invariant is not sufficient enough - I thought that it is some variable staying unchanged throughout the loop, using it to prove the postcondition certainly had me going back to re-understand this stuff (if I got the time for it). And lastly, as I stated in previous posts that it will take awhile for me to understand and prove correctness for iterative loop - especially the part about finding a decreasing sequence that will make the loop terminate.

So much stuff to do yet so little time, ah... certainly I need to spent time wisely from now on...