MATH 13 (4.0 units) – Session I
Introduction to formal definition and rigorous proof writing in mathematics. Topics include basic logic, set theory, equivalence relations, and various proof techniques such as direct, induction, contradiction, contrapositive, and exhaustion. Prerequisite: MATH 2A or MATH 5A or MATH 7A or ICS 6D