| Homepage | Syllabus | Schedule | Homework |
Note: Dates and topics are approximate and subject to change.
| Date | Topics | Reading |
|---|---|---|
| Week 1 | ||
| 01/17 | Introduction | Syllabus |
| 01/19 |
Propositional Logic HW 1 assigned |
1.1 - 1.3 |
| Week 2 | ||
| 01/22 |
Propositional Logic Fun Problem 1 |
1.1 - 1.3 |
| 01/24 | Predicate Logic | 1.4 - 1.5 |
| 01/26 |
Quiz 1
Predicate Logic HW 1 due Fun Problem 1 due HW 2 assigned |
1.1 - 1.5 |
| Week 3 | ||
| 01/29 |
Rules of Inference Fun Problem 2 |
1.6 |
| 01/31 | Rules of Inference | 1.6 |
| 02/02 |
Quiz 2
HW 3 assigned Fun Problem 2 due HW 2 due |
1.4 - 1.7 |
| Week 4 | ||
| 02/05 |
Rules of Inference Introduction to Proofs Fun Problem 3 |
1.6, 1.7 |
| 02/07 | Proof Methods and Strategy | 1.7, 1.8 |
| 02/09 |
Quiz 3
HW 4 assigned Fun Problem 3 due HW 3 due |
|
| Week 5 | ||
| 02/12 |
Proof Methods and Strategy Fun Problem 4 |
1.8 |
| 02/14 | Sets and Set Operations | 2.1, 2.2 |
| 02/16 |
Quiz 4
HW 5 assigned Fun Problem 4 due HW 4 due |
|
| Week 6 | ||
| 02/19 |
Functions Fun Problem 5 |
2.3 |
| 02/21 | Algorithms | 3.1 |
| 02/23 |
Quiz 5
HW 6 assigned Fun Problem 5 due HW 5 due |
|
| Week 7 | ||
| 02/26 |
Algorithms Fun Problem 6 |
3.1 |
| 02/28 |
Exam Review Midsemester PICA Course Evaluations |
|
| 03/02 |
Exam 1-1
Fun Problem 6 due HW 6 due |
|
| Week 8 | ||
| 03/05 |
Exam 1-2 Fun Problem 7 HW 7 assigned |
|
| 03/07 | The Growth of Functions | 3.2 |
| 03/09 |
The Growth of Functions Quiz 6 Fun Problem 7 due HW 7 due |
3.2 |
| Spring Break | ||
| 03/12 | No Class | |
| 03/14 | No Class | |
| 03/16 | No Class | |
| Week 9 | ||
| 03/19 |
The Growth of Functions Quiz 7 open on eCampus Fun Problem 8 HW 8 assigned |
3.2 |
| 03/21 | Complexity of Algorithms | 3.3 |
| 03/23 |
Complexity of Algorithms Quiz 7 due HW 9 assigned Fun Problem 8 due |
3.3 |
| Week 10 | ||
| 03/26 |
Sequences and Sums HW 8 due Fun Problem 9 |
2.4 |
| 03/28 | Sequences and Sums | 2.4 |
| 03/30 |
No Class Quiz 8 due HW 9 due Fun Problem 9 due |
|
| Week 11 | ||
| 04/02 | Mathematical Induction | 5.1 |
| 04/04 | Mathematical Induction | 5.1 |
| 04/06 | Induction Practice | 5.1 - 5.2 |
| Week 12 | ||
| 04/09 | Strong Induction | 5.2 |
| 04/11 | Recursive Definitions | 5.3 |
| 04/13 | Induction Practice | 5.1 - 5.3 |
| Week 13 | ||
| 04/16 | Structural Induction | 5.3 |
| 04/17 | (Tuesday) Last day to Q-drop | |
| 04/18 | Exam Review | |
| 04/20 | Exam 2-1 | |
| Week 14 | ||
| 04/23 | Exam 2-2 | |
| 04/25 | Recursive Algorithms | 5.4 |
| 04/27 | Counting | 6.1 - 6.5 |
| Week 15 | ||
| 04/30 | Modeling Computation | 13.1 - 13.5 |
| 05/01 | Modeling Computation | 13.1 - 13.5 |
| 05/02 | Reading Day: No Class | The Final Countdown |
| Week 16 | ||
| 05/07 |
Final Exam: [501] 10:30am - 12:30pm [502] 3:30pm - 5:30pm |
1,2,3,5,6,13 |