Suitable for students preparing for a career in actuarial science, this work includes a chapter on Markov chain theory with applications to mortality and multiple decrement mortality table modeling, a presentation of model checking diagnostics that covers diagnostics for mortality tables, and a discussion on option pricing with examples.