Mathematical Methods for Computer Science