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 (1.14 to 1.19)Course Introduction, Sentential Calculus |
0 Introduction and 1.1-1.3 Syntax & Semantics of SC |

## Week 2 (1.23 to 1.25)Sentential Calculus |
1.4-1.5 SC Derivations and some metatheory |

## Week 3 (1.28 to 2.1)Sentential Calculus and Set Theory |
1.6, 1.7, and 2.1 Sets |

## Week 4 (2.4 to 2.8)Set Theory |
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 |