gratuitous image

Computer Science 217
Logic in Computer Science
cmps217 23586

Important:
Do Not run lpr at school on a pdf file or on a ps.gz file. Use the ps file.

Students are expected to know the material of CMPS 201 (Algorithms) and CMPS 203 (Programming Languages), OR be prepared to catch up on it as needed. Undergraduate versions of these courses should be sufficient preparation, if you remember the material.

No permission codes will be issued until after a few classes. Attend class. Attendance will be taken in the first several classes.

Fall 2007 Class Handouts
Handouts and other files. Syllabus is ho01.pdf or ho01.ps.


Fall 2007 Class Project
Shared files for 217 projects.


Lecture times:
MWF 12:30-1:40, Engr-2, Room 194.

Instructor:
Prof. Allen Van Gelder (avg @ cse.ucsc.edu)
Phone: (831) 459-4611 (Lab 459-4534)
Office: 355 Engr-2 (Lab 482)
Office Hours: MW 2:00-4:00, plus drop-in or appt.

No Teaching Assistant:

Topics
Basics of Logic, Propositional Satisfiability, High-Performance Satisfiability Solvers,
First-Order Logic, Logic Programming.

Primary Textbook:
Logic for Mathematics and Computer Science,
by Stanley Burris

Other Texts (for reference, no assignments):
Logic in Computer Science,
by Huth and Ryan.

The Art of Prolog,
by Bratko

Computer Algorithms, 3rd Edition,
by Baase and Van Gelder

Introduction to Computer Algorithms, 2nd Edition,
by Cormen, Leiserson, Rivest, and Stein

Papers to Read
TBA

Questions regarding about page content should be directed to
webmaster@cse.ucsc.edu
 Last modified Wednesday, 19-Sep-2007 21:02:58 PDT.