This page last updated on Thu June 14, 2007 10:17 AM

June 14, 2007

There is a web site associated with the text, which has tutorials, some problem solutions and other hints that may help in the course:


March 21, 2007

This web site is under construction. A syllabus is still being developed.

This course is being taught jointly as CS 696-01 and as CS 796-02. There will be additional course requirements for the 700-level students. There will be two instructors, who will share lectures and grading responsibilities.

The course will cover the basic contents of a logic textbook:

Author: Huth, Michael
Title: Logic in Computer Science: Modelling and Reasoning about Systems
Publisher: Cambridge University Press
Edition: 2
ISBN: 9780521543101

We'll cover basic logic concepts, logical inference, and model checking. The course is about formal modeling of computer systems and how they can be used to analyze and prove properties about the system. Should be a fun course!

Prerequisites are graduate standing, and some knowledge of UML, conceptual graphs, or any other software modeling technique. Courses such as CS 551, CS 650 and CS 652 would be helpful, but not strictly required.