I can second Lamport's series of video lectures. I worked through them recently and found the teaching and the examples to work through very engaging.