31 Einträge gefunden

1. 21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
2. 16 - Resolution : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
3. 12 - Zusammenfassung : Algorithmen und Datenstrukturen

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
4. 13 - Aussagenlogik Syntax & Semantik : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
5. 23 - P un NP : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
6. 24 - NP-Vollständigkeit : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
7. 7 - Kontextfreie Sprachen : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
8. 10 - Turing Maschinen Teil 2 : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
9. 14 - Folgerbarkeit, Äquivalenzen und Normalformen : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
10. 22 - Zeit- und Platzkomplexität : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
11. 12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
12. 4 - DFAs und NFAs Teil 2 : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
13. 18 - Prädikatenlogik Syntax & SemantikTeil 2 : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
14. An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2016 - ReposIt
15. An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

    1. Köhler-Bußmeier, M.
    2. Heitmann, Frank

    2016 - Forschungsinformationssystem der UHH
16. 1 - Endliche Automaten : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
17. 5 - Abschlusseigenschaften : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
18. 8 - Eigensch. & Grenzen kontexfreier Sprachen : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
19. 20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
20. 13 - Wiederholung : Algorithmen und Datenstrukturen

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich