KIT | KIT-Bibliothek | Impressum | Datenschutz

23: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 17.01.2020

Worsch, Thomas; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:26 Master-Theorem
  • 0:12:04 Master-Theorem: Anwendung
  • 0:15:31 Graphfamilien
  • 0:18:27 Hyperwürfel
  • 0:21:40 Beginn Vorlesung
  • 0:21:43 Fortsetzung Turingmaschinen
  • 0:24:41 Beispielrechnung
  • 0:25:37 Konfigurationen
  • 0:26:10 Ein Schritt einer Turingmaschine
  • 0:28:46 Längere Beispielrechnung von BB3
  • 0:30:01 Berechnungen und Endkonfigurationen
  • 0:33:57 Zwei Arten von Turingmaschinen
  • 0:35:21 Eingaben und Anfangskonfigurationen
  • 0:38:01 Ergebnisse von Turingmaschinenberechnungen
  • 0:39:42 Beispiel Palindromerkennung
  • 0:48:35 Entscheidbare und aufzählbare Sprachen
  • 0:53:34 Was ist wichtig
  • 0:55:37 Berechnungskomplexität
  • 0:57:09 Zeitkomplexität
  • 1:03:31 Platzkomplexität oder Raumkomplexität einer TM
  • 1:10:01 Komplexitätsklassen
  • 1:15:41 Was ist wichtig
  • 1:16:31 Unentscheidbare Probleme
  • 1:17:02 Codierungen von Turingmaschinen
  • 1:20:28 Beispielcodierung
  • 1:24:49 Eigenschaften dieser und ähnlicher Codierungen


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 20.01.2020
Erstellungsdatum 17.01.2020
DOI 10.5445/DIVA/2020-49
Identifikator KITopen-ID: 1000117215
Serie Grundbegriffe der Informatik, Vorlesung, WS 2019/20
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page