Propositional & predicate logic, valid arguments, methods of proof. Elementary set theory. Elementary graph theory. Relations & functions. Induction & recursive definitions. Counting methods (pigeonhole, inclusion/exclusion). Introductory probability. Binary operations, groups, fields. Applications of finite fields. Elementary number theory.