Week 5

  Because of the reading week, the post for this week is a little bit late. Now, the reading week is gone to the end, the course material which after reading week is going to be a huge challenge for me.

  I just received my test 1 result before the reading week. I have done pretty well on it~~~OH YEAH.. I think the reason for that is because the test is pretty easy. And the average was pretty high as well.

  I just can do the proof structure in these days, which is a big improvement for me. The TA says that you will get 40-50% for the structure which means I can pass the course at least. But my goal isn't that, my goal is to get a high B at least for the course which is a challenge for me, because logic is one of the hardest region in computer science. Coding is not hard, but you need logic to code which is hard.

  I'm still looking forward to learn more about logic. I can find happiness in this course, such as finish one of the hard question. Hope I can get a good mark in this course.

Week 4

  We just finished the first and the easiest part of the course. I think I have done pretty well on the test. Even though the first question is a little bit harder than the previous test, I still finish it pretty well. Here's a funny thing. I didn't see the versions of the test when I checked the solutions, and I found out the solution was totally different to my test. And I was thinking what's going on and when I saw the second version of the test, my heart back to calm.
  The course is confusing me a lot. I can't do any proof by my self. I can understand the proof by reading the solution, but I don't have any idea to solve a question since all the questions are mostly math problem. The problems are seems like basic math proof, but the idea of thinking is still part of my weakness. I think I'm far behind the course right now.

Week 3

  The quiz of the third week is pretty easy. I think I finally can get a 2 from the quiz. I used to finished the tutorial questions before the quiz and I can get the answer from the tutorial which is really helpful.

  The course is getting harder since this week. I found myself is kind of lost. I learned the structure of proving and some examples of proving. I am taking MAT137 in the same time, and I'm feeling this course is exactly a math course right now. The examples which given to us are the same as MAT137 and proving is almost my weakest part.

  I learned the good way of proving is to follow the steps which I don't learned from MAT137.  You can check your thinking by following the steps and even if you don't know how to do the questions, these steps might help you to solve it.