TU Wien:Theoretische Informatik und Logik VU (Leitsch, Oswald)
- Theoretische Informatik und Logik VU (Fermüller) (TU Wien, 106 Materialien)
- Theoretische Informatik und Logik VU (Fermüller, Freund) (TU Wien, veraltet, 18 Materialien)
- Theoretische Informatik und Logik VU (Freund, Oswald) (TU Wien, veraltet, 5 Materialien)
- Theoretische Informatik und Logik VU (Gramlich, Oswald) (TU Wien, veraltet, 13 Materialien)
- Theoretische Informatik und Logik VU (Leitsch, Oswald) (TU Wien, veraltet, 2 Materialien)
- Theoretische Informatik und Logik für Wirtschaftsinformatik VU (Freund) (TU Wien, veraltet, 0 Materialien)
Diese LVA wird derzeit von Fermüller und Oswald abgehalten. Aktuelle Unterlagen und Informationen bitte in der entsprechenden Wiki-Seite ablegen: TU_Wien:Theoretische_Informatik_und_Logik_VU_(Fermüller,_Oswald)
Die LVA wird im Wintersemester jetzt von Gramlich und Oswald abgehalten.
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Alexander Leitsch, Marion Oswald |
|---|---|
| ECTS | 6 |
| Links | Homepage |
Inhalt[Bearbeiten | Quelltext bearbeiten]
Laut Tuwis++: Formale Sprachen: Grammatiken und Automaten; Aussagenlogik, Elemente der Prädikatenlogik.
Ablauf[Bearbeiten | Quelltext bearbeiten]
Vorlesung mit Übung. Der Vorlesungsteil wird von Prof. Oswald (Teil über Automaten, Grammatiken, Turing Maschinen) und Prof. Leitsch (Aussagelogik, Prädikatenlogik) abgehalten, die Übung wird (meistens=) von Tutoren abgehalten.
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
Keine. Graphentheorie aus Mathematik 1 ist bei Automaten von Vorteil, jedoch kein Muss.
Vortrag[Bearbeiten | Quelltext bearbeiten]
Vorlesung mit Übung. Der Vorlesungsteil bei Prof. Oswald ist relativ Interessant, und sie bricht die Vorlesung oft wesentlich früher ab (einmal war sie schon nach 45 Minuten fertig, statt den angekündigten 1 1/2 Stunden). Sie geht auf Fragen ein, und hat einen sehr angenehmen und klaren Vortragsstil.
Prof. Leitsch wirkt auch sehr bemüht (was sich zum Beispiel darin äußert, dass er bei Vorlesungsbeginn die Studenten immer bittet in die vorderen Reihen zu kommen :), der Stoff wird dann nur leider doch etwas träge (Aussagelogik und Prädikatenlogik, teilweise wirklich trockener Stoff).
Übungen[Bearbeiten | Quelltext bearbeiten]
Die Übungen empfand ich generell eher als sehr angenehm, da wir einen wirklich kompetenten Tutor hatten, der auch oft ein (manchmal auch zwei :) Augen zugedrückt hat, und auch sehr euphorisch war, den Stoff zu vermitteln. Ein weiterer Pluspunkt ist, dass man 5 Übungsbeispiele 'geschenkt' bekommt, welche bei der VO-Prüfung sehr wertvoll sind.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
Die Prüfung ist immer sehr ähnlich, vor allem im WS07/08 gab es einen starken Trend (es kamen glaube ich immer ein NDA der determinisiert werden musste, ein Pumping Lemma, ein Sequentialkalkül, ein Tableau, ein Beweis mit Resolution und die Theoriefragen). Die Prüfung sollte also mit ein paar Tagen lernen machbar sein. Ich persönlich habe am Tag davor ein bisschen Sequentialkalkül und Tablea geübt und es hat für einen Vierer gereicht, für eine bessere Note sollte man Sequentialkalkül, Tableau und Resolution für AL und PL aus dem Schlaf beherrschen, und die Theorie gut lernen (alte Prüfungslösungen!).
Die Benotung war meiner Meinung nach sehr milde.
Was auch sehr interessant ist, Turing Maschinen und Hoare Kalkül kommen nie zur Prüfung (Hoare Kalkül das letzte mal 2004 oder 2005, wer sich die gelösten Prüfungen anschaut, weiss auch wieso die LVA Leitung es nicht mehr gibt :D ). Was ebenfalls kaum mehr kommt (leider) sind Beispiele zu größeren Grammatiken, Grammatiken sind meist nur mehr kleine Fragen, die oft zu den Automaten gestellt werden (Geben sie zu diesem Automaten eine Grammatik an).
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
WS08/09: Prüfung am 20.01.09. Zeugnisse wurden am 19.02.09 ausgestellt (ca. 4 Wochen).
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
Für die Übungen doch relativ hoch, da manche Beispiele sehr aufwendig sein können (vor allem Turing Maschinen und die Kalküle fand ich relativ zeitaufwendig), für die Prüfung ist man mit einer Woche lernen denke ich bestens vorbereitet.
Unterlagen[Bearbeiten | Quelltext bearbeiten]
tbd
Tipps[Bearbeiten | Quelltext bearbeiten]
Soviele Übungsbeispiele wie möglich machen, da die Punkte für die Übungsbeispiele direkt in die Note der VO Prüfung einfließen!