General Description
Instructor
Teaching Assistants
| Section | A [newsgroup] | B [newsgroup] | ||
| TA | Thomas Patrick Browne | Tobie Tennille Jones | Qirong Li | Q. Alex Zhao |
|---|---|---|---|---|
| Office Hours | T Th 2:30-4pm | MW 2-3pm | MW 1-2pm | T Th 1:30-2:30pm |
| Location | CoC 226E | CoC 1st Floor Commons Area or Baird Computer Cluster | CoC 1st Floor Commons Area or Baird Computer Cluster | CoC 226B |
Text
Grading
| 8 homework assignments | 30% |
| 3 quizzes | 15% |
| 1 midterm examination | 20% |
| 1 final examination | 35% |
Guidelines on Homeworks
Other Useful Information
- keep up with the happenings in the class. Depending upon the dynamics of the course, I'll decide to: (a) change the deadlines, (b) add or delete quizzes/home-works. It is your responsibility to keep up with these changes. Tune in to the class.
- Keep up with the material covered in class. If you are falling behind, take help from the instructor or the TA.
- Start early on the home-works.
- Read ahead.
- Design proofs that build on others.
- Identify the important material/ideas and understand them well.
Course Outline
- Sets and functions. (Chapter 1)
- Infinite sets. (Chapter 11).
- Propositional calculus. (Chapter 2)
- Relations. (Chapter 3)
- Mathematical induction, Recurrence relations. (Chapter 4)
- Boolean Algebras and Boolean expressions. (Chapter 9)
- Partially ordered sets, Closures of Relations. (Chapter 10)
Homework Solutions
| # | Due | Assignment | Sample Solutions |
|---|---|---|---|
| 1 | 4/9 | ||
| 2 | 4/16 | ||
| 3 | 4/30 | ||
| 4 | 5/7 | ||
| 5 | 5/14 | ||
| 6 | 5/21 | ||
| 7 | 5/28 | ||
| 8 | 6/4 |
New: Quiz 3 solution.