MATH 2110
Logic and Set Theory
Lec 01 selected
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.
Sections
Lecture
Lec 01
Tue, Thu 10:05-11:25
From the syllabus
From the Fall 2023 syllabus by Peter Selinger. Fall 2026 is taught by Ross J., so details may differ. Open the PDF
Grading
5%Participation
20%HomeworkIncludes programming projects
15%Midterm 1September 29
15%Midterm 2November 3
45%Final examScheduled by the Registrar's Office
Textbook
- Book of Proof, 3rd edition, Richard Hammack (free)
Course rules
- Calculators and notes
- Calculators, textbooks, and notes are not permitted on midterms or the final exam.
- Late homework
- Late homework is not accepted without the instructor's prior permission.
- Missed midterm
- Without prior permission or an officially valid excuse, a missed midterm receives zero; with an approved excuse, its weight shifts to the final.
- Missed final
- There is no make-up final except for an officially valid excuse.
- Absence forms
- Up to two Student Declaration of Absence forms may be used for missed homework, but not exams.
- Homework
- Homework must be individual and written in your own words; internet help and artificial intelligence are not permitted.
- Participation
- Participation earns points through class, office-hour, or Brightspace forum questions or answers, up to five points.
Have a more recent syllabus for MATH 2110? Sign in to share it