Participation
Please register for the course to gain access to the Adam workspace.
Lecture Slides
| No | Topic | Date | Slides |
|---|---|---|---|
| A1 | Organizational Matters | 20.9. | screen print 4 print 1 |
| A2 | Proofs I Examples | 25.9. | screen print 4 print 1 tex |
| A3 | Proofs II | 27.9. | screen print 4 print 1 |
| B1 | Sets: Foundations | 2.10. | screen print 4 print 1 |
| B2 | Sets: Countability | 4/9.10. | screen print 4 print 1 |
| B3 | Sets: Cantor's Theorem | 11.10. | screen print 4 print 1 |
| B4 | Tuples & Cartesian Product | 16.10. | screen print 4 print 1 |
| B5 | Relations | 16.10. | screen print 4 print 1 |
| B6 | Equivalence & Order Relations | 18./23.10. | screen print 4 print 1 |
| B7 | Operations on Relations | 23.10. | screen print 4 print 1 |
| B8 | Functions | 25./30.10. | screen print 4 print 1 |
| B9 | Divisibility & Modular Arithmetic | 1.11. | screen print 4 print 1 |
| C1 | Introduction to Graphs | 6.11. | screen print 4 print 1 |
| C2 | Paths and Connectivity | 6.11. | screen print 4 print 1 |
| C3 | Acyclicity | 13.11. | screen print 4 print 1 |
| C4 | Further Topics in Graph Theory | 20./22.11. | screen print 4 print 1 |
| D1 | Syntax and Semantics of Propositional Logic | 22./27.11. | screen print 4 print 1 |
| D2 | Properties of Formulas and Equivalences | 27./29.11. | screen print 4 print 1 |
| D3 | Normal Forms and Logical Consequence | 04./06.12. | screen print 4 print 1 |
| D4 | Inference | 11.12. | screen print 4 print 1 |
| D5 | Syntax and Semantics of Predicate Logic | 11./13.12. | screen print 4 print 1 |
| D6 | Advanced Concepts in Predicate Logic and Outlook | 18.12. | screen print 4 print 1 |