Course Content |
Counting. Propositions, rules of inference, predicates, quantifiers, sets. Proof methods, proof by contradiction, induction. Relations, functions, pigeonhole principle. Graphs, trees. Algebraic structures, partially-ordered sets, lattices. |