Since this is the end of term, I've decided to reflect on the course. I came out of csc165 enthusiastic about computer logic. Gladly, csc236 has not wane my enthusiasm. If it wasn't for the pervasiveness of some personal problems, I believe that I would have been doing better in this course. However, it was still my enthusiasm for computer logic that kept me on top of my studies (whereas in my other courses... not so good).
So some things demystified : proof with induction (iteration, recursion), proof of program correctness and formal languages. This course has shaped how I see proofs. It seems to me that almost everything can be proven with induction. Formal languages is proving strings. I can sort of see how this can be applied to computers (regex and DFSA). The variability of CGFs, along with a stochastic model (markov chain?) seems to be a good starting point for recreating human language, hence could be some sort of AI algorithm. I will probably investigate this further during the winter break.
I enjoyed csc236 and Danny as my prof. Hopefully I will see him again in other computer courses I am going to take. :)
No comments:
Post a Comment