KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 20.10.2015, Vorlesung und Übung - 01

Autor

Peter Sanders, Tobias Maier

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

01 | 0:00:00 Starten
0:00:10 Begrüßung
0:01:02 Organisatorisches
0:02:42 Materialien
0:09:46 Einordnung
0:10:52 Einführung
0:19:06 Formale Sprachen - Notation
0:33:00 Typische Fragestellungen
0:35:47 Warum formale Sprachen?
0:43:10 Automatentheorie
0:47:47 Mächtigere Sprachen und Maschinen
0:49:48 Noch mächtigere Maschinen
0:53:23 Komplexitätstheorie
0:58:27 Informationstheorie
1:00:36 Organisatorisches – Theoretische Grundlagen der Informatik
1:00:58 Organisatorisches – Übungsblätter
1:07:24 Organisatorisches – Fragen und Tipps
1:07:55 Organisatorisches – Tutorien
1:09:26 Organisatorisches – Buch zur Vorlesung
1:10:14 Automatentheorie und Formale Sprachen - Allgemeines
1:14:01 Grammatiken
1:17:31 Übergangsrelation
1:21:40 Ableitung
1:23:12 Chomsky-Hierarchie

Laufzeit (hh:mm:ss)

01:24:33

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

16.11.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 104525 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 910588 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5073 s
Dateiname DIVA-2015-758_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799968 kbps
Video Codec h264

Embed-Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 Folgen 1-27 von 27