Instructor: Joe
Kearney
Office: 101M MacLean Hall (Phone: 335-0741)
Office Hours: Tuesday, Thursday 1:30-3:00 PM or by appointment.
Electronic Mail: kearney@cs.uiowa.edu
Teaching Assistant: Amlan Bhattacharya
Office: 101N MacLean Hall
Office Hours: Monday, Wednesday, Friday 12:00-1:00 PM or by appointment
Electronic Mail: amacastle@hotmail.com
Book: Discrete Mathematics 5th Edition, by Richard Johnsonbaugh.
First Exam: 4:30 p.m., Wednesday, October 2.
Second Exam: 4:30 p.m., Wednesday November 6.
Last Examination: To be arranged during finals week
Course Goals and Objectives: This course covers prepositional and predicate logic; proof techniques with emphasis on induction; and sets, functions, relations, graph theory, trees, and combinatorics. These topics provide a mathematical foundation for proofs of software correctness, analysis of algorithm performance, and formal methods of software engineering.
Prerequisites: 22C:020 is a co-requisite. Also, a grade of C- or higher is required from one of the basic calculus courses (M21, M25, M35, M45).
Grading Policy: The final grade will be based on tests, quizzes, and problems, as follows:
Please contact me if you have a disability, which may require some modification of seating, testing or other class requirements, so that appropriate arrangements may be made.
Notes on doing homework: You can discuss homework assignments in groups of two or three students. However, every student MUST write their homework on their own. You can take notes during a group meeting, but notes should not be taken away from the meeting. You must let at least 1/2 hour pass after the meeting before writing your homework. A good rule is to watch 30 minutes of mindless T.V. in the intervening period. In no case should you ever look at someone else's completed assignment or let another student look at yours. If you do work in a group, you must write the names of others with whom you discussed the homework on your assignment.