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 2024/25 (2+1 SWS, 5 cr.)
Um Anmeldung im StudIP wird gebeten.
Termine:
Vorlesung:
freitags, 10:15-12:00, CIP I (Büsgenweg 4). Leitung der Veranstaltung und Vorlesung: Winfried
Kurth. Übung: Tim
Oberländer. Prüfung: 90-min. Klausur (in Präsenz), 13. 2. 2025, 10:00-11:30 Uhr.
Übung: montags, nur in den ungeraden Wochen,
beginnend am 4. 11. 2024, 14:15-16:00, CIP II (Büsgenweg 4).
Webseiten:
Veranstaltungsplan (Inhaltsübersicht und Zeitplan)
Skript
Übung
Fragenkatalog (zur Theorie), komplett
Literaturangaben und Webressourcen
Letzte Änderungen: 5. 2. 2025.