MATH 1205: Set Theory & Logic

Course Description

This course focuses on the fundamentals of mathematical reasoning, including logic, sets, functions, sequences, and proof strategies. Students will learn the mathematical language, how to create acceptable arguments, and how to use ideas like induction and recursion to solve problems. Applications include algorithms, discrete structures, and computer science settings.

Course Objectives

By the end of the course, students should be able to:

1. Apply the principles of propositional and predicate logic.
2. Work with sets, relations, functions, and graphs using formal notation.
3. Construct and evaluate mathematical proofs using direct, indirect, and inductive methods.
4. Analyze sequences and solve problems using mathematical induction and recursion.
5. Apply logical and set-theoretic methods to computer science and algorithmic problems.

Required Materials

• Primary Texts:
  • Epp, S. S. (2019). Discrete Mathematics with Applications (5th ed.). Cengage. (Chapters 1 & 5 selected)
  • Rosen, K. H. (2019). Discrete Mathematics and Its Applications (8th ed.). McGraw-Hill. (Chapters 1–2 selected)
  • Scientific calculator