| Date | Lectures | Handouts | Others |
| 1-6 |
Overview of the course;
Logic and proofs propositions, predicates and quantifiers |
HW1 assigned: Section 1.1 Exercises 2, 8, 10, 16, 24, 28(c)(e), 32 (a)(e); Section 1.2 Exercises 4(a), 10(a)(b), 20, 22, 30; Section 1.3 Exercises 10, 16, 26; Section 1-4 Exercises 6, 8, 16, 28, 36. |
|
| 1-8 |
Nested Quantifiers, rules of inference |
|
|
| 1-13 |
Proof methods I |
|
|
| 1-15 |
Proof Methods II |
|
HW1 due! HW2 assigned: Section 1-5 Exercises 6, 14; Section 1-6 Exercises 2, 6, 10, 18, 26; Section 1-7 Exercises 4, 20; |
| 1-20 |
Algorithms, the growth of functions, complexity of algorithms* |
|
|
| 1-22 |
Integers and division, number theory* |
|
HW2 due! HW3 assigned: Section 2-1 Exercises 4, 18, 20, 24; Section 2-2 Exercises 4, 20, 26, 30 (a)(b), 36, 46; Section 2-3 Exercises 2, 12, 18, 26, 32, 36. Section 3-1 Exercises 2, 16, 18; Section 3-2 Exercises 2, 6, 18, 24; Section 3-3 Exercises 8, 10, 12; Section 3-4 Exercises 6, 12, 16, 20. |
| 1-23 |
Discussion Session: Sets, set operations, function |
|
|
| 1-27 |
Sequences and summations, mathematical induction |
|
|
| 1-29 |
Recursion |
|
HW3 due. HW4 assigned: Section 2-4 Exercises 6, 14, 20; Section 4-1 Exercises 4, 8, 10, 20, 32, 55; Section 4-3 Exercises 4, 8, 12; Section 4-4 Exercises 8, 10, 15, 29, 30. |
| 1-30 |
Discussion Session: Review for midterm exam I |
||
| 2-3 |
Midterm Exam I (80 minutes, no book, no notes) The exam covers 1-1, 1-2, 1-3, 1-4, 1-5, 1-6, 1-7, 2-1, 2-2, 2-3, 3-1, 3-2, 3-3, and 3-4. Office hours available before the exam: 2-3pm Thursday (1/29) - Ma 1-3pm Monday (2/2) - Hoang 4-6pm Monday (2/2) - Frid |
|
|
| 2-5 |
Counting* |
HW4 due. HW5 assigned: Section 5-1 Exercises: 4, 8, 14, 22, 28, 42; Section 5-2 Exercises: 2, 4, 8, 12, 18; Section 5-3 Exercises: 8, 10, 20, 30; Section 5-4 Exercises: 4, 6, 28. |
|
| 2-10 |
Counting* |
|
|
| 2-12 |
Recurrence relations |
HW5 due. HW6 assigned: Section 7-1 Exercises: 4, 9, 10, 14, 28; Section 7-2 Exercises: 4, 6, 8, 24, 30; Section 7-3 Exercises: 2, 10, 12. |
|
| 2-17 |
Divide-and-conquer algorithms, generating functions |
|
|
| 2-19 |
Relations |
HW6 due HW7 assigned: Section 8-1 Exercises: 1, 3, 5, 9, 17. 31; Section 8-3 Exercises: 3, 7, 14(a)-(d), 15(b), 22, 23, 27; Section 8-5 Exercises: 3, 9, 16, 21, 27, 41. |
|
| 2-24 |
Equivalence relations, partial orderings |
|
|
| 2-26 |
2nd Midterm Exam (80 minutes, no book, no notes) |
|
|
| 3-3 |
Graphs |
HW7 due. HW8 assigned: Section 9-1: 2 Section 9-2: 4, 20(a)(b)(c)(d), 29(a)(b)(d), 42 Section 9-3: 2, 4, 10, 12, 14, 16 Section 9-5: 2, 4, 6, 18, 20, 30, 32, 36 Section 9-6: 2, 6 Section 9-7: 5, 6, 8, 12, 14 Section 9-8: 2, 4, 6, 10, 14 Section 10-1: 2, 4, 10 Section 10-3: 8, 10, 12, 14 Section 10-4: 2, 4, 6, 8, 10 Section 10-5: 2, 4, 6 |
|
| 3-5 |
Graphs |
|
|
| 3-10 |
Trees |
|
|
| 3-12 |
Review |
HW8 due.
|
|
| 3-19 |
Final Exam 8:00am-10:00am, 115 Hutchison
|
|