Every Monday and Wednesday 3.30pm-4.45pm in 218 MLH
Dr. Christoph Sticksel
Email christoph-sticksel@uiowa.edu
Md Hasib Bin Shakur
Email mdhasibbin-shakur@uiowa.edu
22c:019 (CS:1310) or equivalent, or consent of instructor.
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.
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.
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.
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.
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.
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).
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.
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).
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.
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).
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.
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.
Every Monday and Wednesday 3.30pm-4.45pm in 218 MLH
Dr. Christoph Sticksel
Email christoph-sticksel@uiowa.edu
Md Hasib Bin Shakur
Email mdhasibbin-shakur@uiowa.edu