Winfried Kurth
Lehrstuhl Computergrafik und Ökologische Informatik

Abteilung Ökoinformatik, Biometrie und Waldwachstum
Georg-August-Universität Göttingen
Büsgenweg 4, 37077 Göttingen
Raum 90

Tel. +49-551-39-9715

Fax +49-551-39-33465
E-mail wk(at)informatik.uni-goettingen.de
http://www.uni-goettingen.de/de/72781.html

Formale Systeme

Vorlesung mit Übung
WS 2015/16 (2+1 SWS, 5 cr.)

Um Anmeldung im StudIP wird gebeten.

Termine:

Vorlesung: freitags, 10:15-12:00, GZG-MN09 (Goldschmidtstr. 3-5).
Übung: dienstags, nur in den ungeraden Wochen (2015) bzw. nur in den geraden Wochen (2016), 16:30-18:30, FSR 5.1 (Büsgenweg 5), am 1. 12. und am 15. 12. im FSR 2.1 (Büsgenweg 2).

Beginn am Freitag, 30. 10., 10:15 Uhr im Hörsaal GZG-MN09

Keine Übung in der ersten Veranstaltungswoche (27. 10.).

Mitwirkende:

Winfried Kurth (Vorlesung), Isabella Hinterleitner (Übungen).

Prüfung:

90-min. Klausur, 22. 2. 2016, 10:00-11:30 Uhr, F03 (Büsgenweg 3).
Zweiter Prüfungstermin: 7. 4. 2016, 10:00-11:30 Uhr, MN09.
Hinweis: Die 14-tägliche Übung, einschließlich der dort gestellten Übungsaufgaben und Hausaufgaben, ist Bestandteil des Moduls und somit auch prüfungsrelevant. Die Abgabe der Lösungen der Übungsaufgaben ist freiwillig; sie werden von der Übungsleiterin korrigiert. Die Bearbeitung der Aufgaben bereitet auch auf die Abschlussklausur vor.

Ergebnisse der Prüfung vom 22. 2. 2016

Ergebnisse der Prüfung vom 7. 4. 2016

Webseiten:

Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übungsaufgaben: siehe StudIP.
Fragenkatalog (zur Theorie), Teil 1
Fragenkatalog (zur Theorie), Teil 2
Literaturangaben und Webressourcen

Letzte Änderungen: 2. 5. 2016.