First Post

I might be kind of late for my first post since I saw a lot of people started blogging already, but I'll make sure I will post regularly till the end of this semester. 

Tomorrows the first midterm and to prepare for it, I went through the notes and redo example in lectures. I think I'm pretty good at doing mathematical and complete induction proofs since assignment 1 was very helpful for me to understand the structure and thinking process to proving. Well-ordering proofs and structural induction are still kind of new to me but I'm sure I will get the grasp of it before the test tomorrow. 

Well, I think I should get back to studying. Good luck to all my fellow CSC236 classmates~~