Summer 2011
General Information
Syllabus
Announcements
Exams and Homeworks
Syllabus
| Lecture | Date | Topic |
| 1 | 5/31 | Statements and logical connectives. Truth tables. Implications. |
| 2 | 6/2 | Contrapositive. Beginning proofs. |
| 3 | 6/7 | Proofs continued. Direct proof, proof by cases, proof by contradiction |
| 4 | 6/9 | Proofs by induction |
| 5 | 6/14 | Beginning set theory. Quantifiers. |
| 6 | 6/16 | |
| 7 | 6/21 | |
| 8 | 6/23 | |
| 9 | 6/28 | |
| 10 | 6/30 | |
| 11 | 7/5 | |
| 12 | 7/7 | Final Exam |