Universität Basel

Departement
Mathematik und Informatik

Suche

Participation

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

We teach the course as flipped classroom with prerecorded lectures, an exercise on Monday and a plenary meeting on Wednesday.

Lecture Slides

NoTopicStudy untilSlides
A1Organizational Matters21.9.screen
print 4
print 1
A2Proofs I



Examples		26.9.screen
print 4
print 1

pdf
tex
A3Proofs II



Examples		3.10.screen
print 4
print 1

pdf
tex
B1Sets I3.10.screen
print 4
print 1
B2Sets II: Countable Sets10.10.screen
print 4
print 1
B3Sets III: Cantor's Theorem10.10.screen
print 4
print 1
B4Tuples and Cartesian Product10.10.screen
print 4
print 1
B5Relations10.10.screen
print 4
print 1
B6Equivalence and Order Relations17.10.screen
print 4
print 1
B7Operations on Relations17.10.screen
print 4
print 1
B8Functions24.10.screen
print 4
print 1
B9Permutations24.10.screen
print 4
print 1
B10Groups31.10.screen
print 4
print 1
B11Divisibility & Modular Arithmetic31.10.screen
print 4
print 1
C1Introduction to Graphs07.11.screen
print 4
print 1
C2Paths and Connectivity07.11.screen
print 4
print 1
C3Acyclicity14.11.screen
print 4
print 1
C4Further Topics in Graph Theory14.11.screen
print 4
print 1
D1Introduction to Recurrences21.11.screen
print 4
print 1
D2Advanced Methods for Recurrences21.11.screen
print 4
print 1
E1Introduction to Formal Logic28.11.screen
print 4
print 1
E2Properties of Propositional Formulas28.11.screen
print 4
print 1
E3Normal Forms and Logical Consequence5.12.screen
print 4
print 1
E4Inference5.12.screen
print 4
print 1
E5Syntax and Semantics of Predicate Logic12.12.screen
print 4
print 1
E6Advanced Concepts in Predicate Logic and Outlook12.12.screen
print 4
print 1

Social Media

Nach oben