Week 6

I couldn't believe that i only got 60 something on my first term test. I spend a lot of time reviewing. After i got my test back, i realized that i misunderstood the question on the test, which result in a 0 on a question that weight a lot. I felt extremely frustrated - i don't know if i can still apply for computer science specialist next year. I could not be focused during this week's lecture because of the test result. I could only remember the proof of "floor" and limit stuff. Wish i can get out of this sad mood.

Week 5

I had term 1 test this week. I didn't expect the test to be 'easy' like this. However, i hope i do get a good mark. After the test, Larry comforted us that even if we leave test all blank, our mark is only 3% below the final average, which made most people in class feel some how good i think. He then showed us how to do proof by using contrapositive. He taught us that "When it’s not easy to prove P => Q, try proving ¬Q => ¬P", which is important indeed. It helped me solve a lot of complicated problems. When we are asked to pick an x for "there exist x", i recall the material i learnt in MAT137 class. In math, we are asked to pick a valid delta to satisfy the proof. In computer science, we are asked to pick a valid x to satisfy the proof. I like the feeling of connection. I can see that the courses i take have connection between each other. Next week, we are going to do more exercise of proof.

Week 4

This is the 4th week of my university life. In this week, professor Larry taught us about the 

 'Implication/disjunction, mixed quantifiers, proof'. 

First of all,  he taught us that ¬(P => Q) is equivalent to  P ∧ ¬Q. Then he introduced the concept of 'Bi-implication' and mixed quantifier. I realized that the place of where i put down the quantifier will effect the meaning of equation itself. After few examples of normal life, Larry gave us a example using math, which made me confused at the beginning. However, after i read it over and over again at home by myself, i finally understood the concept of it. Also, Larry demonstrated the structure of proof in the class, which is different from what i have learnt from MAT137. Therefore, i have to memorize both ways of proof. I feel that proof is going to be the main topic in the next few weeks. Hope i can handle it.