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 2016/17 (2+1 SWS, 5 cr.)

Um Anmeldung im StudIP wird gebeten.

Termine:

Vorlesung: freitags, 10:15-12:00, GZG-MN09 (Goldschmidtstr. 3-5).
Übung: montags, nur in den ungeraden Wochen, 14:15-16:00, FSR 4.2 (Büsgenweg 4).

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

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

Leitung der Veranstaltung:

Winfried Kurth (Vorlesung und Übungen).

Prüfung:

90-min. Klausur am 17. 2. 2017, 10:00-11:30, Raum MN08.
Zweiter Prüfungstermin: 5. 4. 2017, 10:00-11:30, Raum MN08.
Hinweis: Die 14-tägliche Übung, einschließlich der dort gestellten Übungsaufgaben und Hausaufgaben, ist Bestandteil des Moduls und somit auch prüfungsrelevant. Die Bearbeitung der Aufgaben ist freiwillig und bereitet auch auf die Abschlussklausur vor. Es erfolgt keine Abgabe und Korrektur der Lösungen. Die Lösungen werden in der Übung besprochen.

Ergebnisse der Prüfung vom 17. 2. 2017
Ergebnisse der Prüfung vom 5. 4. 2017

Webseiten:

Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übung
Fragenkatalog (zur Theorie)
Literaturangaben und Webressourcen

Letzte Änderungen: 19. 4. 2017.