74 Einträge gefunden

1. 11 - Flüsse : Algorithmen und Datenstrukturen

   1. Heitmann, Frank

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

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
3. 1 - Endliche Automaten : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

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

   1. Heitmann, Frank

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

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
6. 15 - Normalformen und Hornformeln : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
7. 9 - Turing Maschinen : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

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

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
9. 26 - Zusammenfassung : Formale Grundlagen der Informatik I

   1. Heitmann, Frank

   2016 - Lecture2Go UHH - frei zugänglich
10. 21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
11. 3 - DFAs und NFAs : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

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

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
13. 25 - NP-Vollständigkeit Teil 2 : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
14. 17 - Prädikatenlogik Syntax & Semantik : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
15. 2 - Endl. Automaten und reguläre Sprachen : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
16. 11 - Aufzählbarkeit und (Un-)Entscheidbarkeit : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich
17. 6 - Abschlusseigenschaften & Grenzen regulärer Sprachen : Formale Grundlagen der Informatik I

    1. Heitmann, Frank

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

    1. Heitmann, Frank

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

    1. Heitmann, Frank

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

    1. Heitmann, Frank

    2016 - Lecture2Go UHH - frei zugänglich