Relief as test one is over. Onward to proofs.

Yay! Test one is over and done with.  I am quite happy because I think I did pretty well on it, judging from the sample solutions given.  This week we learned the structures of proofs, which was quite interesting, and some of the stuff, like assuming the antecedent and proceed from there to prove the 'then' part, are exactly the same as what I have learned in MAT137.  I like the fact that the general guidelines for proofs is the same across subjects, and it is very cool that computer scientists have to do proofs as well.  It has not been too hard because we are just learning about the skeletons of proofs, but I am sure when we tackle actual proofs, heads will start rolling.