Week 1

Another exciting year in Danny's class! Last year was great fun, it certainly was interesting to learn about proofs. Now at least when I see those forall or exists symbols, I won't get tangled up. This week is mostly introduction of the course and some revision from last year. It's good to know that the great grading system is still here. I don't know if it's Danny who decided it, or the faculty. The system is great! It makes all of our lives much easier. There will be no tutorials this year, instead, we are going to have 6 problem sets. I think having an adequate amount of course work such as problem sets is great. It forces lazy people like me to keep up with what's going on and allows us to understand course materials better. There are still assignments. I am expecting them to be as challenging as last year.
To conclude, nothing much went on this week. There were no problem sets or assignments. As for the slides on Simple induction, this is simply revision from last year.