KIT-Bibliothek
Audio-/Videodatei publizieren

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 28.10.2016, 03

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

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)

Laufzeit (hh:mm:ss)

01:17:26

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2016/17

Publiziert am

03.11.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 103636 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 909560 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4646 s
Dateiname DIVA-2016-684_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799829 bps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2016/17 Folgen 1-27 von 27