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]