Alle Videos / 2013 WiSe / Theoretische Informatik
2013-09-19
Anzahl Videos: 8, Dauer: 2:10:19
01 Der Schwimmbad-Automat(09:05)[mp4][webm]
02 Alphabete, Kleenesche Hülle, Konkatenation(32:51)[mp4][webm]
03 Konkatenation von Mengen(22:05)[mp4][webm]
04 Formale Sprachen für Aussagenlogik und Graphentheorie(14:35)[mp4][webm]
05 Endliche Automaten, erstes Beispiel(13:53)[mp4][webm]
06 Definition endlicher Automat und zweites Beispiel(14:57)[mp4][webm]
07 Erweiterte Übergangsfunktion, noch ein Beispiel(14:19)[mp4][webm]
08 Endliche Automaten in JFLAP(08:34)[mp4][webm]
2013-09-26
Anzahl Videos: 11, Dauer: 1:24:42
01 Sprachen(05:08)[mp4][webm]
02 Konstruktion eines Automaten zu einer vorgegebenen Sprache(10:57)[mp4][webm]
03 Konstruktion eines Automaten zu einer vorgegebenen Sprache, Teil 2(06:03)[mp4][webm]
04 Kommentare zur Stundenübung (DFA)(06:54)[mp4][webm]
05 Äquivalenz von Automaten, Minimalautomaten(06:44)[mp4][webm]
06 Konstruktion eines Minimalautomaten(24:39)[mp4][webm]
07 Wohldefiniertheit des Minimalautomaten(02:29)[x-m4v][webm]
08 Abschlusseigenschaften(06:48)[x-m4v][webm]
09 Automat für das Komplement einer Sprache(02:53)[x-m4v][webm]
10 Zwei Automaten laufen parallel(06:16)[x-m4v][webm]
11 Zwei Automaten laufen parallel, Teil 2(05:51)[x-m4v][webm]
2013-10-10
Anzahl Videos: 9, Dauer: 1:51:57
01 Automat für die Vereinigung zweier Sprachen(17:36)[x-m4v][webm]
02 Nichtdeterministische endliche Automaten(11:11)[x-m4v][webm]
03 Nichtdeterministische endliche Automaten, Fortsetzung(08:28)[x-m4v][webm]
04 Nichtdeterministische Vereinigung(05:45)[x-m4v][webm]
05 Nichtdeterministische endliche Automaten in JFLAP(07:20)[x-m4v][webm]
06 Nichtdeterministische Konkatenation(15:55)[x-m4v][webm]
07 Äquivalenz von deterministischen und nichtdeterministischen Automaten(18:10)[x-m4v][webm]
08 Syntax regulärer Ausdrücke(16:11)[x-m4v][webm]
09 Semantik regulärer Ausdrücke(11:21)[x-m4v][webm]
2013-10-17(2)
Anzahl Videos: 10, Dauer: 2:09:59
01 Reguläre Ausdrücke in der Praxis(02:18)[mp4][webm]
02 The Regex Coach(07:19)(1 Kommentar)[mp4][webm]
03 Reguläre Sprachen, Äquivalenz(10:37)[mp4][webm]
04 Der Automat zu einem regulären Ausdruck(25:40)[mp4][webm]
05 Der reguläre Ausdruck zu einem Automaten(21:08)[mp4][webm]
06 Der reguläre Ausdruck zu einem Automaten, Teil 2(23:46)[mp4][webm]
07 Eine Sprache, die nicht regulär ist(14:23)[mp4][webm]
08 Das Pumping-Lemma für reguläre Sprachen(06:11)(1 Kommentar)[mp4][webm]
09 Weitere Sprachen, die nicht regulär sind(14:34)[mp4][webm]
10 Entscheidbarkeit, vorläufige Definition(04:03)[mp4][webm]
2013-10-24
Anzahl Videos: 6, Dauer: 1:08:38
01 Wiederholung reguläre Sprachen(04:35)[mp4][webm]
02 Entscheidbarkeit, Beispiele(13:00)[mp4][webm]
03 Kellerautomaten, Motivation(17:11)[mp4][webm]
04 Kellerautomaten, Beschreibung(15:54)[mp4][webm]
05 Kellerautomaten in JFLAP(14:23)[mp4][webm]
06 Kellerautomaten in JFLAP, Fortsetzung(03:35)[mp4][webm]
2013-10-31
Anzahl Videos: 9, Dauer: 2:06:05
01 MARS-Test, reguläre Ausdrücke(00:41)[mp4][webm]
02 Kellerautomaten, Lösung Stundenübung(15:28)[mp4][webm]
03 Kellerautomaten, formale Definition(12:09)[mp4][webm]
04 Grammatiken, Beispiele(25:09)[mp4][webm]
05 Grammatiken, noch ein Beispiel(15:10)[mp4][webm]
06 Grammatiken, Ableitungsbaum(05:39)[mp4][webm]
07 Grammatiken, Definition und Chomsky-Hierarchie(20:59)[mp4][webm]
08 Chomsky-Hierarchie, Beispiele(23:36)[mp4][webm]
09 Grammatiken in JFLAP(07:14)[mp4][webm]
2013-11-07(2)
Anzahl Videos: 3, Dauer: 1:07:47
01 Beispiel für eine Typ-0-Grammatik, Abzählbarkeitsargument(17:35)(1 Kommentar)[mp4][webm]
02 Äquivalenz von regulären Sprachen und regulären Grammatiken(26:12)(1 Kommentar)[mp4][webm]
03 Äquivalenz von Kellerautomaten und kontextfreien Grammatiken(24:00)[mp4][webm]
2013-11-14
Anzahl Videos: 5, Dauer: 1:07:36
01 Welche Eigenschaften eines Computers sind für theoretische Überlegungen relevant?(06:51)[mp4][webm]
02 Einführung TOLL(24:07)[mp4][webm]
03 TOLL - Lösungen Stundenübung(09:54)[mp4][webm]
04 Ist TOLL wirklich toll?(13:06)[mp4][webm]
05 Berechenbarkeit, Entscheidbarkeit(13:38)[mp4][webm]
2013-11-21
Anzahl Videos: 5, Dauer: 1:36:06
01 Turing-Maschinen(37:44)[mp4][webm]
02 Turing-Maschinen, Teil 2(15:41)[mp4][webm]
03 Turing-Maschine als Programm(16:01)[mp4][webm]
04 Turing-Maschine als Programm, Teil 2(05:43)[mp4][webm]
05 Berechenbarkeit und Entscheidbarkeit für Turing-Maschinen(20:57)[mp4][webm]
2013-11-28
Anzahl Videos: 5, Dauer: 47:40
01 MARS-Umfrage - Überflüssige TOLL-Features(04:42)[mp4][webm]
02 Vereinfachung von TOLL(28:37)[mp4][webm]
03 Die Sprache NICHSODOLL(05:33)[mp4][webm]
04 Der NICHSODOLL-Interpreter(04:12)[mp4][webm]
05 Automatische Übersetzung von TOLL zu NICHSODOLL(04:36)[mp4][webm]
2013-12-05
Anzahl Videos: 11, Dauer: 2:03:29
01 Konvertierung von Turing-Maschinen in TOLL-Programme(23:11)[mp4][webm]
02 Konvertierung von NICHSODOLL-Programmen in Turing-Maschinen(15:16)[mp4][webm]
03 Automatische Übersetzung eines TOLL-Programms in eine Turing-Maschine(05:54)[mp4][webm]
04 Fundamentalsatz der strukturierten Programmierung(10:09)[mp4][webm]
05 Verbesserungsversuche für Turing-Maschinen(11:55)[mp4][webm]
06 Turing-Maschine mit beidseitig unbegrenztem Band(08:31)[mp4][webm]
07 Turing-Maschine mit beidseitig unbegrenztem Band, Beispiel(03:51)[mp4][webm]
08 Church-Turing-These(11:06)[mp4][webm]
09 Gödelisierung(18:43)[mp4][webm]
10 Wiederholung - Mächtigkeit unendlicher Mengen(07:13)[mp4][webm]
11 Die meisten Mengen von natürlichen Zahlen sind nicht entscheidbar(07:40)[mp4][webm]
2013-12-12(1)
Anzahl Videos: 10, Dauer: 1:40:08
01 MARS-Test - entscheidbar, semi-entscheidbar(04:20)[mp4][webm]
02 Die erste nicht entscheidbare Menge(18:18)[mp4][webm]
03 Das Halteproblem(07:01)[mp4][webm]
04 Die Collatz-Folge(03:51)[mp4][webm]
05 Fleißiger Biber(05:37)[mp4][webm]
06 Hilberts zehntes Problem(11:42)[mp4][webm]
07 Polyominos(10:53)(1 Kommentar)[mp4][webm]
08 Der Satz von Rice(11:06)[mp4][webm]
09 Valeries Problem(21:11)[mp4][webm]
10 Wovon hängt die Laufzeit eines Algorithmus ab?(06:09)[mp4][webm]
2013-12-19
Anzahl Videos: 7, Dauer: 1:32:19
01 Schachbrett mit Dominosteinen bedecken(02:20)[mp4][webm]
02 Das 'RAM'-Computermodell(16:16)[mp4][webm]
03 Zeitverbrauch von 'RAM'-Programmen(10:40)[mp4][webm]
04 Betrachtung des worst case(13:39)[mp4][webm]
05 Wiederholung - Landau-Symbole(26:15)[mp4][webm]
06 Beispiele für Laufzeitberechnung mit Landau-Symbolen(17:41)[mp4][webm]
07 Carlas Problem(05:28)[mp4][webm]
2014-01-09
Anzahl Videos: 10, Dauer: 1:41:29
01 Widerspenstige Probleme(17:22)[mp4][webm]
02 Ians Problem(06:44)[mp4][webm]
03 Graphentheoretische Grundbegriffe(07:09)[mp4][webm]
04 Polynomiale Reduktion(09:54)[mp4][webm]
05 Noch eine polynomiale Reduktion(06:54)[mp4][webm]
06 Optimierungs- versus Entscheidungsprobleme(10:27)[mp4][webm]
07 Ein machbares Problem mit exponentiell vielen potentiellen Lösungen(09:10)[mp4][webm]
08 Das 'N-RAM'-Computermodell(20:39)[mp4][webm]
09 Simulation eines 'N-RAM' durch ein 'RAM'(07:06)[mp4][webm]
10 Die Klassen P und NP(06:04)[mp4][webm]
2014-01-16
Anzahl Videos: 8, Dauer: 1:39:22
01 NP-Vollständigkeit(16:15)[mp4][webm]
02 Der Satz von Cook und Levin(16:20)[mp4][webm]
03 Liste der NP-vollständigen Probleme(03:42)[mp4][webm]
04 Shortest Tour(07:45)[mp4][webm]
05 Weitere NP-vollständige Probleme(16:03)[mp4][webm]
06 Strategien für NP-vollständige Probleme(10:19)[mp4][webm]
07 Suchbaum für Vertex Cover(11:21)[mp4][webm]
08 Verbesserter Suchbaum für Vertex Cover(17:37)[mp4][webm]
2014-01-23(1)
Anzahl Videos: 4, Dauer: 38:54
01 Pre-Processing(15:15)[mp4][webm]
02 Pre-Processing für Vertex Cover(08:27)[mp4][webm]
03 Ein schneller Algorithmus für sub-optimale Lösungen für Vertex Cover(07:53)[mp4][webm]
04 Ein 'Ameisenalgorithmus' für das Problem des Handlungsreisenden(07:19)(1 Kommentar)[mp4][webm]