probabilistic systems lecture notes 6416373