02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018

02 | 0:00:00 Start 0:00:03 Kapitel 3: Mengen, Alphabete, Abbildungen 0:00:23 Themen dieses Kapitels 0:00:31 ASCII-Zeichensatz und Unicode 0:01:01 ASCII-Zeichensatz 0:02:06 Emails 0:04:08 Unicode: Code Points 0:04:50 Paare – anders als Mengen 0:05:55 Kartesisches Produkt zweier Mengen 0:08:02 Kartesische Produkte vieler Mengen 0:14:26 Induktive Definitionen 0:18:22 Relationen 0:21:22 Abbildungen als spezielle Relationen 0:24:10 Spezielle Eigenschaften von Abbildungen 0:26:39 Definition von Abbildungen 0:29:04 Zu jeder Abbildung gehören Definitions- und Zielbereich 0:32:40 Noch ein kleines bisschen Notation 0:34:19 Die Elemente einer Menge können selbst Mengen sein 0:36:14 Potenzmenge einer Menge M 0:38:28 Große Vereinigungen und Durchschnitte 0:40:25 Was ist wichtig 0:41:43 Übung 1: Mengen, Relationen und Abbildungen 0:42:34 Mengenlehre 0:46:31 Mengeninklusion 0:49:10 Kartesisches Produkt 0:51:00 Potenzmenge 0:52:59 (Unendliche) Vereinigungen 0:55:17 Beweise 0:57:36 Beweisschema: Gleichheit von Mengen 0:58:40 Ein Beweis 1:00:25 Relationen 1:02:52 Totalität 1:04:00 Eindeutigkeit 1:05:47 Abbildungen 1:07:38 Injektivität und Surjektivität 1:10:27 Die leere Relation 1:13:07 Gleichheit von Relationen