Please register for the course to gain access to the Adam workspace.
In the workspace forum you find the Zoom link for the lecture.
No | Topic | Date | Slides |
---|---|---|---|
A1 | Organizational Matters | 16.9. | screen print 4 print 1 |
A2 | Proofs I Examples | 21.9. | screen print 4 print 1 tex |
A3 | Proofs II Examples | 23.9. | screen print 4 print 1 tex |
X1 | Introduction to LaTeX | 23.9. | screen print 4 print 1 |
B1 | Sets I | 28.9. | screen print 4 print 1 |
B2 | Sets II: Countable Sets | 30.9. | screen print 4 print 1 |
B3 | Sets III: Cantor's Theorem | 5.10. | screen print 4 print 1 |
B4 | Tuples and Cartesian Product | 5.10. | screen print 4 print 1 |
B5 | Relations | 7.10. | screen print 4 print 1 |
B6 | Equivalence and Order Relations | 12.10. | screen print 4 print 1 |
B7 | Operations on Relations | 14.10. | screen print 4 print 1 |
B8 | Functions | 19.10. | screen print 4 print 1 |
B9 | Permutations | 21.10. | screen print 4 print 1 |
B10 | Groups | 26.10. | screen print 4 print 1 |
B11 | Divisibility & Modular Arithmetic | 28.10. | screen print 4 print 1 |
C1 | Introduction to Graphs | 02.11. | screen print 4 print 1 |
C2 | Paths and Connectivity | 04.11. | screen print 4 print 1 |
C3 | Acyclicity | 09.11. | screen print 4 print 1 |
C4 | Further Topics in Graph Theory | 11.11. | screen print 4 print 1 |
D1 | Introduction to Recurrences | 16.11. | screen print 4 print 1 |
D2 | Advanced Methods for Recurrences | 18.11. | screen print 4 print 1 |
E1 | Syntax and Semantics of Propositional Logic | 23.11. | screen print 4 print 1 |
E2 | Properties of Formulas and Equivalences | 25.11. | screen print 4 print 1 |
E3 | Normal Forms and Logical Consequence | 30.11. | screen print 4 print 1 |
E4 | Inference | 2.12. | screen print 4 print 1 |
E5 | Syntax and Semantics of Predicate Logic | 7.12. | screen print 4 print 1 |
E6 | Advanced Concepts in Predicate Logic and Outlook | 9.12. | screen print 4 print 1 |