A study of elementary combinatorics, graph theory, Boolean algebra, tree building, mathematical induction, networks, and automata.