Last post

So this is officially my last blog for this course. Overall it was a rewarding experience, I finally understand the concepts of program correctness - loop invariants, termination, recursive functions, Finite State Automata, recursive definitions, ... I think everything boils down to this, I had a great instructor for the course, one of the best instructors I've ever had at uoft. And the material seemed easier than I thought it would be, I actually had this course easier than 165 (btw I did 165 in the summer, with a graduate student), and it contains more material and depth. Well I thank God and Danny for a wonderful course and semester. And I'm kinda glad I no longer have to write blogs involuntarily and yes, I now know how to foretell domino fates, to an extent at least. Success on ur exams - if it applies - and have a lovely Christmas break.