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.