Procedures:

1.  The best way to learn the material is by solving problems. You are encouraged to work in pairs, because the best way to understand the subtleties of the homework problems is to argue about the answers. Each of you should look at all the problems independently, and not just divide the list in two parts each time. Don't be a leech and let your partner do all the work. Unless you learn how to solve problems, I promise that you will get burned on the exams and thus for your final grade.
2. The course book is James L. Hein, Discrete Structures, Logic, and Computability, ISBN 086720477X.
3. Your solutions should be very neatly written.  If your solution is unclear, sloppy, or if your solution is hard to understand, you will have points deducted even if your solution is correct.  One of the best way to make your solutions clear is to include pictures and examples.
4.  Homeworks and class participation will be worth approximately 20% of the grade, the midterm will be worth approximately 35% of your grade, and final will be worth approximately 45% of your grade. Class participation includes attendance and asking/answering questions. If we need quizes, I will scale these three scores accordingly.
5.  Homework assignments will be due at the beginning of class . Late assignments will not be accepted.
6.  It is extremely important that you start homework assignments early. The homeworks are very hard, and if you get behind in your work, you may find it too difficult to catch up.  I strongly encourage you to attend the office hours. This will almost certainly improve your performance in the course.
7.  Because a primary goal of the course is to teach professionalism, any academic dishonesty will be viewed as evidence that this goal has not been achieved, and will be grounded for receiving a grade of F. (See CEAS Procedures and Guideline Governing Academic Dishonesty, 1/81.)
8. Please check out our department webpage on professional ethics and computer science.
9.  If you have a physical, psychological, medical or learning disability that may impact on your ability to carry out assigned course work, I would urge that you contact the staff in the Disabled Student Services office (DSS), Room 133 Humanities, 632-6748/TDD. DSS will review your concerns and determine, with you, what accommodations are necessary and appropriate. All information and documentation of disability is confidential.