This page last updated on Thu June 14, 2007 10:17 AMJune 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: http://www.cs.bham.ac.uk/research/projects/lics/
March 21, 2007 This web site is under construction. A syllabus is still being developed. This course is being taught jointly as CS 69601 and as CS 79602. There will be additional course requirements for the 700level 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 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.
