Week 7: Logic and Math!

Even though it's called mathematical logic according to Wikipedia, it sure doesn't feel like math I'm used to. Set theory with all of it's implications and De Morgan's rules, it feels much more like learning a new language than learning math.

With that being said, I think the math is coming! Prof Heap briefly mentioned how the speed of algorithms are measured with graphs and how they look like the graphs of polynomials. One thing that surprised me is how the speed of algorithms are measured by the worst speed. It doesn't feel like the sturdy math and it reminds me of psychology class where we learned the brain uses heuristics to be faster and sacrifices accuracy.