22c:188 (CS:4350)
Logic in Computer Science
The University of Iowa, Spring 2015
Course Syllabus


Every Monday and Wednesday 3.30pm-4.45pm in 218 MLH


Dr. Christoph Sticksel

Office hours in 201G MLH

  • Monday 5-6.30pm
  • Wednesday 2pm-3.30pm
  • or by appointment

Teaching Assistant

Md Hasib Bin Shakur

Office hours in 101N MLH

  • Tuesday 5pm-6.30pm, and
  • Thurdsday 5pm-6.30pm.


22c:019 (CS:1310) or equivalent, or consent of instructor.

Web Site

Most of the information about the class, including handouts and assignments, will be available on the class web site http://www.divms.uiowa.edu/~csticksel/teaching/188 or on ICON.

Students are expected to check the web site's main page on a regular basis (at least every other day) for announcements regarding the course.

Course Purpose

The main objective of this course is to expose undergraduate and beginning graduate students to symbolic logic. Symbolic logic is a powerful tool for modeling and reasoning formally about computation and computational devices. It provides a unifying foundational framework for several areas of computer science such as databases, artificial intelligence, hardware design, programming languages, software engineering, and concurrent systems.

This course introduces several logics (propositional, predicate, temporal, ...), differing in their expressive power and focus, and discusses some of their uses in computer science. Main themes are how to represent knowledge in these logics, what represents a valid argument, and how to prove or disprove, possibly automatically, the validity of a logical statement.

Students should be prepared to put in considerable time and effort into reading to become familiar with the course's topics, and into homeworks and exercises to gain experience with the techniques seen in class.

Textbook and Readings

Michael Huth and Mark Ryan. Logic in Computer Science. Cambridge University Press, 2004 (2nd edition). Required.

Additional reading material and handouts will be available from the course web site.

Homework Assignments

Several small assignments will be given, covering the material from the textbook and the lectures, and to be done individually or in pairs as specified in each assignment. All assignments will be collected and graded.

Homework submission and grade posting will use the ICON system.


There will be two midterm exams, during class time in the course's classroom, and one final exam in the final examination week.


The weighting of items in grade determination will be the following:

Participation 5%
Homework assignments 25%
Midterm I 20%
Midterm II 20%
Final Exam 30%

The following cutoffs will be used to determine letter grades. In the ranges below, x stands for your total score at the end of the semester. Final scores near a cutoff will be individually considered for the next higher grade. Plus(+) and minus(-) grades will also be given; their cutoffs will be determined at the end of the semester.

Score Grade
88 <= x < 100 A
75 <= x < 88 B
60 <= x < 75 C
40 <= x < 60 D
0 <= x < 40 F

Grades are not curved in this course. It is theoretically possible for everyone in the class to get an A (or an F). Your final grade depends only on your own performance and not on that of others.

Course Policies

Assigned readings
Students are expected to study all the material in the required readings, even if that material is not explicitly discussed in class or in the homeworks.
Optional readings and discussions
Students are urged to consult sources other than our textbook, including both reserve books and on-line material, even if there is no directed outside reading assignment. Students are also encouraged to discuss the course topics with their classmates. It is a genuinely helpful learning activity having to formulate one's own thoughts about the material well enough to express them to others.
Students are expected to attend all classes. Their knowledge and therefore their grade depends on it. They are responsible for all announcements and material covered during class even if they did not attend.
Homework assignments
Students (or teams) are allowed and encouraged to discuss the homework assignments with other students (or teams) in the course, but are not allowed to share solutions with them. (The following rule of thumb will help you not to cross the line: discuss the assignment together but do not take any written notes; go home and write the solution yourself.)
Sharing solutions of graded assignments or copying someone else's work, including posted solutions from previous editions of the course, is not allowed. Doing that will result in a 0 on the assignment for the first offense and an F in the course for the second offense. All cheating incidents will be reported to the CS department's head and may be go into the student's records.
Late submissions
Any late submission must be authorized by the instructor in advance. Unauthorized late assignments will be graded according to the following policy:
  • 15% of the actual score will be taken off for assignments submitted between 0 and 24 hours after the deadline.
  • 25% of the actual score will be taken off for assignments submitted between 24 and 48 hours after the deadline.
  • No assignments will be accepted after that.
Sundays are excluded from the count of late hours.
Extra credit
No extra-credit assignments or tests will be given on an individual basis (although they maybe given to the whole class).
Make-up exams
Make-up exams will be offered only if there is a serious, documented reason for not being able to attend a scheduled exam, and if the request is made at least a week before the scheduled exam.
Students thinking a graded assignment or a test has been misgraded and deserves a regrading are invited to let the instructor know. The instructor welcomes and will give full consideration to all well motivated regrading requests.

Teaching Policies " Resources

Administrative Home

The College of Liberal Arts and Sciences is the administrative home of this course and governs matters such as the add/drop deadlines, the second-grade-only option, and other related issues. Different colleges may have different policies. Questions may be addressed to 120 Schaeffer Hall, or see the CLAS Academic Policies Handbook at http://clas.uiowa.edu/students/handbook.

Electronic Communication

University policy specifies that students are responsible for all official correspondences sent to their University of Iowa e-mail address (@uiowa.edu). Faculty and students should use this account for correspondences (Operations Manual, III.15.2, k.11).

Accommodations for Disabilities

A student seeking academic accommodations should first register with Student Disability Services and then meet privately with the course instructor to make particular arrangements. See www.uiowa.edu/~sds/ for more information.

Academic Honesty

All CLAS students have, in essence, agreed to the College's Code of Academic Honesty: "I pledge to do my own academic work and to excel to the best of my abilities, upholding the IOWA Challenge. I promise not to lie about my academic work, to cheat, or to steal the words or ideas of others; nor will I help fellow students to violate the Code of Academic Honesty." Any student committing academic misconduct is reported to the College and placed on disciplinary probation or may be suspended or expelled (CLAS Academic Policies Handbook).

CLAS Final Examination Policies

The final examination schedule for each class is announced around the fifth week of the semester by the Registrar. Final exams are offered only during the official final examination period. No exams of any kind are allowed during the last week of classes. All students should plan on being at the UI through the final examination period. Once the Registrar has announced the dates and times of each final exam, the complete schedule will be published on the Registrar's web site.

Making a Suggestion or a Complaint

Students with a suggestion or complaint should first visit with the instructor (and the course supervisor), and then with the departmental DEO. Complaints must be made within six months of the incident (CLAS Academic Policies Handbook).

Understanding Sexual Harassment

Sexual harassment subverts the mission of the University and threatens the well-being of students, faculty, and staff. All members of the UI community have a responsibility to uphold this mission and to contribute to a safe environment that enhances learning. Incidents of sexual harassment should be reported immediately. See the UI Comprehensive Guide on Sexual Harassment for assistance, definitions, and the full University policy.

Reacting Safely to Severe Weather

In severe weather, class members should seek appropriate shelter immediately, leaving the classroom if necessary. The class will continue if possible when the event is over. For more information on Hawk Alert and the siren warning system, visit the Department of Public Safety website.

22c:188 (CS:4350)
Logic in Computer Science
Spring 2015


Every Monday and Wednesday 3.30pm-4.45pm in 218 MLH


Dr. Christoph Sticksel

Office hours in 201G MLH

  • Monday 5pm-6.30pm,
  • Wednesday 2pm-3.30pm, and
  • by appointment

Teaching Assistant

Md Hasib Bin Shakur

Office hours in 101N MLH

  • Tuesday 5pm-6.30pm, and
  • Thursday 5pm-6.30pm.