Assignment 1 was due this week. My group and I spent a few hours after tutorial on Tuesday adding explanations and making sure our answers were correct. After submitting our answers, we felt fairly confident that we had correctly answered many of the questions, although there were a few that we were unsure of.
This week finished off the implication / disjunction / quantifiers material and we started proofs. I was a bit nervous because I had heard that proofs were essential, but difficult. In lecture we were introduced to the basic structure of a proof and solved some "simple" proofs, such as proving that n squared is odd if n is odd. I had no trouble with the structure or the math of the proof, but was at a complete loss as to where to start solving the proof. One day, I had a revelation while studying for the upcoming midterm. I realized that you start solving the proof from the assumptions you make at the start. This epiphany made me much more comfortable with solving proofs, although I was still relieved when I found out they were not going to be on the midterm.
No comments:
Post a Comment