KIT-Bibliothek
Audio-/Videodatei publizieren

04: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 25.10.2019

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

04 |
0:00:00 Start
0:00:49 Relationen
0:04:17 Eindeutigkeit
0:10:00 Injektivität und Surjektivität
0:18:32 Programme als Abbildungen
0:21:25 Gleichheit von Relationen
0:23:47 RFC
0:30:03 Iterierte Konkatenation
0:34:14 Iterierte Konkatenation
0:36:51 Ein einfaches Lemma zu Längen von Wortpotenzen
0:41:26 Vollständige Induktion
0:44:39 Sprachen
0:50:40 Formale Sprache über einem Alphabet A
0:54:42 Binäre Operationen
1:00:44 Aussagen – ""objektiv"" wahr oder falsch
1:10:20 Alphabet der Aussagenlogik
1:14:56 Syntax – Konstruktion immer größerer Formeln

Laufzeit (hh:mm:ss)

01:23:13

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

28.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 362007 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4993 s
Dateiname DIVA-2019-794_hd.mp4
Dateigröße 225.952.080 byte
Bildwiederholfrequenz 25
Videobitrate 227903 bps
Video Codec h264

Embed-Code

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