Midterm 1 will be on Fri., Oct. 23, 2026, in class. It covers Sections 1.1-1.6, 2.1, 2.2, 2.4 and 2.5
from the book, and first four homework assignments (homework 4, on induction, will be posted in the afternoon of Oct. 16).
Topics: propositions (esp. determining
whether logical expressions are true or false), quantifiers and proofs involving them, proofs (direct,
backward, contraposition, contradiction, biconditional statements), operations involving sets, mathematical
induction. Section 2.3 (families of sets) will not be on this midterm, although you will have
to know this material in the future.
You will not be able to ask interpretation questions during exams; proper interpretation of problems is part of the exam.
To prepare, start by understanding all examples covered in the lectures and in the discussions.
For exam practice, solve the sample Midterm 1. The actual midterm will have problems of the same type in
the same order (but of course the problems may not be solved in exactly the same way). Homework problems are also
good for practice. For additional practice
you may choose some problems of similar type from the starred exercises in the book, and you can even try to devise some
problems on your own.
Solutions to Midterm 1.