23 Einträge gefunden

1. 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael
   2. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
2. Towards a formalization of social spaces for socially aware robots

   1. Lindner, Felix
   2. Eschenbach, Carola

   2011 - Forschungsinformationssystem der UHH
3. 22 - Turingmaschinen und kontextsensitive Grammatiken II : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael
   2. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
4. 04 - Automaten IV : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael
   2. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
5. 03 - Automaten III : Formale Grundlagen der Informatik I

   1. Köhler-Bußmeier, Michael
   2. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
6. 12 - Aussagenlogik - Hornformeln : Formale Grundlagen der Informatik I

   1. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
7. 17 - Prädikatenlogik IV : Formale Grundlagen der Informatik I

   1. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
8. 11 - Aussagenlogik: Beweisbarkeit : Formale Grundlagen der Informatik I

   1. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
9. 13 - Aussagenlogik - Resolution : Formale Grundlagen der Informatik I

   1. Eschenbach, Carola

   2011 - Lecture2Go UHH - frei zugänglich
10. 15 - Prädikatenlogik II : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
11. 23 - Turingmaschinen und kontextsensitive Grammatiken III : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael
    2. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
12. 14 - Prädikatenlogik : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
13. Linking spatial haptic perception to linguistic representations: Assisting utterances for tactile-map explorations

    1. Lohmann, K.
    2. Eschenbach, Carola
    3. Habel, Christopher

    2011 - Forschungsinformationssystem der UHH
14. 09 - Aussagenlogik, Äquivalenz, Normalformen : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
15. 18 - Prädikatenlogik V : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
16. 02 - Automaten II : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael
    2. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
17. 01 - Einführung, Automaten : Formale Grundlagen der Informatik I

    1. Köhler-Bußmeier, Michael
    2. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
18. 10 - Aussagenlogik: Normalformen, Folgerung : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
19. 08 - Ausagenlogik, Semantik : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich
20. 07 - Aussagenlogik, Syntax : Formale Grundlagen der Informatik I

    1. Eschenbach, Carola

    2011 - Lecture2Go UHH - frei zugänglich