Videokatalog

Sortieren nach Titel Sortieren nach Datum

26 Informatik SoSe 16 Formale Grundlagen der Informatik I Dr. Frank Heitmann 11.07.2016 26 - Zusammenfassung Dr. Frank Heitmann 05.07.2016 25 - NP-Vollständigkeit Teil 2 Dr. Frank Heitmann 04.07.2016 24 - NP-Vollständigkeit Dr. Frank Heitmann 28.06.2016 23 - P un NP Dr. Frank Heitmann 27.06.2016 22 - Zeit- und Platzkomplexität Dr. Frank Heitmann 20.06.2016 21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution Dr. Frank Heitmann 14.06.2016 20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution Dr. Frank Heitmann 13.06.2016 19 - Prädikatenlogische Normalformen Dr. Frank Heitmann 07.06.2016 18 - Prädikatenlogik Syntax & Semantik Teil 2 Dr. Frank Heitmann 06.06.2016 17 - Prädikatenlogik Syntax & Semantik Dr. Frank Heitmann 31.05.2016 16 - Resolution Dr. Frank Heitmann 30.05.2016 15 - Normalformen und Hornformeln Dr. Frank Heitmann 24.05.2016 14 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 23.05.2016 13 - Aussagenlogik Syntax & Semantik Dr. Frank Heitmann 10.05.2016 12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen Dr. Frank Heitmann 09.05.2016 11 - Aufzählbarkeit und (Un-)Entscheidbarkeit Dr. Frank Heitmann 03.05.2016 10 - Turing Maschinen Teil 2 Dr. Frank Heitmann 02.05.2016 9 - Turing Maschinen Dr. Frank Heitmann 26.04.2016 8 - Eigensch. & Grenzen kontexfreier Sprachen Dr. Frank Heitmann 25.04.2016 7 - Kontextfreie Sprachen Dr. Frank Heitmann 19.04.2016 6 - Abschlusseigenschaften & Grenzen regulärer Sprachen Dr. Frank Heitmann 18.04.2016 5 - Abschlusseigenschaften Dr. Frank Heitmann 12.04.2016 4 - DFAs und NFAs Teil 2 Dr. Frank Heitmann 11.04.2016 3 - DFAs und NFAs Dr. Frank Heitmann 05.04.2016 2 - Endl. Automaten und reguläre Sprachen Dr. Frank Heitmann 04.04.2016 1 - Endliche Automaten Dr. Frank Heitmann Alle Videos...
13 Informatik WiSe 15/16 Algorithmen und Datenstrukturen Dr. Frank Heitmann 27.01.2016 13 - Wiederholung Dr. Frank Heitmann 20.01.2016 12 - Zusammenfassung Dr. Frank Heitmann 06.01.2016 11 - Flüsse Dr. Frank Heitmann 16.12.2015 10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung) Dr. Frank Heitmann 09.12.2015 9 - Minimale Spannbäume und kürzeste Pfade Dr. Frank Heitmann 02.12.2015 8 - Graphen Dr. Frank Heitmann 25.11.2015 7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume Dr. Frank Heitmann 18.11.2015 6 - Komplexitätstheorie: P, NP und NPC Dr. Frank Heitmann 11.11.2015 5 - Sortieren - (k?) eine untere Schranke Dr. Frank Heitmann 04.11.2015 4 - Neue Datenstrukturen, besseres (?) Sortieren Dr. Frank Heitmann 28.10.2015 3 - Divide & Conquer Dr. Frank Heitmann 21.10.2015 2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen) Dr. Frank Heitmann 14.10.2015 1 - Einführung Dr. Frank Heitmann Alle Videos...
23 Informatik SoSe 15 FGI 1 Dr. Frank Heitmann 06.07.2015 23 - Zusammenfassung Dr. Frank Heitmann 30.06.2015 22 - Äquivalente Normalformen und Prädikatenlogische Resolution Dr. Frank Heitmann 30.06.2015 21 - Prädikatenlogische Normalform Dr. Frank Heitmann 25.06.2015 20 - Prädikatenlogik, Syntax und Semantik Dr. Frank Heitmann 22.06.2015 19 - Resolution Dr. Frank Heitmann 16.06.2015 18 - Ableitungen und Resolution Dr. Frank Heitmann 15.06.2015 17 - Ableitungen Dr. Frank Heitmann 09.06.2015 16 - Normalformen und Hornformeln Dr. Frank Heitmann 08.06.2015 15 - Folgerbarkeit, Äquivalenzen und Normalformen Dr. Frank Heitmann 02.06.2015 14 - Aussagenlogik / Syntax & Semantik Dr. Frank Heitmann 19.05.2015 13 - NP-Vollständigkeit Dr. Frank Heitmann 18.05.2015 12 - Zeit- und Platzkomplexität Dr. Frank Heitmann 12.05.2015 11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung Dr. Frank Heitmann 11.05.2015 10 - Aufzählbarkeit und (Un-) Entscheidbarkeit Dr. Frank Heitmann 05.05.2015 9 - Turing-Maschinen (Teil 2) Dr. Frank Heitmann 04.05.2015 8 - Turing-Maschinen Dr. Frank Heitmann 28.04.2015 7 - Eigenschaften kontextfreier Sprachen Dr. Frank Heitmann 27.04.2015 6 - Kontextfreie Sprachen Dr. Frank Heitmann 21.04.2015 5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2) Dr. Frank Heitmann 20.04.2015 4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma Dr. Frank Heitmann 14.04.2015 3 - Mehr zu regulären Sprachen Dr. Frank Heitmann 13.04.2015 2 - Endliche Automaten und reguläre Sprachen Dr. Frank Heitmann 07.04.2015 1 - Grundlagen Dr. Frank Heitmann Alle Videos...
12 Informatik SoSe 14 Formale Grundlagen der Informatik I Dr. Frank Heitmann 13.05.2014 12 - NP-Vollständigkeit (2) Dr. Frank Heitmann 12.05.2014 11 - NP-Vollständigkeit Dr. Frank Heitmann 06.05.2014 10 - Zeit- und Platzkomplexität Dr. Frank Heitmann 05.05.2014 9 - Entscheidbarkeit und Aufzählbarkeit Dr. Frank Heitmann 29.04.2014 8 - Turing-Maschinen (2) Dr. Frank Heitmann 28.04.2014 7 - Turing-Maschinen Dr. Frank Heitmann 22.04.2014 6 - Eigenschaften kontextfreier Sprachen Dr. Frank Heitmann 15.04.2014 5 - Kellerautomaten und Pumping Lemma Dr. Frank Heitmann 14.04.2014 4 - Über reguläre Sprachen hinaus Dr. Frank Heitmann 08.04.2014 3 - Mehr zu regulären Sprachen Dr. Frank Heitmann 07.04.2014 2 - Endliche Automaten und reguläre Sprachen Dr. Frank Heitmann 01.04.2014 1 - Endliche Automaten Dr. Frank Heitmann Alle Videos...