May 3 Lecture notes, handouts and past exam samples have been posted.

April 20 Lecture notes and homework 6 have been posted.

April 11 Instructor office hours tomorrow is 9:30am-11:30am.

April 9 Instructor office hours changed to Thu 11:30am-1:30pm (or by appointment) for the rest of the semester.

April 5 Lecture notes for this week, reading assignment and Homework #5 have been posted.

March 29 Lecture notes for this week has been posted.

March 23 Lecture notes for this week and Homework #4 have been posted.

March 2 Resources page has been updated with sample mid-term exams from previous years.

February 23 Lecture Notes for this week and HW#3 have been posted.

February 15 Lecture Notes for this week has been posted.
Instructor office hour this week will start at 6:30pm (late by 30 minutes).

February 9 Lecture Notes, reading assignment, Homework #2 and NuSMV link have been posted.

February 1 Lecture Notes for this week and a paper for reading have been posted.

January 25 Lecture Notes for this week and Homework #1 have been posted.

January 18 Syllabus, Schedule, Readings and Lecture Notes for this week have been posted.

January 17 Welcome to Spring 2012 CSci 5802 website!