KIT-Bibliothek
Audio-/Videodatei publizieren

03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.2019

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

03 |
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

Laufzeit (hh:mm:ss)

01:21:38

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

24.10.2019

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 360190 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4898 s
Dateiname DIVA-2019-785_hd.mp4
Dateigröße 220.518.584 byte
Bildwiederholfrequenz 25
Videobitrate 226084 bps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Folgen 1-28 von 28