KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

03: Grundlagen der Informatik I, Vorlesung, SS 2019, 07.05.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

03 |
0:00:00 Start
0:00:05 Logik 1-3 Aussagenlogik
0:00:30 Apple - das wertvollste Unternehmen im Vergleich
0:03:06 Übersicht
0:03:28 2.1 Aussagenlogik: Satz
0:05:06 Beispiel
0:07:45 Algorithmus II: Wahrheitstafeln
0:08:45 Bestimmung einer KNF
0:08:58 Beispiel
0:13:09 2.1 Aussagenlogik
0:22:33 Resolutionslemma
0:27:47 Resolution
0:30:28 2.2 Prädikatenlogik
0:30:30 2.2 Grenzen der Aussagenlogik
0:32:44 2.2 Vokabular der Prädikatenlogik
0:34:09 Syntax der Prädikatenlogik
0:34:21 2.2 Bedeutung der Quantoren (informale Definition)
0:35:20 2.2 Syntax der Prädikatenlogik
0:36:40 2.2 Prädikatenlogik
1:11:59 Resolution in der Prädikatenlogik
1:12:41 2.2 Prädikatenlogik

Laufzeit (hh:mm:ss)

01:23:52

Serie

Grundlagen der Informatik I, Vorlesung, SS 2019

Publiziert am

08.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 934155 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5032 s
Dateiname DIVA-2019-320_hd.mp4
Dateigröße 587.561.066 byte
Bildwiederholfrequenz 25
Videobitrate 800058 kbps
Video Codec h264

Embed-Code