14/10/12. Finally getting around to posting this. What time I have left after working tends to be dominated by whichever subject I have a test or assignment coming up. This week ending was full of 236 with the assignment due last Friday and the test 4 days ago.
The assignment was interesting. It was the first real mathematical induction I've done since CSC165 in last year's fall semester (the first tutorial quiz I found to be simple, considering it was only slightly different from the example done 5 minutes beforehand). Complete induction, on the other hand, was a new experience. I was surprised to find it no harder than "simple" induction (hopefully I wasn't just doing it wrong). The last two assignment questions I found to be the type where you keep thinking and working out a system until finally it clicks (although I'm not sure Id' have figured out the Q3 method had Danny not given the tip about subsets). Overall: a good way to relearn how to do proofs.
The test: Went much better than expected. Going into the test, all my knowledge about well ordering and structural induction came from the text and lectures. Even the day before the test (prior to studying) I wouldn't have been able to describe either if someone asked me to. When it was actually time to write the test, my biggest concern was doing 3 proofs in 50 minutes. But after looking it over, I thought I was missing something. The questions seemed deceptively easy (hopefully that's not the case). Even after working from 7:00 - 15:00 prior to the test, all 3 poofs were downed no problem. I guess actually putting time into 165 paid off (too bad I didn't put that much effort into calculus).
With the test and assignment out of the way, I guess this next week will be spent almost entirely on !236.
No comments:
Post a Comment