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 0.116

Tel. +49-551-39-29715

E-mail wk(at)informatik.uni-goettingen.de
http://www.uni-goettingen.de/de/72781.html

Formale Systeme

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

Um Anmeldung im StudIP wird gebeten.

Termine:

Vorlesung: freitags, 10:15-12:00, FSR 4.2 (Büsgenweg 4). Am 27. 10. findet die Veranstaltung im Raum F02 (Büsgenweg 2) statt.
Übung: montags, nur in den geraden Wochen, beginnend am 30. 10. 2023, 14:15-16:00, FSR 4.2 (Büsgenweg 4).

Leitung der Veranstaltung:

Winfried Kurth.

Prüfung:

90-min. Klausur (in Präsenz) am 21. 2. 2024, 10:00-11:30 Uhr, Raum MN09.
Zweiter Prüfungstermin: 3. 4. 2024, 10:00-11:30 Uhr, Raum 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 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.

Webseiten:

Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übung
Fragenkatalog (zur Theorie) - nur Teil 1, Teil 2 folgt später
Literaturangaben und Webressourcen

Letzte Änderungen: 18. 12. 2023.