| Links | |
| Schedule | |
| Syllabus | |
| Thu 08/23 | Chapter 0 Using Mathematics |
| Tue 08/28 | Chapter 1 Textual Substitution, Equality, and Assignment |
| Thu 08/30 | Chapter 1 Textual Substitution, Equality, and Assignment |
| Tue 09/04 | Chapter 2 Boolean Expressions |
| Thu 09/06 | Chapter 2 Boolean Expressions |
| Tue 09/11 | Chapter 3 Propositional Calculus |
| Thu 09/20 | Chapter 3 Propositional Calculus |
| Tue 09/25 | Chapter 3 Propositional Calculus |
| Thu 09/27 | Chapter 3 Propositional Calculus |
| Tue 10/02 | Chapter 3 Propositional Calculus |
| Thu 10/03 | Chapter 5 Applications of Propositional Calculus |
| Tue 10/09 | Chapter 5 Applications of Propositional Calculus |
| Thu 10/10 | Chapter 8 Quantification |
| Tue 10/23 | Chapter 9 Predicate Calculus |
| Thu 10/24 | Chapter 9 Predicate Calculus |
| Tue 10/30 | Chapter 9 Predicate Calculus |
| Thu 11/01 | Chapter 11 A Theory of Sets |
| Tue 11/06 | Chapter 11 A Theory of Sets |
| Thu 11/15 | Chapter 14 Relations and Functions |
| Tue 11/20 | Chapter 15 A Theory of Integers |
| Tue 11/27 | Chapter 15 A Theory of Integers |
| Thu 11/29 | Chapter 16 Combinatorial Analysis |
| Tue 12/04 | Chapter 16 Combinatorial Analysis |
| Thu 12/06 | Chapter 18 Modern Algebra |
 |
Instructor: Peter Chen |