mathematics for computer science pdf mit