Mathematics for computer science