Closing off CSC236.

It seems like only yesterday that our first class for fall term has started and here we are, just a week away from CSC236 final exam. It was a great run. I really enjoyed and benefited a lot from CSC236. In first half of the term, we were introduced with proof by induction. A technique that is very helpful to prove identities of Natural numbers and others. As term progressed, we used the induction technique to prove correctness of program and to define certain mathematical object. In overall, we build up some of the proof techniques that we have learned in CSC165, and challenged ourselves to solve and analyze some of the harder proof questions and more complex program. Indeed, some of the concepts and assignment questions were very tough and challenging; however, after completing all of those; I really feel proud of myself and feel like my proof style has matured very much. I still have some confusions understanding DFSA and NFSA, and how we derive the loop invariant. Having just a week left for the final exam, I am going to take myself to the limit and try to understand as clear as possible on any of the topics that I didn't understand clearly.