CSE 541 - Announcements
- The final exam is on Tuesday, May 19th, 8-10:30am, in
Old Chem 138. It will cover the following topics:
model checking, predicate logic, natural deduction,
skolemization, unification, resolution, and compactness;
see the
sample problems
from previous exams.
(May 13)
- Reading list (week 14): Sections 2.5 and 2.6.
(May 4)
- Homework assignment [10] has been posted; see below.
The due date is Thursday, May 7th (in class).
(May 4)
- Homework assignment [9] has been posted; see below.
The due date is Thursday, April 23rd (in class).
(April 17)
- Homework assignment [8] has been posted; see below.
The due date is Thursday, April 16th (in class).
(April 8)
- Reading list (week 10): Section 1.5.
(March 27)
- Homework assignment [7] has been posted; see below.
The due date is Thursday, April 2nd (in class).
(March 27)
- Reading list (week 9): Sections 1.2 and 2.3.
(March 20)
- Homework assignment [6] has been posted; see below.
The due date is Thursday, March 26th (in class).
(March 20)
- Reading list (week 8): Sections 2.1, 2.2 and 2.4.
(March 13)
- Homework assignment [5] has been posted; see below.
The due date is Thursday, March 19th (in class).
(March 13)
- The midterm exam, given on March 12th,
will cover Sections 5.1-5.3 and 5.5 (Modal logic)
and Sections 3.2 and 3.4-3.5 (Temporal logic)
from the textbook.
(March 5)
- Sample solutions for selected exercises are
now available; see under "Assignments."
(March 5)
- Reading list (week 6): Sections 3.5 and 3.6.
(March 3)
- Homework assignment [4] has been posted; see below.
The due date is Thursday, March 5th (in class).
(February 27)
- Reading list (week 5): Section 3.4,
Branching-time logic.
(February 20)
- Homework assignment [3] has been posted; see below.
The due date is Thursday, February 26th (in class).
(February 20)
- Reading list (week 4): Sections 3.1 and 3.2,
Verification and linear-time temporal logic.
(February 13)
- Homework assignment [2] has been posted; see below.
The due date is Thursday, February 19th (in class).
(February 13)
- Reading list (week 3): Section 5.5, Multi-agent systems.
(February 6)
- Homework assignment [1] has been posted; see below.
The due date is Thursday, February 12th (In class).
(February 6)
- Reading list (week 2): Sections 5.3, Logic engineering.
(February 2)
- Reading list (week 1): Sections 5.1 and 5.2, Basic modal logic.
(January 26)
- Essential information about the course will be announced in class
and posted here. Please check regularly during the semester.
(January 26)