Probability in computer science Theory of computing mathematics