Analysis for Computer Scientists