Mathematics for Computer Science (2018) [pdf]