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
Arbeitsgruppe für
Anwendungen der Formalen Logik des Institutes für Computersprachen
jeweils in den Institutsstunden erhältlich.