Introduction to Probability for computer scientists