15 - Folgerbarkeit, Äquivalenzen und Normalformen : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
5 - Sortieren - (k?) eine untere Schranke : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
8 - Graphen : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
7 - Eigenschaften kontextfreier Sprachen : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
10 - Aufzählbarkeit und (Un-) Entscheidbarkeit : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2) : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
14 - Aussagenlogik / Syntax & Semantik : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
1 - Einführung : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
20 - Prädikatenlogik, Syntax und Semantik : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
4 - Neue Datenstrukturen, besseres (?) Sortieren : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
9 - Minimale Spannbäume und kürzeste Pfade : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich