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

Autor

Thomas Worsch, Augusto Modanese

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

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

Laufzeit (hh:mm:ss)

01:15:41

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

25.10.2018

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz