|
|
Description:
The first half of this course will be lectures on logic, mostly
following the textbook. The second half will be student presentations of
research papers that use logical methods in information security.
Textbook
and Other Materials:
-
Learning Prolog Now by Patrick Blackburn, Johan Bos, and
Kristina Striegnitz
- Logic in Computer Science:
Modelling and Reasoning about Systems, 2nd Edition.
Michael Huth and Mark Ryan.
- Papers
Lectures:
- Time: MWF 10:30 to 11:20
- Location: LWSN B134
Instructor:
Syllabus
Handouts
Course Mailing List:
- CS590N_Spring2008 at cs.purdue.edu
Course Work:
- Regular attendance
- A few homework assignments
- A mid-term exam
- Presentation for 2 to 3 lectures
- One course project
|