This course provides a deep dive into essential mathematics for computer science and is designed to teach not just important mathematical tools but the skill of mathematical thought in the context of CS, including how to write advanced mathematical proofs.

Here is the full course outline.