1 Probability and Computing