Stud.IP Uni Oldenburg
University of Oldenburg
25.05.2022 19:11:04
Course details - Seminar Logiken für komplexe Systeme
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Wintersemester 2011/2012
Seminar Logiken für komplexe Systeme
Veranstaltungsnummer: 2.01.162
Studienbereiche: Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Archiv der Professionalisierungsmodule vor 2013 > Frühere Module > PB 216 Forschungsseminar Informatik
Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Bachelor: Modulangebot für Studierende mit außerschulischem Berufsziel > Fachnahe Angebote Wirtschaftsinformatik > pb216 Forschungsseminar Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Theoretische Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Weitere Veranstaltungen: Informatik > Veranstaltungen nach Bereichen der Informatik > Forschungsseminare
Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Bachelor: Modulangebot für Studierende mit außerschulischem Berufsziel > Fachnahe Angebote Informatik > pb216 Forschungsseminar Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Master > Informatik > Mastermodule > inf486 Aktuelle Themen aus dem Gebiet "Entwicklung korrekter Systeme" I
DozentIn Prof. Dr. Ernst-Rüdiger Olderog
Jan-David Quesel
Heimat-Einrichtung: Department für Informatik
Typ der Veranstaltung: Seminar in der Kategorie Lehre
Art der Veranstaltung: 2 SE
Ort: nicht angegeben
Back