Prof.
Dr. 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-3465
E-mail wk(at)informatik.uni-goettingen.de
http://www.uni-goettingen.de/de/72781.html
Formale Systeme
Vorlesung mit Übung
WS 2011/12 (2+1 SWS, 5 cr.)
Um Anmeldung im StudIP wird gebeten.
Termine:
Vorlesung:
freitags, 10:15-11:45, GZG-MN09. (Goldschmidtstr. 3-5)
Übung: montags (nur ungerade Wochen), 14:15-16:00, FSR 5.1 (Forstwissenschaften,
Büsgenweg 5)
Beginn
am Freitag, 28. 10., 10:15 Uhr im Hörsaal
GZG-MN08
Erste
Übung am Montag, dem 7. 11.
Mitwirkende:
Winfried
Kurth (Vorlesung), Reinhard Hemmerling (Übungen).
Prüfung:
90-min. Klausur, 23. 2. 2012, 10:00-11:30, MN14.
Zweiter Prüfungstermin: 11. 4. 2012, 10:00-11:30, 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 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. 2012
Ergebnisse der Prüfung
vom 11. 4. 2012
Webseiten:
Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übungsaufgaben
Fragenkatalog (zur Theorie)
Literaturangaben und Webressourcen
Letzte Änderungen: 30. 4. 2012.