home
CS 1800: Discrete Math
Schedule for Summer 2026
This schedule is subject to change until the semester begins.
- Part 1
May 6-21
-
Propositions, if-then statements, and straightforward proofs
(Resources: section 2)
- Sets
(Resources: section 3)
- Non-constructive existence proofs
(Resources: 4C)
- Homework 1 due on Monday, May 11
- Proof by contrapositive, by contradiction, and by smallest counterexample
(Resources: 4A)
- Homework 2 due on Wednesday, May 13
- Pigeonhole principle
(Resources: 4B)
- Logic
(Resources: section 5)
- Homework 3 due on Friday, May 15
- Proof by induction
(Resources: 4D)
- Homework 4 due on Sunday, May 17
- Exam 1: Thursday, May 21, in the evening (probably around 6-8pm)
- Part 2
May 22 - June 4
- Part 3
June 5-18