23: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 17.01.2020
- 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 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2020-49 |
| Identifikator | KITopen-ID: 1000117215 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2019/20 |
| Folge | 22 |