...of all Study Areas. Advanced program search. Advanced course search ... Propositional & predicate logic, valid arguments. Elementary set theory. Elementary graph theory. Relations & functions, categories. Induction & recursive definitions. Counting methods (pigeonhole, inclusion/exclusion)....