Spring 2018
Course Goals
Course Schedule
Assignments
Schedule
Here is a course timetable showing exactly where we are in class. I will attempt to update it at least weekly, to give you an idea of the reading you need to do to prepare for class.| Week beginning | Topics | Notes |
| 01/22 | Welcome Beginning Logic; Statements and Connectives; Truth Tables | Section 1.1.1 |
| 01/29 | Conditionals; Biconditionals Quantifiers | Sections 1.1.2-4 |
| 02/05 | Useful Denials Proofs (Direct Proofs) Proof by Cases | Section 1.2, parts of 1.1.1-4 and 2.1.1-2 |
| 02/12 | More Proofs (working backwards, biconditionals, uniqueness) Indirect Proofs (Contradiction and contrapositive) | Sections 2.1.3-5, 2.2.1-2 |
| 02/19 | Two Important Theorems Mixed Quantifiers Mathematical Induction | Sections 2.3-4, 3.1 |
| 02/26 | Strong Induction Introduction to Sets, Subsets | Sections 3.2, 4.1 |
| 03/05 | Operations on sets Midterm I (03/08) | Part of Section 4.2 |
| 03/12 | Spring Break | No classes this week |
| 03/19 | Cartesian Products and Power Sets Arbitrary Unions and Intersections | Remainder of Section 4.2, 4.3 |