Mathematics for Computer Science