Syllabus
Class Notes
Course
Objectives
This course will
introduce fundamental mathematical concepts of software engineering,
such as sets, relations, infinities, propositional logic, predicate
logic, formal languages, and graphs. It will help students to develop
the ability to think abstractly and work with symbolic representations
as if they were concrete objects.
Textbook
Susanna S. Epp,
Discrete Mathematics with
Applications,
Thomason Brooks/Cole, Third edition (2004).
Course Work
There will
be 5 homework assignments, a midterm exam and a final exam.
All
homework must be turned in by the due day.
Both of
the two exams are open-book.
Grading
Homework 50%
Midterm 25%
Final exam 25%
Withdrawal
Last date
to withdraw with automatic assignment of a "W" grade:
November 6, 2007.
Home Work Assignments
Assignment 1
Due Friday,
Oct. 5
Assignment 2
Due
Friday, Oct.
26
Assignment 3
Due
Friday,
Nov. 16
Assignment
4
Due
Friday, Nov. 30