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
- 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 |
Mediathek-URL
Embed-Code
Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016
Folgen 1-27
von 27
