14: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 06.12.2017
Author
Editor
Participating institute
Institut für Anthropomatik und Robotik (IAR)
Genre
Description
- 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
Duration (hh:mm:ss)
01:27:57
Series
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Published on
07.12.2017
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 99936 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 905961 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 5277 s |
| Filename | DIVA-2017-754_hd.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 799934 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Episodes 1-26
of 26
