The class covers fundamental mathematical concepts that are useful for computer scientists. Concepts include recurrence relations, inclusion-exclusion principle, relations, introduction to graphs and trees, boolean algebra, languages and grammars, and finite state machines. Applications to computer science are illustrated.
Homework: Homework is due the recitation following its date of assignment and should be handed in at to the TA at the beginning of recitation. Late homework will result in a penalty.
Class attendance: Class attendance is expected, and may be recorded from time to time. Absences for legitimate professional activities and illnesses are acceptable only if prior notice is given to the instructor by e-mail or phone. Scheduling conflicts with your work, extra-curricular activities, or any other such activities is not a valid excuse. Although attendance is not a specific part of the course evaluation it has a direct effect on class participation. If you are not in class you cannot participate. Class participation means that you attend class regularly and have completed your assigned readings. It means that you ask relevant questions and make informed comments in class. Class participation will contribute to the final grade.
Quizzes: Each week there will be one 20 - 25 minute miniquiz based on the current homework assignment for the week. There will be no make up quizzes; however, you will be allowed to drop your lowest three quiz grades. Each quiz will be worth 10pts. The quizzes will count for 35% of the final grade. You may bring two 3.5 by 5 inch index cards filled with your own notes to each miniquiz.
Exams: If you miss a midterm for an emergency [as agreed ahead of time with the instructor], there will be no makeup exam: the other exams will become proportionally more important. If you miss any exam without prior agreement, and without definitive proof as to the reasons, you will get a zero. If you miss the final and do not make alternative arrangements before grades are turned in you will be graded F.