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 2010/11 (2+1 SWS, 4 cr.)
Um Anmeldung im StudIP wird gebeten.
Termine:
Vorlesung:
freitags, 10:15-11:45, GZG-MN08 (Goldschmidtstr. 3-5)
Übung: montags (nur ungerade Wochen), 14:15-16:00, FSR 5.1 (Forstwissenschaften,
Büsgenweg 5)
Beginn
am Freitag, 29. 10., 10:15 Uhr im Hörsaal GZG-MN08.
Erste
Übung am Montag, dem 8. 11.
Mitwirkende:
Winfried
Kurth (Vorlesung), Reinhard Hemmerling (Übungen).
Prüfung:
90-min. Klausur am 1. 3. 2011, 10:00-11:30 Uhr, MN09.
(Wiederholungsklausur am 4. 4. 2011, 10:00-11:30 Uhr, 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 1. 3. 2011
Ergebnisse der Prüfung
vom 4. 4. 2011
Webseiten:
Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übungsaufgaben
Fragenkatalog (zur Theorie)
Literaturangaben und Webressourcen
Letzte Änderungen: 16. 4. 2011.