Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 26.11.2015, Vorlesung - 10
Sanders, Peter
; Hübschle-Schneider, Lorenz; Maier, Tobias
; Hübschle-Schneider, Lorenz; Maier, Tobias
- 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 30.11.2015 |
| Erstellungsdatum | 26.11.2015 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-884 |
| Identifikator | KITopen-ID: 1000113524 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2015/2016 |
| Folge | 11 |