Mathematics - Logic and Set Theory MATH 2110   Logic and Set Theory
CREDIT HOURS: 3
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.
FORMAT: Lecture
FORMAT COMMENTS: MLC
EXCLUSIONS: MATH 2112.03