Propositional Logic, Propositional Equivalence, Predicates and Quantifiers, Nested Quantifiers, Rules of Inference; Methods of Proof, Divisibility and the Fundamental Theorem of Arithmetic; Sets, Set Operations, Cardinality of Sets; Functions; Recurrence Relations, Solving Recurrence Relations, Equivalence Relations and Congruences, Sequences and Summations; Mathematical Induction, Strong Induction, Recursive Definitions and Structural Induction, WellOrdering Principle; Basics of Counting, Pigeonhole Principle, Permutations and Combinations, Binomial Coefficients. Note: Not to be taken for credit with ICS 253

Pre-requisites: MATH102