Recent SemestersSpring 2027, Fall 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 B4 · UCTCA Area 2A · UCTCA Area UC-M · UCTCA Area UCTCA · UCTCA Area 2DescriptionDevelops 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, Mon Wed Fri 11:15am–12:20pm 