03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.2019
- 0:00:00 Start
- 0:00:21 Relationen
- 0:01:42 Mehr zu Mengen
- 0:03:25 Menge aller Funktionen von A nach B
- 0:07:37 Potenzmenge einer Menge M
- 0:10:35 ""Große"" Vereinigung und Durchschnitte
- 0:13:23 Kapitelzusammenfassung Mengen
- 0:14:33 Kapitel 4: Wörter
- 0:15:25 Themenübersicht
- 0:18:33 Wort über einem Alphabet
- 0:19:29 Rolle des Leerzeichen
- 0:21:20 Definition Wort
- 0:26:16 Menge aller Wörter
- 0:28:46 Das leere Wort
- 0:33:01 Das leere Wort als Element von Mengen
- 0:36:29 Konkatenation – anschaulich
- 0:38:24 Konkatenation – formal
- 0:42:05 Umgehen mit Definitionen
- 0:48:42 Das leere Wort bezüglich Konkatenation
- 0:58:55 Eigenschaften der Konkatenation
- 1:02:15 Übung 1: Mengenlehre
- 1:02:29 Inhaltsübersicht
- 1:04:17 Mathematik (in der Informatik)
- 1:07:11 Mengenlehre
- 1:09:13 Mengeninklusion
- 1:11:17 Kardinilität
- 1:12:37 Kartesisches Produkt
- 1:14:47 Potenzmenge
- 1:16:51 (Unendliche) Vereinigungen
- 1:18:21 Beweisschema: Gleichheit von Mengen
- 1:19:59 Beispielbeweis
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.10.2019 |
| Erstellungsdatum | 23.10.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-785 |
| Identifikator | KITopen-ID: 1000116947 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 3 |