Mathematics for Computer Science (2024)