Professor: Yu Zhang

office: 201H HAS

phone: 999-7399

email: yzhang@cs.trinity.edu

Office hours: MWF 11:30am-1:30pm or by appointment Help session hours: W 4:30-6:30pm, 228 HAS

TA: Phillip Coleman Phillip.Coleman@Trinity.edu

Course Pre-requisites

None.

Textbook

Judith L. Gersting, Mathematical Structures for Computer Science. Freeman Publishing, sixth edition, 2006.

Course URL

http://www.cs.trinity.edu/~yzhang/teaching/spring2008/CSCI1323.

Goals of This Course

1. Formal Logic—Propositional and Predicate Formulas and Logic
2. Proofs—Formal Reasoning, Proof Methods, Induction, Recursion and Recurrences
3. Sets and Combinatorics—Set Theory, Counting, Inclusion/Exclusion,
4. Permutations, Combinations, Binomial Theorem
5. Relations and Functions—Terminology, Properties, Examples, Cardinality
6. Graphs and Trees—Terminology and Applications

At the end of this course you should

1. Be able to learn basic mathematical concepts such as sets, relations, functions, and graphs, relationships between them, and their properties,
2. Be able to learn to reason correctly,
3. Be able to learn techniques for solving problems,
4. Be able to become proficient in using mathematical notations (both in reading and writing).

Email and WWW

We will be using an email list this semester to communicate pertinent messages to everyone in the class. I will put together the list of email addresses in the first two weeks of class. It is the student's responsbility to ensure that they watch for and read any messages throughout the semester. In addition, this web page will continually be updated with the class schedule, resources, and other information.

Late Turn-in Policy

The penalty for late assignments will be -10% per day (determined on a 24-hour basis relative the due-time, which is the start of class ), down to a minimum of 50% (you can still get 1/2 credit if you turn it in by the end of the semester).

Exams and Grading

There will be about 7 homeowrk assignments, and several quizzes which will be given randomly in class.
There will be one mid-term exam (approximately in the middle week of March) plus a comprehensive final.

Grades will be determined by the percentage of total points earned during the course of the semester. The total points will be computed according to the following approximate weighting scheme, though it is subject to slight adjustment as appropriate:

Grade Curving

Attendance Policy

Lecture attendance is encouraged, but will not be used for grades. Unavoidable absences are understood, but each student is responsible for any missed material. For excused absences, an opportunity will be provided to make up any graded work that was missed. For unexcused absences, a grade of zero will be assigned for in-class assignment. Missed exams will be rescheduled without penalty for an excused absence, or with a 25% penalty if the absence is not excused. If you are going to be absent when an assignment is due you should try to turn in the assignment early. If that is not possible, be sure to include a request for an extended turn-in time in your e-mail.

To request approval of an absence or late turn-in, send me an e-mail explaining the reason prior to the class or due date. Tell me if you believe it is a university excused absence. If advance notification is not possible (e.g. unexpected illness) send the e-mail within 48 hours of the absence and be sure to explain why you were not able to notify me in advance. For illness, follow-up the e-mail by submitting a note from a doctor or clinic to my office.

Miscellaneous Notes

All students are covered by Academic Honor Code. Do not copy anybody else's homework assignments or source code, or even give the appearance of having shared work. You are welcome to talk with each other about problems and solutions unless otherwise specified, but do not turn in syntactically similar work. Cheating will be dealt with according to the university's policies on academic integrity.

If you have a documented disability and will need accomodations in this class, please speak with me privately early in the semester so I may be prepared to meet your needs. If you have not already registered with Disability Services for Students, contact the office at 999-7411. You must be registered with DSS before I can provide accommodations.

Tentative Schedule

The following is a planning schedule. It may be modified as necessary during the course. Students will be expected to have some familiarity with the material in the schedule at the beginning of the lecture.

Calendar

Details about lectures, homework assignments, exams etc. are added here.