Lecture Notes - CS 696/796 - Logic Models in Computer Science

These notes are solely for students enrolled in CS 696/796, Summer 2007. They are not a substitute for attending class! They are provided as a convenience to the student: the instructor is free to skip material and/or discuss other topics.

You are reminded that posted class notes are for convenience only -- We make no promise that they are complete, consistent, organized or even correct (though we try to correct mistakes in class, the notes may not always reflect them.) You should consider them informal and non-binding with respect to problem sets, exams, etc.

Notes are in Acrobat Reader format (PDF). See Adobe for free Adobe Acrobat Reader software.