In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt: Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik
…
continue reading
โดย Christian Tietz
…
continue reading
โดย Christian Tietz
…
continue reading
1
Zufallsexperimente und Wahrscheinlichkeit
1:32:30
1:32:30
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:32:30
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Christian Tietz
…
continue reading
1
Vollständige Induktion
1:27:53
1:27:53
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:27:53
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Kombinatorische Beweise und Beweise vermittels Induktion
1:28:58
1:28:58
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:28:58
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Grundlegende Beweisstrategie
1:21:57
1:21:57
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:21:57
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Folgen und Mengenfamilien
1:21:59
1:21:59
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:21:59
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Abbildungen, Sätze und Beweise
1:32:02
1:32:02
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:32:02
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Abbildungen und Funktionen
1:29:54
1:29:54
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:29:54
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Halbordnungsrelationen
1:27:08
1:27:08
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:27:08
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Äquivalenz- und Halbordnungsrelationen
1:27:17
1:27:17
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:27:17
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Rechnen mit Äquivalenzrelationen
1:32:03
1:32:03
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:32:03
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Prof. Dr. Christoph Meinel
…
continue reading
โดย Christian Tietz
…
continue reading
1
Vereinigung, Durchschnitt und Differenz von Mengen
1:24:11
1:24:11
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:24:11
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Besondere Mengenkonstruktionen
1:25:41
1:25:41
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:25:41
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Mengen und Mengenoperationen
1:25:55
1:25:55
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:25:55
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Aussagenlogik - Aussageformen
1:29:17
1:29:17
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:29:17
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Mathematische Aussagen
1:24:58
1:24:58
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:24:58
โดย Prof. Dr. Christoph Meinel
…
continue reading
1
Einführung & Organisatorisches
1:25:21
1:25:21
เล่นในภายหลัง
เล่นในภายหลัง
ลิสต์
ถูกใจ
ที่ถูกใจแล้ว
1:25:21
โดย Prof. Dr. Christoph Meinel
…
continue reading