Basic ergodic theory (2013)