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 2014/15 (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 ungerade Wochen, nicht in der 43. Woche), 14:15-16:00, FSR 5.1 (Forstwissenschaften, Büsgenweg 5).

 

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

Erster Montagstermin: am 3. 11.

 

Mitwirkende:

Winfried Kurth (Vorlesung), Yongzhi Ong (Übungen).

Prüfung:

90-min. Klausur am 23. 2. 2015, 10:00-11:30, Raum MN14.
Zweiter Klausurtermin: 9. 4. 2015, 10:00-11:30, Raum MN14.
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 vom Übungsleiter korrigiert. Die Bearbeitung der Aufgaben bereitet auch auf die Abschlussklausur vor.

Ergebnisse der Prüfung vom 23. 2. 2015
Ergebnisse der Prüfung vom 9. 4. 2015


Webseiten:

Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übungsaufgaben
weitere Aufgaben zur 3. Übung (1. 12. 2014)
Fragenkatalog (zur Theorie)
Literaturangaben und Webressourcen

Letzte Änderungen:  29. 4. 2015.