Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 28.10.2016, 03
Description
03 |
0:00:00 Starten
0:00:08 Kapitel 3: Mengen, Alphabete, Abbildungen
0:00:32 Abbildungen als spezielle Relationen
0:02:07 Spezielle Eigenschaften von Abbildungen – injektiv, surjektiv, bijektiv
0:06:20 Definition von Abbildungen
0:12:14 Definition von Abbildungen: Beispiel
0:16:24 Zu jeder Abbildung gehören Definitions- und Zielbereich
0:19:19 noch ein kleines bisschen Notation
0:21:26 Wo sind wir?
0:22:18 Die Elemente einer Menge können selbst Mengen sein
0:22:55 Potenzmenge einer Menge M – alle Teilmengen
0:25:09 »Große« Vereinigungen und Durchschnitte
0:30:03 Was ist wichtig
0:32:14 Kapitel 4: Wörter
0:32:57 Ein Wort über einem Alphabet A ist eine Folge von Zeichen aus A.
0:34:19 Das Leerzeichen spielt bei uns (fast) keine Rolle.
0:36:44 Wort – formal definiert als Liste von Zeichen
0:39:58 Eine formale Definition von Wörtern
0:45:29 Menge aller Wörter
0:48:57 Wo sind wir?
0:50:26 Das leere Wort
0:54:09 Das leere Wort als Element von Mengen
0:55:26 A hoch n – die Wörter der Länge n
0:56:36 Pünktchen vermeiden
0:57:26 Wo sind wir?
0:58:15 Konkatenation – anschaulich: Wörter werden hintereinander geschrieben
0:59:39 Konkatenation – formal: aus zwei surjektiven Abbildungen wird eine dritte
1:02:48 Umgehen mit Definitionen – am Beispiel Konkatenation
1:05:34 Das leere Wort – neutrales Element bezüglich Konkatenation
1:11:34 Das leere Wort – neutrales Element bezüglich Konkatenation (2)
1:12:44 Wo sind wir?
1:13:43 Eigenschaften der Konkatenation – nicht kommutativ aber assoziativ
1:14:40 RFC
1:15:27 E-Mails, RFC 5322 (1)
1:16:13 E-Mails, RFC 5322 (2)
26 |
0:00:00 Starten
0:00:04 Kapitel 21: Relationen
0:00:59 Antisymmetrische Relationen
0:03:57 Halbordnungen
0:05:52 eine Halbordnung auf Wörtern - darauf bauen wir später noch auf
0:07:28 Wenn man weiß, dass es eine Halbordnung ist, enthält der gesamte Graph Redundantes
0:08:51 Wenn man weiß,...
Published 02/16/17
27 |
0:00:00 Starten
0:00:04 Aufgabe 6.1
0:04:44 Aufgabe 6.2
0:11:12 Aufgabe 6.3
0:16:19 Aufgabe 6.4
0:22:26 Aufgabe 7.1
0:28:13 Aufgabe 7.2
0:36:24 Aufgabe 7.3
0:39:42 Aufgabe 7.4
Published 02/16/17