SLOG Week 6

Lectures:

Like last week, we spent a lot of class time doing proof examples this week. At least we did on Monday. I was away on Wednesday because I was busy cramming for 2 midterm tests that I had that day. I should probably go back and look at what I missed. On Friday, we did problem solving practice, which was a problem about re-arranging pennies in two drawers. Doing problems like these are fun, even though I usually can't solve them.

Tutorials:

The tutorial this week was for practice writing proofs and proper proof structures. This was pretty similar to the previous tutorial so there weren’t any real problems. It was really boring though, since we did nothing for almost the whole tutorial session.

SLOG WEEK 5

Lectures:

This week was a very short week since there were no lectures on Monday due to thanksgiving and no tutorials on Tuesday. Most of what was done in lectures were more sample proofs. We were taught new ways of proving stuff such as using proof by contradiction, proving the contrapositive, proof by cases, or proof by existence, which is a lot shorter and easier. Proofs seem like the hardest part of the course so far.

Going through all the proof examples in class was pretty helpful in hammering proper proof structure into my memory. Although writing all of the structure gets a bit tedious at times.

SLOG WEEK 4

Lectures:

There was not as much content covered this week since most of the lecture time was spent doing example proofs. They were helpful in helping me understand how to write proofs though. The tutorial this week also covered how we should be structuring proofs which were also helpful practice. I just need a bit more practice on knowing what comments I’m supposed to write for proofs.

Midterm:

This week was also the week of the midterm. Overall, the midterm was not too difficult mostly because we had a sample test with solutions and the midterm test was very similar to that sample test.

Tutorial:
The tutorial this week was very helpful since I was having trouble remembering how to structure proofs. Going through some examples and writing a quiz made it easier to remember.

SLOG WEEK 3

Lectures:

This week, we learned a lot about mixed quantifiers and how the order of the quantifiers matters. This is something that I already learned in MAT137 so it was not really anything new. We were also taught transitivity, where if P implies Q, and Q implies R, then P implies R. The last lecture we had talked about proofs and proof structure, which seems pretty confusing at the moment. I should probably go back and look through the notes again.

Assignments:

Our first assignment was due this week. Overall, the assignment had some really challenging questions and it took a lot of time to finish. I had the most problems with the venn diagram question because I was not really sure what I was supposed to show with the venn diagrams.

Tutorials:
The tutorial this week was pretty simple, except for guarantees since we never covered that in lectures.