Topic
|
Readings | Assignments | |
F, Sep 1 | Introduction to the Problem | Introduction to PL | |
T, Sep 5 | Propositional Logic Basics | Class Slides | PS1, Part 1 |
F, Sep 8 | Propostional Logic Deduction | ||
T, Sep 12 | Sequent Calculus & First Order Logic Syntax | Sequent Calculus | Due: PS1, Part 1 |
F, Sep 15 | First Order Logic Natural Deduction | FOL ND1,FOL ND2 | PS1, Part 2 |
T, Sep 19 | First Order Logic Deduction | ||
F, Sep 22 | Modal Logic | Modal Logic | Due: PS1, Part 2 |
T, Sep 26 | Modal Logic | PS2, Part 1 | |
F, Sep 29 | Temporal Logic | ||
T, Oct 3 | No class - Brandeis Monday | ||
F, Oct 6 | Temporal Logic | ||
T, Oct 10 | Temporal Logic | PS2, Part 2 | |
F, Oct 13 | Temporal Logic | ||
T, Oct 17 | Compositionality | Due: PS2.2 | |
F, Oct 20 | Compositionality | ||
T, Oct 24 | Compositionality | ||
F, Oct 27 | Linear Logic, Day 1 | Introduction to Linear Logic | |
T, Oct 31 | Linear Logic, Day 2 | PS3 (compositionality) | |
F, Nov 3 | Markov Logic Networks | Markov Logic Networks(sections 1-6,9) | |
T, Nov 7 | Dynamic Propositional Logic | DPL(Chapter 3) | |
F, Nov 10 | Dynamic Logic | PDL Class Notes | |
T, Nov 14 | Non-Monotonic Logic | Due: PS3 | |
F, Nov 17 | Non-Monotonic Logic | PS4 | |
T, Nov 21 | Soundness and Completeness | ||
F, Nov 24 | No Class - Thanksgiving Break | ||
T, Nov 28 | Types in GL | Due: PS4 | |
F, Dec 1 | Types in GL | ||
T, Dec 5 | QUIZ |