| Lecture Number | Date | Topic | Reading | Exercises DUE |
| Lecture 1 | 6/29/09 | Introduction, Course Details, Propositional Logic, Boolean Circuits | Ch 1.1-1.4 | |
| Lecture 2 | 7/1/09 | Number systems, Predicate Logic | Ch 1.5, Ch 2 | 1.1: 2, 8, 17, 22, 26, 32, 38, 43, 46, 49 1.2: 3, 6, 8, 13, 18, 25, 31, 33, 36, 41 1.4: 2, 8, 10, 19, 23, 29 |
| Lecture 3 | 7/6/09 | Proof techniques and number theory | Ch 3.1-3.4 | 1.3: 2, 5, 10, 11, 30, 31, 38, 42 2.1: 4, 8, 10, 15, 19, 22, 23, 28 2.2: 2, 4, 8, 15, 34, 41, 43, 45 2.3: 2, 4, 8, 11, 17, 25, 34, 35, 39, 40, 53-56. |
| Lecture 4 | 7/8/09 | Proof techniques and number theory | Ch 3.5-3.8 | 2.4: 4, 6, 11, 12, 13, 22, 24, 26, 29 3.1: 3, 6, 12, 27, 28, 42 3.2: 2, 16, 24, 32, 35, 36 3.3: 5, 16, 18, 26 3.4: 2, 4, 6, 8, 10, 18, 24, 36 |
| Lecture 5 | 7/13/09 | Midterm, GCD, Induction | Ch 3.8, 4.1, 4.2, | 3.5: 2, 4, 9, 13, 16, 21 3.6: 4, 7, 12, 18, 20, 22 3.7: 4, 6, 8, 12, 14, 17, 18, 25, 35 3.8: 2, 5, 7, 8 Answer and review at LEAST 5 questions on Peerwise. |
| Lecture 6 | 7/15/09 | Induction | Ch 4.2-4.5 |
3.8: 11, 12, 15, 16, 21, 24, 25, 26 4.1: 2, 4, 15, 16, 21, 22, 33, 34, 44, 53, 59 4.2: 2, 4, 7 |
| Lecture 7 | 7/20/09 | Set Theory | Ch 5, 6.2, 6.3 |
4.2: 9, 11, 14, 16, 22 4.3: 4, 7, 9, 17, 25, 29 4.4 3, 5, 16, 17, BONUS: 11 4.5: 2, 4, 7, 9 |
| Lecture 8 | 7/22/09 | Functions | Ch 6.4, 6.5, 7 |
5.1: 4, 6, 8, 11, 12, 15, 19, 22, 27 5.2: 1, 4, 7, 13, 20, 24, 31 Suggested: 14, 36 5.3: 2, 7, 8, 24, 27, 35, 39 6.2: 11, 14, 33, 34 6.3: 2, 26, 27 One peerwise question (sequences, induction, sets, functions, simple counting) |
| Lecture 9 | 7/24/09 | Relations | Ch 10 |
6.4: 2, 7 7.1: 2, 3, 6, 14, 24, 28 7.2: 7, 8, 9, 10, 11, 13, 25, 41 7.3: 2, 6, 11, 27 7.4: 2, 6, 10, 16-19 7.5: 4, 9, 15, 20, 21 |
| Lecture 10 | 7/27/09 | Midterm | None |
10.1: 2, 7, 14, 19, 24, 27 10.2: 5, 16, 17, 35, 37 10.3: 2, 4, 13, 17, 24 10.4: 8, 10, 11 10.5: 3, 6, 7, 11 Answer/review at least 10 Peerwise questions (total) |
| Final | 7/31/09 | Final - 3-6pm | None |
Ask a third Peerwise question by Tues (midnight) Answer/review at least 15 Peerwise questions (total) |