185.064
AUTOMATEN UND FORMALE SPRACHEN

Übung, 1st.
Rudolf Freund


Die Übungen dienen der Vertiefung des in der Vorlesung vorgetragenen Stoffes sowie der Erlangung der Fähigkeit, ausgewählte Beispiele anhand der in der Vorlesung vorgestellten Begriffe und Beweistechniken zu lösen.

Übungszeiten

(Festlegung erfolgt in der ersten Vorlesung im Informatik Hörsaal)

Prüfungen


Der für die Prüfungen zur Übung benötigte Stoff ist in dem für Vorlesung und Übung gemeinsamen Skriptum enthalten. Bei den (schriftlichen) Prüfungen (= Tests) sind keine Unterlagen erlaubt.

Beurteilung

Im Laufe des Wintersemesters finden zwei Übungstests zu je 50 Minuten statt, bei denen jeweils 100 Punkte erreicht werden können. Bei den Nachtragstests (mindestens zwei im Sommersemester) können beide Tests oder auch nur einer davon nachgeholt bzw. ersetzt (in diesem Falle gelten die jeweils letzten Ergebnisse) werden.

Auf Grund der Gesamtpunktezahl aus den beiden schließlich gewerteten Prüfungstests ergibt sich die Übungsnote nach folgendem Schema:

0 - 100 Punkte: Nicht genügend
101 - 120 Punkte: Genügend
121 - 140 Punkte: Befriedigend
141 - 160 Punkte: Gut
161 - 200 Punkte: Sehr gut

Testtermine

Die Testtermine sowie andere aktuelle Informationen entnehmen Sie bitte der Seite "Aktuell".

Skriptum

Das Skriptum zu Vorlesung und Übung ist am Beginn der ersten Vorlesung im Informatiker-Hörsaal und danach im Sekretariat der Abteilung für Anwendungen der Formalen Logik des Institutes für Computersprachen, 1040 Wien, Resselgasse 3, Stiege 1, 3. Stock, jeweils in den Institutsstunden erhältlich.