Discrete Mathematics

Sets, sequences, integers. Basic propositional and predicate logic. Methods of proof
(including mathematical induction). Combinatorics, functions, relations and digraphs.
Matrices and boolean matrices. Graphs and trees.