So I finally got around to making my SLOG for this course. I usually take a while to get started for some reason. Last year in 165, I didn't write up my first SLOG entry until just before the second term test (I could be wrong; it may have been even later!). I have to admit that, when I first heard of the idea of a course blog in 165, I wasn't really excited to get it going. I didn't think that I'd have enough material to cover or experiences to describe for a weekly blog. By the end of the year, I'd warmed up to the idea but it still hasn't completely grown on me.
Let's get back to the present time now. We're 3 weeks into the year and this course (CSC236) seems to be very similar to CSC165 in terms of the types of proofs that we are required to do. The simplified proof structure seems weird to me though. It's not any harder than 165 style of proofs but, in my opinion, the 165 proofs looked more visually pleasing than simple prose. I'd much rather read a bunch of small paragraphs or lines than a long and tedious paragraph. But maybe that's just me.
The first two problem sets were easy enough. The only problem I had with problem set 1 was submitting it. My worst TTC experience to date caused me to be 40 minutes late for class. It all started when I watched the bus I had planned to take leave me in the dust when I was literally 5 steps from the bus stop. Then I decided to just wait for the next bus which was scheduled to come in 15 minutes. 30 minutes later, no bus in sight. I'll skip the rest of the details mostly because it all seems like a blur now. Oh well, time to go finish off assignment 1.
Subscribe to:
Post Comments (Atom)
1 comment:
You're still allowed to structure your proofs in the 165 style. You're just not required to.
Post a Comment