Set theory
Relation and function
Recursion and Induction
Introduction to Complexity of an Algorithm
Graph and tree
Finite-state Automata
Combinatorics