In Fall 2020 I will be teaching COMP-761, “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: