KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018

Autor

Thomas Worsch, Augusto Modanese

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

16 |
0:00:00 Start
0:00:05 Allgemeingültige Formeln
0:05:40 Vorkommen von Variablensymbolen in Formeln
0:07:33 freie und gebundene Vorkommen von Variablensymbolen
0:16:46 Substitutionen
0:30:50 Kollisionsfreie Substitutionen für Formeln
0:33:12 Logisch äquivalente Formeln
0:40:29 Weitere allgemeingültige Formeln
0:41:18 Großzügige Benutzung von Prädikatenlogik
0:44:02 Zusammenfassung
0:44:18 Übung 8: Prädikatenlogik
0:45:01 Prädikatenlogik: Syntax
0:48:48 Prädikatenlogik: Semantik
0:53:11 Formulierungen in Prädikatenlogik
0:57:52 Totalität und Eindeutigkeit
1:00:18 Logische Äquivalenz
1:06:33 Allgemeingültig- und Erfüllbarkeit
1:11:21 Trinker-Paradoxon
1:15:04 Beispiel unerfüllbar
1:17:23 Substitutionen
1:19:58 Kollisionen
1:22:44 Gebundene Umbenennung

Laufzeit (hh:mm:ss)

01:25:58

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

10.12.2018

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 933997 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5158 s
Dateiname DIVA-2018-954_hd.mp4
Dateigröße 602.247.195 byte
Bildwiederholfrequenz 25
Videobitrate 799898 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2018/19 Folgen 1-26 von 26