Ebook: Probabilistic Methods for Bioinformatics: with an Introduction to Bayesian Networks

This book really helps in bridging formalism to understanding by providing lots of examples and walking through the examples. It's a pleasure to read.
One can skim what seems basic. But if something is not clear, one can work through a few examples. It's strength is pedagogical.