Fall 2020: Mathematical Tools for Computer Science

This is a whirlwind introduction to important math that turns up everywhere in computer science. We will explore many topics. But the goal is really to learn how to reason mathematically about problems in computer science from the ground up – and how to prove statements formally when you need to.

Here is the full course outline, and here are slides for the lectures: