09-Jul-2014: Lecture #1: General introduction
18-Jul-2014: Lecture #2: Axioms of the real number system; irrational numbers