
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05
Author
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
05: Vorlesung: Organisatorisches | Definitionen: Rechtsinvarianz und Index | Nerode-Relation | Satz von Nerode | Beweis zu Satz von Nerode | Korollar | Minimalität des Äquivalenzklassenautomats | Zusammenfassung
Duration (hh:mm:ss)
00:53:53
Series
Theoretische Grundlagen der Informatik, WS 2014/15
Published on
13.08.2015
Subject area
License
Resolution | 1280 x 720 Pixel |
Aspect ratio | 16:9 |
Audio bitrate | 122524 bps |
Audio channels | 2 |
Audio Codec | aac |
Audio Sample Rate | 48000 Hz |
Total Bitrate | 928479 bps |
Color Space | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Media Type | video/mp4 |
Duration | 3233 s |
Filename | DIVA-2015-555_hd.mp4 |
Frame Rate | 25 |
Video Bitrate | 799842 bps |
Video Codec | h264 |
Media URL
Embed Code
Theoretische Grundlagen der Informatik, WS 2014/15
Episodes 1-26
of 26