Material recording mathlogic

Seminar 1 [01.10.2021] [video]
Seminar 2 [08.10.2021] [video]
Seminar 3 [15.10.2021][video]
Seminar 4 [22.10.2021][video]
Seminar 5 [29.10.2021][video]
Seminar 6 [05.11.2021][video]
Seminar 7 [12.11.2021][video]
Seminar 8 [19.11.2021][video]
Seminar 9 [01.12.2021][video]
Seminar 10 [03.12.2021][video]
Seminar 11 [10.12.2021][video]
Seminar 12 - 13 [24.12.2021][video]

Lectures Recordings [Playlist]

Whiteboards from Lectures (Fall 2021)

Lecture 1 , Lecture 2, Lecture 3, Lecture 4, Lecture 5, Lecture 6, Lecture 7, Lecture 8, Lecture 9, Lecture 10, Lecture 11, Lecture 12

Whiteboards from Seminars (Fall 2021)

Seminar 1, Seminar 2, Seminar 3, Seminar 4, Seminar 5, Seminar 6, Seminar 7, Seminar 8, Seminar 9, Seminar 10, Seminar 11, Seminar 12, Seminar 13

CW 1. Logic in Life and Mathematics. Induction and Recursion.

CW 2. Induction on the set of natural numbers.

CW 3. Set theory.

CW 4. Binary relations.

CW 5. Functions.

CW 6. Finite and Countable sets. Combinatorics.

CW7. Orders and Equivalences.

CW8. Boolean Functions.