Oct. 29-08
Time passed very fast. I can hardly believe it is the end of October already.
Proving the program correctness is not terribly difficult to do, even through the proof can be tedious when justifying a program with tons of loops and if statements. When proving the accuracy of a program with double loops, I had a hard time to keep track of what exactly I was trying to prove at that moment. One of the TAs suggested me to list out the steps of the proof in the beginning and keep the solution for each phase in separate papers. I will definitely do what he said next time.
We handed in our assignments this Monday. The second assignment was harder than the first one, but it was a great enhancement on the lecture materials.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment