Veranstaltungsdetails - Proseminar Logik in der Informatik
Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften |
---|
Department für Informatik |
Wintersemester 2011/2012 |
Proseminar Logik in der Informatik | |
---|---|
Veranstaltungsnummer: | 2.01.160 |
Studienbereiche: | Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Archiv der Professionalisierungsmodule vor 2013 > Frühere Module > PB 215 Proseminar Informatik Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Bachelor: Modulangebot für Studierende mit außerschulischem Berufsziel > Fachnahe Angebote Wirtschaftsinformatik > inf800 Proseminar Informatik Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Zwei-Fächer-Bachelor > Informatik > Frühere Module > PM 1 Softwareprojekt Proseminar Fakultät 2: Informatik, Wirtschafts- und Rechtswissenschaften > Zwei-Fächer-Bachelor > Informatik > Frühere Module > inf800 Proseminar 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 > Proseminare Interdisziplinäre Lehreinrichtungen / Professionalisierungsbereich > PB: Fach- und Zwei-Fächer-Bachelor > Bachelor: Modulangebot für Studierende mit außerschulischem Berufsziel > Fachnahe Angebote Informatik > inf800 Proseminar Informatik |
DozentIn | Prof. Dr. Ernst-Rüdiger Olderog Jan-David Quesel |
Heimat-Einrichtung: | Department für Informatik |
Typ der Veranstaltung: | Exkursion in der Kategorie Lehre |
Art der Veranstaltung: | 2 SE |
Ort: | nicht angegeben |