Friday, October 31, 2008

week 8- iterative correctness

was quite confused about this week's lecture. Didn't understand the part about 7m+n=7a+b+i. The proof made a little sense to me but i just didn't understand the 1st part. This proof is rather similar to that of the previous week's proof. Just this time we have to count the i-th iteration in as well.

Do we have to make use of PWO at this point? To show that at the next iteration, we will always end up with a smaller variable and it will get smaller and smaller until it reaches 0. Is that how we are supposed to make use to PWO? How to apply PWO in this case?

A2 was a disaster. It took way longer than i expected. So as a result i did not finish it. But come to think of it, it was quite impossible for me to finish it. With 2 midterms on 22 and 23, 207 E3 and a group report due on monday then followed 207 midterm on wednesday, it was quite a challenge to finish my work on time. Just bad bad planning on my part.

I know danny reads our blogs...some help maybe? Haha. But oh well..can't ask for anything since i am responsible for my own work. Just hope to survive this course..........

No comments: