Recent SemestersFall 2026, Spring 2026, Fall 2025Class Size30 studentsCredits3PrerequisitePrerequisites: MATH 231 or MATH 229 and MATH 242 or High School equivalent Transfers ToUC and CSUCal-GETC Area 2 · IGETC Area 2A · CSU GE Area B4DescriptionDevelops and analyzes structures of computer science: numbers, sets, relations, functions and trees. This course includes propositional and predicate logic, applications of predicate logic: preconditions, postconditions, invariants, guards; inductive proofs; applications to verification of algorithms; introduction to complexity of algorithms.Usually HeldTue Thu 12:30pm–1:50pm, Mon Wed 1:30pm–2:55pm