7 - Kontextfreie Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
12 - Zusammenfassung : Algorithmen und Datenstrukturen Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
6 - Abschlusseigenschaften & Grenzen regulärer Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
8 - Eigensch. & Grenzen kontexfreier Sprachen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
26 - Zusammenfassung : 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
17 - Prädikatenlogik Syntax & Semantik : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
24 - NP-Vollständigkeit : 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
4 - DFAs und NFAs Teil 2 : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
9 - Turing Maschinen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
3 - DFAs und NFAs : 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
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, M. Heitmann, Frank 2016 - Forschungsinformationssystem der UHH
12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
15 - Normalformen und Hornformeln : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
11 - Aufzählbarkeit und (Un-)Entscheidbarkeit : Formale Grundlagen der Informatik I Heitmann, Frank 2016 - Lecture2Go UHH - frei zugänglich
11 - Flüsse : Algorithmen und Datenstrukturen 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