CSE 541 - Announcements
- The final exam is on Thursday, May 10, 2012, 2:15-4:45pm, in Earth & Space 069.
It will cover predicate logic: semantics, proof theory (i.e., natural deduction),
compactness, and refutational proofs (including prenex forms and Skolemization).
(May 4)
- Reading for week 13: Section 2.6.
(April 20)
- Reading for week 12: Sections 2.3 and 2.5.
(April 12)
- Reading for week 11: Section 2.4.
(April 12)
- The second exam is on Thursday, April 12 (in class).
It will cover temporal logics and model checking (Chapter 3)
and binary decision diagrams (Chapter 6).
(April 3)
- Reading for week 10: Sections 2.1 and 2.2.
(March 22)
- Reading for week 9: Sections 6.1 and 6.2.
(March 18)
- Reading for week 8: Section 3.7.
(March 11)
- Reading for week 7: Sections 3.4 and 3.5.
(March 1)
- The first midterm exam is on Thursday, March 1 (in class).
It will cover natural deduction (for propositional logic) and modal logics.
(February 27)
- Reading for week 6: Sections 3.3.1.
(February 27)
- Reading for week 5: Sections 3.1 and 3.2.
(February 16)
- Reading for week 4: Section 5.5.
(February 10)
- Reading for week 3: Section 5.3.
(February 3)
- Reading for week 2: Sections 5.1 and 5.2.
(January 27)
- Reading for week 1: Sections 1.1 and 1.2.
(January 23)
- Essential information about the course will be announced in class
and posted here. Please check regularly during the semester.
(January 23)