- Instructor: Phillip Kirlin
- Office hours: Mon 1-3, Wed 10-11, Tue/Thu 2-3, or by appointment, in Ohlendorf 420.
- Syllabus
- Final exam: Tuesday, December 13, 1pm, FJ-B (not regular classroom)

- Logic reference sheet
- Sets reference sheet
- Set definitions (not supplied on tests)
- Interesting articles

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

8/24 | Introduction, propositions, truth tables | 2.1 | |||

8/26 | Conditional statements | 2.2 | |||

8/29 | Valid and invalid arguments | 2.3 | Homework 1, due at the start of class on 9/2 | ||

8/31 | Valid and invalid arguments, continued | ||||

9/2 | Proof techniques and conditional worlds | Homework 2, due at the start of class on 9/9 | |||

9/5 | Labor Day | ||||

9/7 | Conditional worlds, continued | ||||

9/9 | Practice with conditional worlds | Homework 3, due at the start of class on 9/16 | |||

9/12 | Predicates and quantifiers | 3.1 | |||

9/14 | Predicates and quantifiers II | 3.2 | |||

9/16 | Multiple quantifiers | 3.3 | Homework 4, due at the start of class on 9/23 | ||

9/19 | Rules of inference for quantified statements | 3.4 | |||

9/21 | Proofs with quantified statements | ||||

9/23 | Even and odd | 4.1 | Homework 5, due at the start of class on 9/30 | ||

9/26 | More even and odd | ||||

9/28 | Rational, divides | 4.2, 4.3 | |||

9/30 | Practice (prof out of town) | Homework 6, due at the start of class on 10/7 | |||

10/3 | More divides | ||||

10/5 | Quotient-remainder theorem | 4.4 | |||

10/7 | More QRT | ||||

10/10 | Review for Midterm I | ||||

10/12 | Sequences and series | 5.1 | Homework 7, due at the start of class on 10/21 | ||

10/14 | Induction I | 5.2 | |||

10/17 | Fall break | ||||

10/19 | Induction II | 5.3 | |||

10/21 | Strong Induction I | 5.4 | Homework 8, due at the start of class on 10/28 | ||

10/24 | Strong Induction II | ||||

10/26 | Induction practice | ||||

10/28 | Sets I | 6.1 | Homework 9, due at the start of class on 11/4 | ||

10/31 | Sets II | 6.2 | |||

11/2 | Sets III | 6.3 | |||

11/4 | Sets wrapup | Homework 10, due at the start of class on 11/9 (Wednesday!) HW 10 practice problems and solutions |
|||

11/7 | Functions | 7.1 | |||

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

11/11 | Composition of functions | 7.3 | |||

11/14 | Functions wrapup | ||||

11/16 | Intro to counting and probability | 9.1 | |||

11/18 | Multiplication rule | 9.2 | Homework 11, due at the start of class on 11/28 (Monday!) | ||

11/21 | Addition rule | 9.3 | |||

11/23 | Thanksgiving | ||||

11/25 | Thanksgiving | ||||

11/28 | Pigeonhole principle | 9.4 | |||

11/30 | Combinations | 9.5 | |||

12/2 | More combinations | Homework 12, due at the start of class on 12/7 (Wednesday!) | |||

12/5 | Relations | 8.1, 8.2 | |||

12/7 | More relations | 8.3 |