Logic and Set Theory

3 credits · Undergraduate

This course is an introduction to the foundations of modern mathematics, including basic set theory, proof techniques, and programming. Topics include: set- theoretic encoding of mathematical entities: tuples, relations, numbers, sequences, families; set comprehension; cardinality; sets and classes; proof techniques; existential and universal quantifiers; induction; proof by contradiction; programming as a tool for problem solving. EXCLUSIONS: MATH 2112.03 FORMATS: Lecture