Alle Videos / 2014 WiSe / Theoretische Informatik
2014-09-24(3)
Anzahl Videos: 9, Dauer: 2:03:26
01 Organisatorisches(06:41)[mp4][webm]
02 Themenübersicht(09:27)[mp4][webm]
03 Alphabete(19:13)[mp4][webm]
04 Wörter(16:39)[mp4][webm]
05 Die Kleensche Hülle(11:21)[mp4][webm]
06 Sprachen(14:51)(1 Kommentar)[mp4][webm]
07 Konkatenation von Wörtern(25:01)[mp4][webm]
08 Mengenoperationen auf Sprachen(08:02)(1 Kommentar)[mp4][webm]
09 Konkatenation von Sprachen(12:11)(1 Kommentar)[mp4][webm]
2014-10-01
Anzahl Videos: 6, Dauer: 1:27:13
01 Potenzieren von Sprachen, Kleene-Stern(21:31)[mp4][webm]
02 Der Schwimmbad-Automat(12:57)[mp4][webm]
03 Endliche Automaten - erstes Beispiel(10:36)[mp4][webm]
04 Endliche Automaten - Definition(21:13)[mp4][webm]
05 Endliche Automaten - zweites Beispiel(08:42)[mp4][webm]
06 JFLAP(12:14)[mp4][webm]
2014-10-08(1)
Anzahl Videos: 6, Dauer: 1:40:05
01 Anzahl der Automaten vs. Anzahl der Sprachen(17:33)[mp4][webm]
02 Ein Automat für das Komplement einer Sprache(08:46)[mp4][webm]
03 Nicht-deterministische endliche Automaten(30:52)[mp4][webm]
04 NFAs in JFLAP(06:58)[mp4][webm]
05 Abschlusseigenschaften der von endlichen Automaten akzeptierten Sprachen(12:57)[mp4][webm]
06 Umwandlung NFA in DFA(22:59)(1 Kommentar)[mp4][webm]
2014-10-22(1)
Anzahl Videos: 7, Dauer: 2:08:01
01 Reguläre Ausdrücke, Syntax(28:30)[mp4][webm]
02 Reguläre Ausdrücke, Semantik(20:21)[mp4][webm]
03 'Rechnen' mit regulären Ausdrücken(13:06)[mp4][webm]
04 Automaten zu vorgegebenen regulären Ausdrücken(09:35)[mp4][webm]
05 Reguläre Ausdrücke zu vorgegebenen Automaten(26:33)[mp4][webm]
06 Reguläre Ausdrücke zu vorgegebenen Automaten, Beispiel(15:24)[mp4][webm]
07 Anwendung - Reguläre Ausdrücke in der Praxis(14:32)(1 Kommentar)[mp4][webm]
2014-10-29(1)
Anzahl Videos: 4, Dauer: 2:01:13
01 Das Pumping Lemma für reguläre Sprachen(36:51)[mp4][webm]
02 Das Pumping Lemma als Spiel(30:05)(1 Kommentar)[mp4][webm]
03 Folgerungen aus dem Pumping Lemma(16:18)[mp4][webm]
04 Beispiele für Grammatiken(37:59)[mp4][webm]
2014-11-05(1)
Anzahl Videos: 5, Dauer: 1:38:43
01 Formale Grammatiken - Definition(19:16)[mp4][webm]
02 Ableitungen in formalen Grammatiken(17:40)[mp4][webm]
03 Die Chomsky-Hierarchie(19:02)(1 Kommentar)[mp4][webm]
04 Beispiele für verschiedene Typen von Grammatiken(30:20)[mp4][webm]
05 Grammatiken in JFLAP(12:25)[mp4][webm]
2014-11-12(1)
Anzahl Videos: 2, Dauer: 1:29:40
01 Reguläre Grammatiken und reguläre Sprachen(33:02)[mp4][webm]
02 Turing-Maschinen(56:38)(1 Kommentar)[mp4][webm]
2014-11-19(2)
Anzahl Videos: 5, Dauer: 1:37:34
01 Der Turing-Maschinen-Simulator(18:46)(1 Kommentar)[mp4][webm]
02 Beispiele für Turing-Maschinen(19:59)[mp4][webm]
03 Berechenbarkeit und Entscheidbarkeit(28:56)[mp4][webm]
04 Die Programmiersprache TOLL(20:25)(1 Kommentar)[mp4][webm]
05 Ist TOLL wirklich toll?(09:28)[mp4][webm]
2014-11-26
Anzahl Videos: 4, Dauer: 1:49:31
01 NICHSODOLL(12:31)[mp4][webm]
02 Die Church-Turing-These(42:03)[mp4][webm]
03 Das Halteproblem(33:34)[mp4][webm]
04 Der Satz von Rice(21:23)[mp4][webm]
2014-12-03(1)
Anzahl Videos: 6, Dauer: 1:33:39
01 Rekursiv aufzählbare Mengen(22:25)[mp4][webm]
02 Das Collatz-Problem(05:44)[mp4][webm]
03 Fleißige Biber(05:49)[mp4][webm]
04 Hilberts zehntes Problem(20:51)[mp4][webm]
05 Polyominos(11:05)(1 Kommentar)[mp4][webm]
06 Vertex Cover(27:45)[mp4][webm]
2014-12-10
Anzahl Videos: 7, Dauer: 1:46:02
01 Analyse von Algorithmen(14:21)[mp4][webm]
02 Das 'RAM'-Modell und worst-case-Analyse(26:35)[mp4][webm]
03 Erinnerung Landau-Notation(20:34)[mp4][webm]
04 Exponentielles Laufzeitverhalten(09:23)[mp4][webm]
05 Carlas Problem(18:11)[mp4][webm]
06 Ians Problem(07:19)[mp4][webm]
07 Polynomiale Reduktion(09:39)[mp4][webm]
2014-12-17
Anzahl Videos: 4, Dauer: 1:02:57
01 Polynomiale Reduktion von Vertex Cover(16:16)[mp4][webm]
02 Optimierungs- vs. Entscheidungsprobleme(09:12)[mp4][webm]
03 Liegt es an der Anzahl der möglichen Lösungen?(11:44)[mp4][webm]
04 Die Klassen P und NP(25:45)[mp4][webm]
2015-01-14(2)
Anzahl Videos: 4, Dauer: 1:45:10
01 NP-Vollständigkeit(12:51)[mp4][webm]
02 SAT und der Satz von Cook-Levin(38:28)(1 Kommentar)[mp4][webm]
03 Clique ist NP-vollständig (und damit auch VC und IS)(23:27)[mp4][webm]
04 Weitere NP-vollständige Probleme(30:24)(1 Kommentar)[mp4][webm]
2015-01-21(1)
Anzahl Videos: 3, Dauer: 52:29
01 'Gesetzeslücken'(14:20)[mp4][webm]
02 Entscheidungsbäume(10:25)[mp4][webm]
03 Beschneiden von Entscheidungsbäumen(27:44)(1 Kommentar)[mp4][webm]