Participation

Please register for the course to gain access to the Adam workspace.

Lecture Slides

NoTopicDateSlides
A1Organizational Matters18.9.screen
print 4
print 1
A2Sets: Foundations23.9.screen
print 4
print 1
A3Proofs: Introduction23.9.screen
print 4
print 1
A4Proofs Techniques I25.9.screen
print 4
print 1
A5Proof Techniques II30.9.screen
print 4
print 1
solution
B1Tuples & Cartesian Product2.10.screen
print 4
print 1
B2Relations7.10.screen
print 4
print 1
B3Equivalence and Order Relations7.10./9.10.screen
print 4
print 1
B4Operations on Relations14.10.screen
print 4
print 1
B5Functions16.10./21.10.screen
print 4
print 1
B6Sets: Comparing Cardinality and Hilbert’s Hotel23.10.screen
print 4
print 1
B7Sets: Countability28.10.screen
print 4
print 1
B8Cantor's Theorem30.10.screen
print 4
print 1
B9Divisibility & Modular Arithmetic4.11.screen
print 4
print 1
C1Introduction to Graphs6.11.screen
print 4
print 1
C2Paths and Connectivity11.11.screen
print 4
print 1
C3Acyclicity11.11./13.11.screen
print 4
print 1
C4Further Topics in Graph Theory18.11./20.11.screen
print 4
print 1
D1Syntax and Semantics of Propositional Logic20.11./25.11.screen
print 4
print 1
D2Properties of Formulas and Equivalences25.11./27.11.screen
print 4
print 1
D3Normal Forms and Logical Consequence2.12./4.12.screen
print 4
print 1