Introduction to Probabilistic Programming Course