
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
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
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