Transfers ToUC and CSUCal-GETC Area 2 · IGETC Area 2A · CSU GE Area B4DescriptionThis course introduces sets, relations, functions and logic along with formal methods of proof such as contradiction, contrapositive, induction, diagonalization, recursion, and the Pigeonhole principle. These ideas and methods are developed by looking at problems from combinations and counting, elementary number theory, and graph theory. Topics from map coloring, complexity, and cryptography are also discussed.Usually HeldTue Thu 1:45pm–4:15pm 