KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Sanders, Peter; 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
Open Access Logo


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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page