Basic topics covered include:
      - Logic and Proofs
      - Basics of sets, functions, sequences and summation
      - Algorithms and complexity, Matrices
      - Induction and Recursion
      - Basics of combinatorics, counting techniques

If time permits topics in probability theory and graph theory will be
covered.