02: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 19.10.2018
- 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 25.10.2018 |
| Erstellungsdatum | 19.10.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-735 |
| Identifikator | KITopen-ID: 1000115926 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2018/19 |
| Folge | 2 |