Reading week now

Whew! I'm satisfied by my term test mark which was completely unexpected.

The test wasn't too bad, and I found it to be pretty decent, but I never expected to get a mark this high. Especially when I didn't give any explaination for the answers in question 2.

Anyways, proofs (or proof structures) are getting easier to describe and I have tried to practice them in the tutorials. Hopefully, I'll be able to solve the actual proofs themselves after I have become more confident in making the proof structures. Assignment 2 is going to be a tricky one, so I'll need to understand this (with a little help from others) so I can fill in all the questions.

What a week...

Last week must have been one of the busiest times of the school year. I had two tests (including the CSC165 test), a reading response to write up on, a project in CSC148 that I'm still working on and a MAT137 assignment to deal with.

On the other hand, I've been trying my best to understand the functions and methods used in 165 and seen in Chapter 2 in the course notes. Negation, contrapositives, conjunctions/disjunctions and quantifiers are several examples that I have begun to recognize more. The test went surprisingly fine, despite my fears from the horror stories told by other CSC65 students, although I need to work on explaining symbolic forms better.

The next concepts will be proofs, as seen in Chapter 3 of the course notes and although I know how to do the beginning and end of proof structures, I don't really understand how to do the middle proof. I hope that I'll be able to understand better like I did with the Chapter 2 concepts and that I can fully grasp this course.