KIT-Bibliothek
Audio-/Videodatei publizieren

Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 26.11.2015, Vorlesung - 10

Autor

Peter Sanders, Lorenz Hübschle-Schneider, Tobias Maier

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

10: Vorlesung |
0:00:00 Starten
0:00:08 Abschlusseigenschaften Typ 1
0:01:39 Abschluss Vereinigung Typ 0/1
0:03:19 Abschluss Produkt Typ 0/1
0:05:11 Abschluss Komplement Typ 1
0:12:39 Berechnung
0:20:02 Typ 0 Sprachen
0:22:49 Überblick Chomsky-Hierarchie
0:27:54 Abschlusseigenschaften
0:30:09 Entscheidbarkeitsprobleme
0:31:02 Komplexität des Wortproblemes
0:32:27 Überblick Chomsky-Hierarchie
0:33:43 Chomsky-Hierarchie: Eine Kritik
0:37:29 2 Berechenbarkeitstheorie, 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These
0:38:16 Berechenbarkeit Hauptergebnis
0:39:17 2.2 Intuitiver Berechenbarkeitsbegriff
0:40:42 Beispiel
0:42:04 5. Übung
0:42:26 Vereinigung von Sprachen
0:45:01 Zusatzaufgabe 2
0:49:54 Zusatzaufgabe 2 - Exkurs
0:52:43 Zusatzaufgabe 2 - Häufige Fehler
0:54:55 Turingmaschinen Konstruktion und Funktionsweise

Laufzeit (hh:mm:ss)

01:16:40

Serie

Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016

Publiziert am

30.11.2015

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Embed-Code

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