- Instructor: Phillip Kirlin
- Office hours: Mon/Wed 9:45-11:15, Tue 2-3, Thu 3-4, or by appointment, in Ohlendorf 420.
- Syllabus
- Final exam: Saturday, December 13, 1-3:30pm, FJ-A (Frazier-Jelke Lecture Hall A)

- Formal logic reference sheet
- Sets reference sheet
- Interesting articles

Date | Topic | Required Reading | Notes | Assignments Out | Slides |

9/15 | Propositional logic proofs | chap 2 | |||

9/17 | Propositional logic proofs | chap 2 | |||

9/19 | Predicate logic | 3.1, 3.2 | Self-graded homework 2, due at the start of class on 9/22 (solutions on Moodle). Problem set 2, due at the start of class on 9/26. |
||

9/22 | Multiple quantifiers | 3.3 | |||

9/24 | Rules of inference with quantifiers | 3.4 | |||

9/26 | Formal proofs with quantifiers | Exam 1 practice problems, not to turn in (solutions on Moodle). Problem set 3, due at the start of class on 10/6. |
|||

9/29 | Exam 1 |
||||

10/1 | Writing proofs in words | 4.1 | |||

10/3 | More proofs with words | 4.2 | |||

10/6 | Divisibility | 4.3 | Self-graded homework 4, due at the start of class on 10/10 (solutions on Moodle). Problem set 4, due at the start of class on 10/13. |
||

10/8 | Division into cases and the quotient-remainder theorem | 4.4 | |||

10/10 | Contradiction and contraposition | 4.5 | |||

10/13 | Sequences and summations | 5.1 | Self-graded homework 5, due at the start of class on 10/17 (solutions on Moodle). Problem set 5, due at the start of class on 10/22. |
||

10/15 | Induction I | 5.2 | |||

10/17 | Induction II | 5.3 | |||

10/20 | (Fall break) |
||||

10/22 | Strong induction I | 5.4 | |||

10/24 | Strong induction II | 5.5 | |||

10/27 | Sets | 6.1 | |||

10/29 | Review | ||||

10/31 | Exam 2 |
||||

11/3 | Sets II | 6.2 | Self-graded homework 6, due at the start of class on 11/7 (solutions on Moodle). Problem set 6, due at the start of class on 11/10. |
||

11/5 | Sets III | 6.3 | |||

11/7 | Functions | 7.1 | |||

11/10 | One-to-one and onto | 7.2 | |||

11/12 | Function composition | 7.3 | Self-graded homework 7, due at the start of class on 11/17 (solutions on Moodle). Problem set 7, due at the start of class on 11/19. |
||

11/14 | Cardinality and countability | 7.4 | |||

11/17 | Counting and probability | 9.1 | |||

11/19 | Multiplication rule | 9.2 | |||

11/21 | Addition rule | 9.3 | Self-graded homework 8, due at the start of class on 11/24 (solutions on Moodle). Problem set 8, due at the start of class on 12/1. |
||

11/24 | Pigeonhole principle | 9.4 | |||

11/26 | (Thanksgiving) | ||||

11/28 | (Thanksgiving) | ||||

12/1 | Combinations | 9.5 | |||

12/3 | Exam 3 | Self-graded homework 9 and problem set 9; hw due at the start of class on 12/8 (solutions on Moodle), problem set due at the start of class on 12/10. |
|||

12/5 | Relations | 8.1 | |||

12/8 | Reflexive, symmetric, and transitive relations | 8.2 | |||

12/10 | Equivalence relations | 8.3 | Practice relation problems (solutions on Moodle) |