Audio-/Videodatei publizieren
14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017
Autor
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
14 |
0:00:00 Starten
0:03:00 Prädikatenlogische Formeln
0:09:54 Terme
0:22:17 Atomare Formeln
0:33:04 Prädikatenlogische Formeln
0:39:37 Was ist wichtig
0:40:40 Interpretationen
0:45:55 Val
1:03:16 Allgemeingültige Formeln
1:13:29 Modelle
1:19:09 Was ist wichtig
1:19:53 Vorkommen
1:21:45 freie und gebundene Vorkommen
Laufzeit (hh:mm:ss)
01:27:57
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Publiziert am
07.12.2017
Fachgebiet
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 99936 bps |
| Audio Kanäle | 2 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 905961 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5277 s |
| Dateiname | DIVA-2017-754_hd.mp4 |
| Dateigröße | 4.096 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799934 bps |
| Video Codec | h264 |
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folgen 1-26
von 26
