Discusses set theory, logic, combinatorics, relations/mappings/functions, algebraic structures, graphs and trees, automata theory, formal languages, computability, and some advanced application areas.