Participation
Please register for the course to gain access to the Adam workspace.
Lecture Slides
| No | Topic | Date | Slides |
|---|---|---|---|
| A1 | Organizational Matters | 17.9. | screen print 4 print 1 |
| A2 | Sets: Foundations | 22.9. | screen print 4 print 1 |
| A3 | Proofs: Introduction | 22.9. | screen print 4 print 1 |
| A4 | Proof Techniques I | 24.9. | screen print 4 print 1 |
| A5 | Proof Techniques II | 29.9. | screen print 4 print 1 |
| B1 | Tuples & Cartesian Product | 01.10. | screen print 4 print 1 |
| B2 | Relations | 06.10. | screen print 4 print 1 |
| B3 | Equivalence and Order Relations | 06.10. | screen print 4 print 1 |
| All slides (up to and including B3) | screen print 4 print 1 |