Mathematics for Computer Scientists