Well, a week from now I will embark on another journey to hopefully pass the 236 test. I dislike how course coordinators seem to conspire to put everything at the same time. Either we don't get any hw or assignments, or we just get owned by a #&$*(^load of homework, assignments, tests, and projects. Note to future CSC students- you are screwed.
This week we covered iterative correctness (testing correctness for recursive proofs). I don't really understand loop invariants, but it seems like its basically a part of the FINAL solution, a piece of the puzzle if you will. At the end, the loop invariants will be found and the recursive function will terminate.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment