This text is a rigorous introduction to ergodic theory, developing the machinery of conditional measures and expectations, mixing, and recurrence. It describes some recent applications to number theory, and goes beyond the standard texts in this topic.