TU Wien:Theoretische Informatik 2 VU (Baaz)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | BAAZ, Matthias |
|---|
Inhalt[Bearbeiten | Quelltext bearbeiten]
Zur Vorlesung existiert ein begleitendes Skriptum. Die einzelnen Kapitel haben folgende Titel: Normalformen in der Prädikatenlogik; die Resolution in der Prädikatenlogik; Logik-Programmierung; Algorithmentheorie und Rekursionstheorie; Komplexitätstheorie.
Die Vorlesung konzentriert sich auf Teilgebiete der mathematischen Logik, soweit sie für Anwendungen in der Informatik besondere Bedeutung haben. Sie gibt auch einen Überblick über die wichtigsten Teilgebiete der theoretischen Informatik, soweit sie für Anwendungen von Bedeutung sind. Zum Beislpiel: Resolution in der Aussagenlogik, Resolution in der Prädikatenlogik (mit dazugehörigen Methoden, wie Bildung der Skolem Normalform oder der Pränex Normalform). Unifikation, primitiv rekursive Funktionen.
Einige Beispiele von Aufgaben die behandelt werden sind hier zu downloaden.
Ablauf[Bearbeiten | Quelltext bearbeiten]
Eine Anmeldung ist weder zu den VO Terminen erforderlich, noch zu den Prüfungen. Ein einfaches Erscheinen ist ausreichend. Es besteht keine Anwesenheitspflicht.
Benötigt/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
Teile aus Theoretische Informatik und Logik. Im Detail: Normalformen und Resolution der Aussagenlogik.
Vortrag[Bearbeiten | Quelltext bearbeiten]
Zur Zeit wird der Vortrag geblockt abgehalten, und zwar jeweils in den Semester- und den Sommerferien (Juli). Für die Dauer von etwa zwei Wochen wird die LVA täglich von Montag bis Freitag abgehalten.
Übungen[Bearbeiten | Quelltext bearbeiten]
Nach dem Vortrag folgt eine freiwillige Übungsstunde, in der Aufgaben vorgerechnet werden und Fragen gestellt werden können.
Prüfung[Bearbeiten | Quelltext bearbeiten]
Die Prüfung besteht aus zwei Tests, die zum selben Termin abgehalten werden. Jeder Teiltest dauert 60 Minuten, dazwischen gibt es eine 15 Minütige Pause. Jeder Teiltest kann unabhängig vom anderen einmal wiederholt werden. Insgesamt gibt es drei Termine. Eine negatives Zeugnis wird erst ausgestellt, wenn Haupt- und Ersatztermin negativ zu beurteilen waren.
Literatur[Bearbeiten | Quelltext bearbeiten]
Es existiert ein Skriptum, dass nicht sehr empfehlenswert ist. Es besteht aus PDF Dateien, mit Scans von Auszügen aus uralten Skripten (älter als 10 Jahre). Für einen Teilbereich des Stoffes (Resolution/ Normalformen in der Aussagenlogik) ist es sinnvoll, das Skriptum aus Theoretische Informatik I von Prof. Salzer (oder vergleichbares) (weiter)zuverwenden.
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
Durch selbstständiges Lernen ist der Aufwand nicht zu unterschätzen, jedoch fällt durch fehlende Pflichtübungen der Aufwand für diese weg.
hilfreiche Links[Bearbeiten | Quelltext bearbeiten]
Wo gibts Mitschriften, Skripten, Folien...[Bearbeiten | Quelltext bearbeiten]
f.forum:176
f.thread:33325
http://www.mtb-projekt.at.tf/