KIT-Bibliothek
Audio-/Videodatei publizieren

15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

15 |
0:00:00 Start
0:00:59 Kontextfreie Sprachen
0:09:04 Schnitt kontextfreier Sprachen
0:12:45 Produkt von Relationen
0:18:09 Reflektiv, transitiv
0:26:24 Interpretationen
0:35:52 Allgemeingültige Formeln
0:40:09 Modelle
0:46:21 Vorkommen von Variablensymbolen in Formeln
0:54:07 Substitution
1:08:06 Logische äquivalente Formeln
1:17:58 Großzügige Benutzung von Prädikatenlogik
1:22:53 Eine Zeitreise

Laufzeit (hh:mm:ss)

01:27:02

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

09.12.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 392316 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5222 s
Dateiname DIVA-2019-959_hd.mp4
Dateigröße 256.097.149 byte
Bildwiederholfrequenz 25
Videobitrate 258212 bps
Video Codec h264

Embed-Code

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