1.      Logic

      1.1  Statements.

      1.2  Truth Table.

      1.3  Negation

      2.      Sets and Functions

      1.1  Sets and set operations

      1.2  Functions, Images and Preimages.

      1.3  Injective functions and Surjective functions.

      3.      Cardinality

      1.1  Finite sets, Inclusion and Exclusion Principle.

      1.2  Countable sets and Q.

      1.3  Uncountable sets and R.

      1.4  Continuum Hypothesis

 l          補充（練習題）

      1.      Mathematical Induction（數學歸納法）.

      2.      Proof by Contradiction（反證法）.