General Information | Syllabus | HW Assignments |

On the other hand, the weekly syllabus contained in the Homework Assignments page will always be accurate.

Lectures | Readings | Brief Description |
---|---|---|

9/22 | Begin Section 1.1 | The Language of Sentential Logic |

9/24 | Begin Section 1.2 | Truth Assignments |

9/27 | Begin Section 1.3 | A Parsing Algorithm |

9/29 | Begin Section 1.5 | Sentential Connectives |

9/30 (x-hour) | Begin Section 1.7 | Compactness and Effectiveness |

10/1 | Continue Section 1.7 | |

10/4 | Begin Section 2.1 | First-Order Languages |

10/6 | Exam in Class | |

10/8 | No class today | |

10/11 | Continue Section 2.1 | |

10/13 | Begin Section 2.2 | Truth and Models |

10/15 | Continue Section 2.2 | |

10/18 | Continue Section 2.2 | |

10/20 | Begin Section 2.4 | A Deductive Calculus |

10/22 | Continue Section 2.4 | |

10/25 | Continue Section 2.4 | |

10/27 | Exam in Class | |

10/29 | Review | |

11/1 | Review | |

11/3 | Makeup Exam in Class | |

11/5 | Continue Section 2.4 | |

11/8 | Begin Section 2.5 | Soundness and Completeness Theorems |

11/10 | Continue Section 2.5 | |

11/12 | Continue Section 2.5 | |

11/15 | Begin Section 2.6 | Nodels of Theories |

11/17 | Exam in Class | |

11/19 | Continue Section 2.6 | |

11/22 | Continue Section 2.6 | |

11/24 | Thanksgiving Break | |

11/26 | Thanksgiving Break | |

11/29 | Applications of Compactness | |

11/1 | Incompleteness | |

12/5 | In-Class Final Exam | 11:30 AM, 103 Bradley Hall |

12/5 | Take-Home Final Exam | Due 11:30 AM, 103 Bradley Hall |

Marcia J. Groszek

Last updated May 31, 2008 12:24:23 EDT