proofs

Last week I posted here that I was understanding the proofs. That appears to be an understatement because I found out this week that I got 100% on the 2nd assignment and the 2nd term test!!

Calculate big-O and big-Omega on N are just more proofs but they require some practice. I struggled with the quiz this week, seemingly unable to keep the inequalities straight in my head. Luckily my TA, Timo, was able to stay after tutorial and talk me through it. He gave the helpful advice that if you're trying to prove f < g, you need to find f' and g' such that f < f' < g' < g. This will help me keep things straight in head.

Next week is the halting problem. I got a glimpse of it when I was in CSC240 at the beginning of the semester before dropping down. The halting problem was part of why I dropped down, it is pretty mind stretching, but I trust Danny will present it in a way we can digest.