University of Basel

Department of
Mathematics and Computer Science

Search

Participation

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

Lecture Slides

NoTopicDateSlides
A1Organizational Matters20.9.screen
print 4
print 1
A2Proofs I



Examples		25.9.screen
print 4
print 1

pdf
tex
A3Proofs II27.9.screen
print 4
print 1
B1Sets: Foundations2.10.screen
print 4
print 1
B2Sets: Countability4/9.10.screen
print 4
print 1
B3Sets: Cantor's Theorem11.10.screen
print 4
print 1
B4Tuples & Cartesian Product16.10.screen
print 4
print 1
B5Relations16.10.screen
print 4
print 1
B6Equivalence & Order Relations18./23.10.screen
print 4
print 1
B7Operations on Relations23.10.screen
print 4
print 1
B8Functions25./30.10.screen
print 4
print 1
B9Divisibility & Modular Arithmetic1.11.screen
print 4
print 1
C1Introduction to Graphs6.11.screen
print 4
print 1
C2Paths and Connectivity6.11.screen
print 4
print 1
C3Acyclicity13.11.screen
print 4
print 1
C4Further Topics in Graph Theory20./22.11.screen
print 4
print 1
D1Syntax and Semantics of Propositional Logic22./27.11.screen
print 4
print 1
D2Properties of Formulas and Equivalences27./29.11.screen
print 4
print 1
D3Normal Forms and Logical Consequence04./06.12.screen
print 4
print 1
D4Inference11.12.screen
print 4
print 1
D5Syntax and Semantics of Predicate Logic11./13.12.screen
print 4
print 1
D6Advanced Concepts in Predicate Logic and Outlook18.12.screen
print 4
print 1

Social Media

To top