CIT 592 Fall 2007
Mathematical Foundations of Computer Science
Course Information
Instructors:
- Professor Max Mintz:
- Teaching Assistants:
| Name: |
E-Mail: |
Office: |
Office Hours: |
| Audrey Troutt |
atroutt@seas.upenn.edu |
TBA |
TBA |
| Tova Brooks |
tmbrooks@seas.upenn.edu |
TBA |
TBA |
Class Schedule:
- Lectures: Tuesday, Thursday 13:30-14:50, Room: TBA
- Lectures/Recitations: Friday 15:00-15:50, Room: TBA
Preliminary Examination Schedule:
- Preliminary Examination I: Friday 5 October, 15:00-15:50; Room: TBA
- Preliminary Examination II: Friday 2 November, 15:00-15:50; Room: TBA
- Preliminary Examination III: Friday 30 November, 15:00-15:50; Room: TBA
- NB: Makeup preliminary examinations will only be given for verified
medical reasons. All makeup examinations are oral.
Weekly Quizzes:
- There will be weekly written quizzes lasting 10-15 minutes.
The quizzes are scheduled on Fridays in those weeks when there
is no preliminary examination scheduled. The purpose of the quizzes is to aid students
in keeping current on the homework and lecture material. The subject material of the
quizzes will be taken from the homework assignments and lectures. The tentative quiz
schedule is: September 14, 21, 28; October 12, 19, 26; November 9, 16; and December 7.
No makeup quizzes will be given.
Examination Policy:
- NB: All preliminary examinations and quizzes are closed-book examinations. No
written notes, personal assistants, or calculators are permitted.
Written Assignments Policy:
- Written assignments (problem sets) will be given during
lectures and the lecture/recitation. The problems will vary in difficulty and will be
designed to reinforce and augment the material in the lectures and
texts.
- Assignments include: analytical work, derivations, proofs, algorithms,
and computer program implementations.
- The assignments will be collected and graded. Each assignment must be submitted
at the beginning of the class in which it is due. Late submissions will not be accepted.
- Solutions to the homework problems will be distributed in class.
- You are permitted to discuss the homework problems with other class members with the
following limitations. These discussions are to be limited to high-level concepts. You are
not permitted to copy or share written work or implementation details. It is understood that the
work that you submit may be based on these discussions but has not been either copied directly from another
student's paper nor is it, in part or in whole, the product of impermissible collaboration.
- All written work must be neat, well-organized, and include sufficient explanations in
the delineation of the solutions. Messy, poorly organized, or illegible material will be returned ungraded.
- Each homework set will be graded based on the following grade levels: E (excellent),
S (satisfactory), U (unsatisfactory), NC (no credit).
Grading Policy:
- The final course grade will be based entirely on the three preliminary examinations,
the comprehensive two-hour final examination, the aggregate quiz scores, and the homework assignments. No exemptions
from examinations will be made. The final grade will be based on the following units: (1) the 9 quizzes; (2) prelim I;
(3) prelim II; (4) prelim III; (5) the final exam, part I; and (6) the final exam, part II. The sum of these six
components will constitute 90% of the final course grade. The remaining 10% of the final course grade will be based on
the aggregate homework scores.
Texts:
- In lieu of a required text, Lecture Notes will be distributed
in class throughout the semester.
CIT 592 Course Topics:
- Algorithms
- Number Theory
- Set Theory
- Relations
- Functions
- Combinatorics
- Probability Theory
- Graph Theory