gratuitous image

Computer Science 217
Logic in Computer Science
cmps217 97796

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 2002 Class Handouts
Handouts and other files.


Fall 2002 Class Project
Shared files for 217 projects.


Lecture times:
MWF 3:30-4:40, B.E. Bldg., Room 169.

Instructor:
Prof. Allen Van Gelder (avg @ cse.ucsc.edu)
Phone: (831) 459-4611 (Lab 459-4534)
Office: 235 Jack Baskin Engineering (Lab 252)
Office Hours: , plus drop-in or appt.

No Teaching Assistant:

Topics
Basics of Logic, Logic Programming, Propositional Satisfiability,
Verification of Hardware and Software Designs

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 Sunday, 25-Aug-2002 21:40:51 PDT.