KIT-Bibliothek

Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05

Autor

Dorothea Wagner

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

05: Vorlesung: Organisatorisches | Definitionen: Rechtsinvarianz und Index | Nerode-Relation | Satz von Nerode | Beweis zu Satz von Nerode | Korollar | Minimalität des Äquivalenzklassenautomats | Zusammenfassung

Laufzeit (hh:mm:ss)

00:53:53

Serie

Theoretische Grundlagen der Informatik, WS 2014/15

Publiziert am

13.08.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 122524 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 928479 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 3233 s
Dateiname DIVA-2015-555_hd.mp4
Bildwiederholfrequenz 25
Videobitrate 799842 bps
Video Codec h264

Mediathek-URL

Embed-Code

Theoretische Grundlagen der Informatik, WS 2014/15 Folgen 1-26 von 26