Dr. Timo Kötzing

Formalisieren: Grundlagen


Date: 2024-11-19
Dur: 00:45:00

Objekte: Funktionen


Date: 2024-11-12
Dur: 01:31:40

Objekte: Relationen, Mengen-Rechenregeln


Date: 2024-11-05
Dur: 01:22:52

Logik: Mengen und Quantoren


Date: 2024-10-29
Dur: 01:25:48

Logik: Junktoren


Date: 2024-10-22
Dur: 01:30:50

Organisatorisches & Einführung


Date: 2024-10-15
Dur: 01:30:27

Wiederholung & Klausurvorbereitung


Date: 2024-07-16
Dur: 01:26:03

O-Notation


Date: 2024-07-09
Dur: 01:26:29

Induktion


Date: 2024-06-25
Dur: 01:30:25

Graphen


Date: 2024-06-18
Dur: 01:29:18

Gruppentheorie


Date: 2024-06-04
Dur: 01:25:57

Zahlentheorie


Date: 2024-05-28
Dur: 00:51:13

Struktur


Date: 2024-05-21
Dur: 01:25:27

Algebra


Date: 2024-05-14
Dur: 01:25:27

Funktionen und Relationen


Date: 2024-05-07
Dur: 01:31:13

Beweise von einzelnen Quantoren


Date: 2024-04-30
Dur: 01:29:13

Logik und Umformungen


Date: 2024-04-23
Dur: 01:20:06

Wiederholung


Date: 2024-04-16
Dur: 01:29:31