gratuitous image

Computer Science 217
Logic in Computer Science
CMPS 217 40880

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.

Winter 2014 Class Handouts
Handouts and other files. Syllabus is ho01.pdf or
File names with different extensions are the same content.

Winter 2014 Class Project
Shared files for 217 projects.
This class will use the above mailing list (actually a Google group) for a discussion group and announcements.
There are several issues to be aware of about Gmail and Google groups.
More details later.
How to access (a magic URL):!forum/cmps217-discuss
You will need to login with your School of Engineering login and password.

2013-14calendar_two_pages.pdf (registrar page)
Registrar web page.
School of Engr course info.
Schedule of Classes.

SOE Class Search.
Simplified access to Registrar web page.
Sorry, this broke when they redid the School of Engineering web page. You'll just have to wade through the registrar's interface as best you can.

Lecture times:
MWF 12:30-2:00, J. Baskin Engr., Room 169.

Prof. Allen Van Gelder (avg @
Phone: (831) 459-4611
Office: 355 Engr-2 (Lab 386)
Office Hours: Mon., Wed. 2:00-3:30, plus drop-in or appt.

No Teaching Assistant:

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
Students in another class reported favorable experience with a web site called Abe's books, for low prices and choices.

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, n-th Edition,
by Cormen, Leiserson, Rivest, and Stein

Papers to Read

Questions regarding about page content should be directed to
Last modified Wednesday, 19-Feb-2014 12:17:09 PST.