CS 696/796 - Logic Models in Computer Science
Summer 2007
Syllabus and Course Summary

last modified May 30, 2007

Instructor: Dr. Harry S. Delugach
Email:
WWW: http://www.cs.uah.edu/~delugach
Phone: (256) 824-6614

Instructor: Dr. Daniel Rochowiak
Email: drochowi@cs.uah.edu
Phone: (256) 824-6214 or -6844

Class Meets: Mon. Wed. 12:30-2:30 P.M.
Location: Technology Hall TH N-308
Office Hrs: Mon. Wed. 2:30 - 3:30 (Delugach)
Office Location: TH N-351 (Delugach)
Text:
Logic in Computer Science: modelling and reasoning about systems, by Michael Huth and Mark Ryan; 427 pages (2nd edition). Cambridge University Press, 2004.

Class Web Page: http://www.cs.uah.edu/~delugach/Courses/CS696-Logic
Grading
Midterm Exam
25 %
Project
30 %
Assignments
45 %

    The following grading scale will be used (final averages are rounded to the nearest whole number):

A+ 96; A 92; A- 90; B+ 88; B 82; B- 80; C+ 78; C 72; C- 70; D 65
The plus/minus grading system will be used in this course and such grades will appear on your transcript. In accordance with University policy, they will not affect your grade point average (GPA). If you feel there is an error in the grading of your work, you must bring it to the instructor's attention within one week after the assignment was returned.

General Policies

Please read the general guidelines and policies that apply to all my courses. They are a part of this syllabus.

Course Objectives

  • To establish a firm foundation in the understanding of logic as a reasoning tool, especially with respect to its strengths and limitations.
  • To understand and compare the expressive power and computational issues of various logic systems, including temporal and modal logic
  • To understand and apply logic principles in modeling computer systems
  • To use modern logic techniques for verifying and analyzing computer system descriptions.

Assignments

Still under development.

Course Schedule

Wed May 30
Preliminaries
Mon Jun 04
First order logic
1.1, 1.2
Wed Jun 06
 
1.3, 1.4
Mon Jun 11
2.1, 2.2, 2.3
Wed Jun 13
2.4, 2.6
Mon Jun 18
Modal logic
Ch. 5
Wed Jun 20
Logic and software
2.7, 3.1, 3.2, 3.3
Mon Jun 25
3.4, 3.5, 3.6
Wed Jun 27
Mon July 04
Wed Jul 04
No class
Mon Jul 09
Wed Jul 11
Mon Jul 16
Program verification
4.1, 4.2
Wed Jul 18
4.3, 4.4
Mon Jul 23
Project guidance/reports
Wed Jul 25
Project guidance/reports
Mon Jul 30
Project due
Wed Aug 02