Week 5

In this week we had our term test, which I found not that difficult, but I might got some wrong answers for lack of attention, I will have more certain with the result. Then, we continued learning about some proofs, for example the use of the contrapositive to prove the statement, or leading to the contradiction. We also had proof by existence and about a sentence. In the tutorial, we had proof structure, something that I do not recall having in class, but is quite easy and not that hard, is only necessary to unwrap the sentence and not actually prove something.

Week 4

On this week, we finished learning the language of math, with bi-implications and mixed quantifiers, which is a subject that I found not so difficult. And them we started learn about proofs, the why, what and how. We saw that we can start from both ends, the beginning or the end, and sometimes one is easier then the other. It is necessary to seek the proof finding the chain, through the bubble search, or the tree search. In the tutorial we had a little bit of negations, proving equivalence, and guarantees, where I had a little bit of difficulty with the first one.