We will be following our main text closely throughout the term. However, our pace will be determined in part by my evaluations of student progress (through homeworks, class discussions, and such). Thus, the schedule below should be thought of as tentative, subject to many many changes throughout the semester. Make sure you visit this page regularly in order to keep track of the reading and homework assignments. Below, in the right column, I list your assigned reading for the week, then supplementary material, then any homework, review sessions, exams, and the like.
Week 1 (8.22)Course Introduction, Binary Beliefs and Rational Norms |
Introduction & 1.1 |
Week 2 (8.27 & 8.29)From binary to graded beliefs & Logic for Probability Theory |
1.2-1.5 & 2.1 |
Week 3 (9.3 & 9.5)Logic for Probability Theory & Probability Distributions |
2.2-2.5 |
Week 4 (9.10 & 9.12)TBAy |
2.2 Relations |
Week 5 (2.11 to 2.15)Set Theory |
2.3 Functions |
Week 6 (2.18 to 2.22)Set Theory |
2.4 Functions & Relational Systems |
Week 7 (2.25 to 3.1)Recursion and Mathematical Induction |
3.1 The Natural Number System |
Week 8 (3.4 to 3.8)Recursion and Mathematical Induction |
3.2 Basic Arithmetic |
Week 9 (3.18 to 3.22)Recursion and Mathematical Induction |
3.3 Recursion and Induction |
Week 10 (3.25 to 3.29)Recursion and Mathematical Induction |
3.3 Recursion and Induction |
Week 11 (4.1 to 4.5)Predicate Calculus |
4.1 Syntax of PC |
Week 12 (4.8 to 4.12)Predicate Calculus |
4.2 Semantics of PC |
Week 13 (4.15 to 4.19)Predicate Calculus |
4.3-4.4 PC Derivations |
Week 14 (4.22 to 4.26)Predicate Calculus |
4.5 Identity and Function Symbols |
Week 15 (4.29 to 5.3)Predicate Calculus |
Review |
Final Exam (5.8, Wednesday 1-3pm)FINALS WEEK |
Final exam |