Theoretische Grundlagen der Informatik

at Karlsruher Institut für Technologie

Join course
263
Discussion
Documents
Flashcards
Hey Leute, Ich weiss dass die mündliche Prüfung ganz stressig sein kann, so Ich wollte diese Zusamenfassung von Sätze und Definitionen und eine Zussamenfassung von den Fuks Skript, die ich für meine mündliche Prüfung letztes Semester gemacht habe. Wenn ihr Fragen über die mündliche Prüfung mit Herr Ueckerdt habt, ihr konnt es hier kommentieren und ich werde so bald wie möglich die Antworten. https://www.studydrive.net/kurse/karlsruher-institut-fuer-technologie/theoretische-grundlagen-der-informatik/zusammenfassungen/definitionen-und-sa-tze/vorschau/700047 https://www.studydrive.net/kurse/karlsruher-institut-fuer-technologie/theoretische-grundlagen-der-informatik/zusammenfassungen/zussamenfassung/vorschau/700048 Viel Erfolg !!!
View 8 more comments
Für mich hat schon viel gebracht. Man muss in die Prüfung nicht nur die Theorie können aber man muss es auch erklären können, und er erklärt alle die Konzepte in die Vorlesung.
Im Nachhinein haben sich die Aufzeichnungen gelohnt. Vielen Dank für deine Tipps :)
Es fehlen hier noch C|B
[HK WS18 bzw. klausur1ws1718] Problem 3 (a) Warum war das hier genug zu zeigen, wenn eine TM L entscheidet, dann entscheidet sie auch Lu, was eig. nicht möglich ist. Kann es nicht immer noch möglich sein, dass Lc semi-entscheidbar ist? Was hat uns die Lösung über die semi-Entscheidbarkeit von Lc gesagt? Danke im Voraus
[NK SS18 bzw. klausur2ws1718] Problem 4 (a) Weiß jemand, woher die beiden Formeln stammen? Ich habe nichts darüber in der VL bzw. Übung gefunden. Wenn man selber darauf kommen sollte, weißt jemand grob wie? Danke im Voraus.
In der Aufgabenstellung steht, dass du im Alphabet mindestens 2 Zeichen hast. Also bei einem Wort der Länge n, gibt es mindestens 2^n Moglichkeiten, wie dieses Wort aussehen kann. Soviel zur ersten Formel. Die zweite kommt daher, dass 2^log(|ΓxQ|) gerade |ΓxQ| ergibt (log zur Basis 2), also hättest du mit log (|ΓxQ|) als Wortlänge genau |ΓxQ| Wörter und es ist möglich, dass jedes Wort eine eigene Essenz hat. Wenn du ein n0, das gößer als log(|ΓxQ|) ist, wählst, hast du mehr mögliche Wörter, nämlich 2^n0 (>2^log(|ΓxQ|)), als mögliche Essenzen und es MUSS zwei Wörter mit der gleichen Essenz geben.