This book provides a largely self contained introduction to the mathematical structures underlying models of systems whose state changes with time.