Sunday, 16 November 2014

SLOG Week 8

Lectures:

This week we had some more practice with counting steps and proving bounds in class, we also had an assignment due and a test on Wednesday, so it was a pretty long week. As for the lectures, I was really confused at what was happening during the proof for the maximum slice function. I had absolutely no idea what was going on. I really need to spend some time to look over the annotated slides. The other bound proofs on the other hand are very straight-forward. 

Assignments/test:
For the assignment and the test, I had a lot of difficulty trying to find out how to apply the definition of floors to my proofs, so I probably did not do so well on those. I definitely need to look at the solutions before writing the exam.

Tutorial:
The tutorial this week was pretty straight-forward, although I kind of panicked on the quiz and forgot what the equation for 1+2+3+...+ n was. 

SLOG Week 7

Lectures:

This week we started talking about counting steps, which was not too hard for me since I’ve taken computer science courses before back in high school. Learning how to prove upper and lower bounds seemed a bit confusing though. It took a while to understand what you are allowed to do in the proof and how you can manipulate inequalities and I probably need some more practice with it before I can confidentially do those proofs. It is also a pain trying to remember the entire definition of upper and lower bounds.

Tutorials:
As for this weeks tutorials, I had actually skipped it because I was too lazy to get up in the morning.

Monday, 27 October 2014

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.