KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

02: Grundlagen der Informatik I, Vorlesung, SS 2019, 30.04.2019

Diese Audio- bzw. Video-Datei ist urheberrechtlich geschützt. Der Zugriff ist nur über Rechner des Karlsruher Instituts für Technologie (KIT) erlaubt.

Autor

York Sure-Vetter, Michael Färber

Beteiligtes Institut

Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)

Genre

Vorlesung

Beschreibung

02 |
0:00:00 Start
0:00:05 Start
0:03:23 Logische Ausdrücke im Business Process Engineering
0:05:23 Logische Ausdrücke im Datenbankbereich
0:07:50 Logische Ausdrücke im Software Engineering
0:13:32 Aussagenlogik: Atomare Aussagen
0:15:51 Aussagenlogik: Aussagezeichen
0:19:12 Aussagenlogik: Syntax
0:24:41 Aussagenlogik: Wahrheitsgehalt von atomaren Aussagen
0:30:19 Aussagenlogik: Beispiel
0:34:46 Aussagenlogik: Beispiel Wahrheitstafel
0:38:12 Aussagenlogik: Definition
0:41:33 Beispiel
0:53:08 Bemerkungen
0:56:43 Beispiel (Tautologie)
1:05:24 Satz
1:09:54 Definition (Normalformen)

Laufzeit (hh:mm:ss)

01:17:26

Serie

Grundlagen der Informatik I, Vorlesung, SS 2019

Publiziert am

02.05.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 934075 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4646 s
Dateiname DIVA-2019-293_hd.mp4
Dateigröße 542.440.733 byte
Bildwiederholfrequenz 25
Videobitrate 799982 kbps
Video Codec h264

Embed-Code