Probabilistic Programming
an online short course by Eric Hehner
This short course on probabilistic programming presents an entirely new way of looking at specifications and programs as probability distributions. It includes a long series of problems and solutions.
There are course notes.
There is a 47 minute lecture for you to watch, in parts if you wish, at your convenience.
Here is the
lecture transcript.