Mathematical Analysis for Computer Science