15 - Normalformen und Hornformeln : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
25 - NP-Vollständigkeit Teil 2 : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
23 - P un NP : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
10 - Turing Maschinen Teil 2 : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
7 - Kontextfreie Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
19 - Prädikatenlogische Normalformen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
13 - Aussagenlogik Syntax & Semantik : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
16 - Resolution : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
1 - Einführung : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung) : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
15 - Folgerbarkeit, Äquivalenzen und Normalformen : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen) : Algorithmen und Datenstrukturen Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich
4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma : FGI 1 Heitmann, Frank 2015 - Lecture2Go UHH - frei zugänglich