Vorlesungsverzeichnis Institut für Informatik und Computational Science Sommersemester 2018

Transkript

1 Vorlesungsverzeichnis Institut für Informatik und Computational Science Sommersemester 2018 Bitte beachten Sie auch die Hinweise am Ende des Dokuments. Stand: Es nur eine Auswahl von Modulverknüpfungen hervorgehoben! Weitere Angaben in PULS. Das Semester beginnt in der 15. KW (ungeradzahlig), also einer 1. Woche. Die Lehrsprache ist Deutsch. Abweichungen sind besonders gekennzeichnet. Art SWS W Gr Tag Zeit Raum Beginn Dozenten (Ab Semester empfohlen) Algorithmen und Datenstrukturen PrüfungsNr: 23/, Prüfer: Henning Bordihn, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung:, Kapazität: 150 V 2 Mo H Henning Bordihn Ü 2 G1 Di S26 (70 Plätze) Henning Bordihn Ü 2 G2 Mi S24 (50 Plätze) Henning Bordihn Ü 2 G3 Mi S27 (70 Plätze) Henning Bordihn Ü 2 G4 Fr (35 Plätze) Henning Bordihn UPP-Modul: ICS 1011, COS #1011, alt: INF 1020; WIN 1020 Einführung in Hardware- und Systembeschreibungssprachen PrüfungsNr: 1014/1015, Prüfer: Milos Krstic, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Te, Kapazität: 32 V 2 Fr Milos Krstic Ü 2 Fr Milos Krstic UPP-Modul: ICS 2050; COS 8050, 8051 Mathematik für Informatiker II PrüfungsNr: 39/, Prüfer: Jörg Koppitz, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung:, Kapazität: 100 V 2 Di H Jörg Koppitz Tutorium 2 Di H Elke Rosenberger Ü 2 G1 Mo H Jörg Koppitz Ü 2 G2 Do H Dani Hertel Ü 2 G3 Do H Marius Wiggert UPP-Modul: ICS 1101,alt: INF 1050 Mathematik für Informatiker III PrüfungsNr: 40/, Prüfer: Wolfgang Schöbel, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung:, Kapazität: 100 V 2 Mo H Wolfgang Schöbel Ü 2 Fr H01 (Raum am 8.6. noch nicht zugeordnet!) Tobias Jürgens UPP-Modul: ICS 1102,alt: INF 1060 Mentoring PrüfungsNr: /, Prüfer: Henning Bordihn, individuelle Leistung: nein, LP: 0, -/- Fachzuordnung:, Kapazität: KU Nur Einschreibung in PULS, falls es im Wintersemester noch nicht geschehen ist. Henning Bordihn UPP-Modul: ICS 6010 (Komponente von Praxis der Programmierung im Modul 6010.)

2 Praxis der Programmierung PrüfungsNr: 61/, Prüfer: Henning Bordihn, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung:, Kapazität: V 2 Do H Henning Bordihn Ü 2 G1 Di (Raum anschließend 2h zusätzlich für Selbststudium reserviert.) Henning Bordihn Ü 2 G2 Mi (Raum anschließend 2h zusätzlich für Selbststudium reserviert.) Henning Bordihn Ü 2 G3 Do (Raum anschließend 2h zusätzlich für Selbststudium reserviert.) Henning Bordihn UPP-Modul: ICS 6010; alt: INF 1080; WIN 1080 Theoretische Informatik II: Effiziente Algorithmen PrüfungsNr: 80/, Prüfer: Christoph Kreitz, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung: Th, Kapazität: 160 V 2 Di H Christoph Kreitz Ü 2 Tutorium Mo H Christoph Kreitz Ü 2 G1 Mi (35 Plätze) Christoph Kreitz/Sebstian Böhne Ü 2 G2 Mi S25 (50 Plätze) Christoph Kreitz/Sebstian Böhne Ü 2 G3 Do (32 Plätze) Christoph Kreitz/Sebstian Böhne Ü 2 G4 Fr (35 Plätze) Christoph Kreitz/Sebstian Böhne UPP-Modul: ICS 1021, COS #1021, alt: INF 1150 (Ab Semester empfohlen) Cartesisches Seminar PrüfungsNr: 826/827, Prüfer: Christoph Kreitz, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, Kapazität: 12 OS 3 Di Christoph Kreitz/Tim Richter/ Nuria Brede/Sebastian Böhne/Mario Frank Cluster Computing PrüfungsNr: 556/557, Prüfer: Bettina Schnor, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Pr, Kapazität: 12 FS 2 Do Bettina Schnor UPP-Modul: ICS 6030, COS Computational Intelligence PrüfungsNr: 830/, Prüfer: Torsten Schaub, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung: Th, Pr, An, Kapazität: V 2 Fr H01 (Am im Raum 3.06.S23) Torsten Schaub Ü 2 G1 Do S Martin Gebser Ü 2 G2 Do S Martin Gebser Projekt Di (Termine nur nach Ankündigung!) Martin Gebser UPP-Modul: ICS 1080, COS #1080, alt: INF 1070; WIN 1070 Didaktik der Informatik I PrüfungsNr: 210/, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Hu, Kapazität: 25 V 2 Do Andreas Schwill Ü 2 Di Mareen Przybylla UPP-Modul: ICS 2080; COS #2080; BL INF DDI-1; WIN BVMINF100, BVMINF200 Inferenz-Methoden PrüfungsNr: 269/, Prüfer: Christoph Kreitz, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Th, An, Kapazität:

3 V Mo Christoph Kreitz V 1. W Mi Christoph Kreitz Ü 2. W Mi Christoph Kreitz UPP-Modul: ICS 2060; COS #2060, 8060 Intelligente Datenanalyse PrüfungsNr: 957/958, Prüfer: Tobias Scheffer, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Pr, Kapazität: V 2 Mo H Tobias Scheffer Ü 2 G1 Di Tobias Scheffer Ü 2 G2 Do Tobias Scheffer Ü 2 G3 Fr Tobias Scheffer UPP-Modul: ICS 1070; COS 7020, 8020; COG BM2, alt: INF 1070; WIN 1070 Internet of Things PrüfungsNr: 1016/1017, Prüfer: Bettina Schnor, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, Pr, An, Kapazität: S Di Bettina Schnor Themenvergabe am ! Danach als Blockveranstaltung geplant. Knowledge-based Systems PrüfungsNr: 997/, Prüfer: Torsten Schaub, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung: Pr, An, Te, Kapazität: 16 Projekt Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: ICS 6020; WIN BVMINF100, BVMINF200 Knowledge Representation and Reasoning in Practice PrüfungsNr: /, Prüfer: Torsten Schaub, individuelle Leistung: nein, LP: 12, Bachelor/-, Fachzuordnung: Pr, An, Te, Kapazität: 16 Projekt Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: ICS 6020 Paralleles Rechnen PrüfungsNr: 686/, Prüfer: Bettina Schnor, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Pr, Te, Kapazität: 20 V Mo (Am im Raum 3.06.S21) Steffen Christgau Ü Di (Am im Raum 3.06.S12) Alexander Lindemann UPP-Modul: ICS 1040; COS 7010 (Nur nach Absprache mit Prof. Schnor!); WIN BVMINF100, BVMINF200 Prozessorarchitektur PrüfungsNr: 963/964, Prüfer: Mario Schölzel, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Te, Kapazität: 30 V 2 Mi Mario Schölzel PR 2 Mo / Max Frohberg UPP-Modul: ICS 2050, COS #2050, 8050, 8051 Software Engineering II PrüfungsNr: 25/, Prüfer: Christian Hammer, individuelle Leistung: nein, LP: 6, Bachelor/-, Fachzuordnung: Pr, Kapazität: 60 V 2 Do H Christian Hammer Ü 2 G1 Mo Christian Hammer Ü 2 G2 Di (Am im Raum 3.06.S12) Christian Hammer

4 UPP-Modul: ICS 2040; COS #2040, 8040;WIN BVMINF300; alt: INF 1110; WIN 1110, The Second Machine Age PrüfungsNr: 461/, Prüfer: Gerrit Kalkbrenner, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Pr, An, Te, Kapazität: S 2 Blockveranstaltung! Siehe Aushang. Gerrit Kalkbrenner Verteilte Systeme PrüfungsNr: 127/, Prüfer: Bettina Schnor, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Pr, Kapazität: V 2 Mi Bettina Schnor Ü 2 Fr Petra Vogel UPP-Modul: ICS 2010; COS #2010, 8010 Virtual Reality im soziologischen und psychologischen Kontext PrüfungsNr: /, Prüfer: Raphael Zender, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: An, Hu, Kapazität: S Di (Am im Raum 3.06.S12) UPP-Modul: ICS 6020; COS 8030, 8032, 8033, 8080,10010, Raphael Zender (Ab Semester empfohlen) Agent-technology PrüfungsNr: 944/, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 6, Bachelor/-, Fachzuordnung: Th, Pr, An, Kapazität: S 2 Do Torsten Schaub PR Torsten Schaub/Javier Romero Davila UPP-Modul: ICS 2070; COS #2070; WIN BVMINF100, BVMINF200 Codes mit Majority-Decodierung PrüfungsNr: 588/589, Prüfer: Michael Gössel, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Te, Kapazität: 12 Projekt Mo Michael Gössel UPP-Modul: ICS 6030, Datenbanken und Informationssysteme PrüfungsNr: /, Prüfer: Key Pousttchi, individuelle Leistung: nein, LP: 6, -/- Fachzuordnung:, Kapazität: V Fr H04 (Am im 3.01.H09) Key Pousttchi Ü Do H Key Pousttchi UPP-Modul: ICS 1050 Extensive Logistics PrüfungsNr: NNN/NNN, Prüfer: Torsten Schaub, individuelle Leistung: nein, LP: 12, Bachelor/Master, Fachzuordnung: Pr, An, Te, Kapazität: Projekt Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: ICS 6020; COS 10010; COG PM3 Fehlertolerantes Rechnen PrüfungsNr: 145/656, Prüfer: Michael Gössel, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Te, Kapazität: 12 OS Mi Michael Gössel

5 Individuelles Praktikum 1 PrüfungsNr: /, Prüfer: Tobias Scheffer, individuelle Leistung: ja, LP: 6, Bachelor/-, Fachzuordnung: 6, Kapazität: B PR Platzhalter in PULS für individuelle Praktika mit 6LP. Nur mit Zustimmung eines Prüfungsberechtigten! Alle Professoren UPP-Modul: ICS 6020; COS 8021, 8071; COG AM21, AM22, PM2 Informatik und Gesellschaft PrüfungsNr: 336/, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Hu, Kapazität: V 2 Mi Andreas Schwill Ü 2 Fr Andreas Schwill UPP-Modul: ICS 2080, COS 8080, WIN BVMINF100 Knowledge-based Systems PrüfungsNr: 846/847, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, Pr, An, Te, Kapazität: 16 FS 2 Mi Torsten Schaub Knowledge Representation and Reasoning PrüfungsNr: 844/845, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, Pr, An, Te, Kapazität: 16 FS 2 Mi Torsten Schaub Komplexe Multimediale Anwendungsarchitekturen PrüfungsNr: 840/841, Prüfer: Ulrike Lucke, individuelle Leistung: nein, LP: 3, Bachelor/Master, Fachzuordnung: Pr, An, Kapazität: 12 FS 2 Di Ulrike Lucke/Stefanie Lemcke/Francis Zinke Raphael Zender/Alexander Kiy Lehrstuhlkolloquium II - Diplomanden- und Doktorandenseminar - Didaktik der Informatik PrüfungsNr: 823/824, Prüfer: Andreas Schwill, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, An, Hu, Kapazität: 10 OS 2 Do Andreas Schwill Logistics PrüfungsNr: 1019/1021, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Pr, An, Te, Kapazität: Projekt 2 Raum und Termin nach Absprache! Torsten Schaub UPP-Modul: COS Lokale Fehlerkorrektur PrüfungsNr: 588/589, Prüfer: Michael Gössel, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Te, Kapazität: 12 Projekt Mo Michael Gössel UPP-Modul: ICS 2050, 6020; COS 8050, 8051, 8061, Netzbasierte Datenverarbeitung PrüfungsNr: 713/714, Prüfer: Ulrike Lucke, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Pr, An, Te, Kapazität: V 2 Di (Am im Raum 3.06.S12) Ulrike Lucke Ü 2 Do Stefanie Lemcke UPP-Modul: ICS 2030; COS #2030; WIN BVMINF100, BVMINF200; alt: INF 1070; WIN 1070

6 Netzbasierte Speichersysteme PrüfungsNr: 725/726, Prüfer: Ulrike Lucke, individuelle Leistung: nein, LP: 6, Bachelor/Master, Fachzuordnung: Pr, An, Te, Kapazität: V 2 Do Ulrike Lucke Ü 2 Mi Stefanie Lemcke UPP-Modul: COS 7030??? Schulpraktische Studien PrüfungsNr: 230/, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 3, Bachelor/-, Fachzuordnung: Hu, Kapazität: 6 S Termine nach Vereinbarung. Siehe Webseite! Andreas Schwill UPP-Modul: BL INF SPS Software Engineering PrüfungsNr: 506/, Prüfer: Christian Hammer, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Pr, Te, An, Kapazität: 15 FS 2 Do Christian Hammer Software Security PrüfungsNr: 1022/1023, Prüfer: Christian Hammer, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Pr, Kapazität: 24 V Mi H Christian Hammer PR Nach Absprache! Christian Hammer UPP-Modul: ICS 2040, 2041; COS 8040, 8041; WIN BVMINF100, BVMINF200, BVMINF300 Statische Programmanalyse PrüfungsNr: 1022/1023, Prüfer: Christian Hammer, individuelle Leistung: ja, LP: 6, Bachelor/Master, Fachzuordnung: Pr, Kapazität: 24 V Mo Christian Hammer PR Nach Absprache! Christian Hammer UPP-Modul: ICS 2040, 2041; COS 8040, 8041; WIN BVMINF100, BVMINF200, BVMINF300 Theorie-Kolloquium PrüfungsNr: 618/619, Prüfer: Christoph Kreitz, individuelle Leistung: ja, LP: 3, Bachelor/Master, Fachzuordnung: Th, An, Kapazität: 12 OS 2 Di Christoph Kreitz/Tim Richter/ Nuria Brede/Sebastian Böhne/Mario Frank Ausdrücklich nur für Masterstudiengänge zulassungsfähig! Studierende nach alten Ordnungen (alter B/M, Diplom, Magister, LA) können diese Angebote ebenfalls noch nutzen. Begleitseminar zum Praxissemester PrüfungsNr: /770, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 0, -/Master, Fachzuordnung: Hu, Kapazität: 10 S Blockveranstaltung! Externe Zeitvorgaben Alexander Hacke Cognitive technologies PrüfungsNr: /973, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung: Th, Pr, An, Kapazität: S Do Torsten Schaub Pr Nach Absprache! Torsten Schaub/Javier Romero Davila

7 UPP-Modul: COS 8070 Current Topics in Computational Intelligence PrüfungsNr: /937, Prüfer: Torsten Schaub, individuelle Leistung: nein, LP: 6, -/Master, Fachzuordnung: Th, Pr, An, Kapazität: S 2 Do Torsten Schaub UPP-Modul: COG AM31, AM32 Javier Romero Davila Data Mining and Knowledge Discovery PrüfungsNr: /, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung: Pr,An, Hu, Kapazität: V/Ü 4 Mo H Christoph Schommer UPP-Modul: COS 7020, 8020, 8021, 8070; COG AM32, AM21 Didaktik der Informatik II PrüfungsNr: /248, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 6, -/Master, Fachzuordnung: Hu, Kapazität: 15 V 2 Do Andreas Schwill Ü 2 Mi Mareen Przybylla UPP-Modul: COS 8080; ML INF DDI-2 Didaktik der Informatik II Teil 1 PrüfungsNr: /837, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 3, -/Master, Fachzuordnung: Hu, Kapazität: 15 V 2 Do Andreas Schwill Ü 2 Mi Mareen Przybylla Hinweis: Diese LV läuft gemeinsam mit der LV Didaktik II. Teilnehmer dieses Moduls nehmen nur an der 1. Hälfte der LV teil. Didaktik der Informatik II Teil 2 PrüfungsNr: /838, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 3, -/Master, Fachzuordnung: Hu, Kapazität: 15 V 2 Do Andreas Schwill Ü 2 Mi Mareen Przybylla Hinweis: Diese LV läuft gemeinsam mit der LV Didaktik II. Teilnehmer dieses Moduls nehmen nur an der 2. Hälfte der LV teil. Extensive Declarative Problem Solving PrüfungsNr: /NNN, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 12, -/Master, Fachzuordnung: Pr, An, Kapazität: Projekt 2 Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: COS 10010; COG PM3 Extensive Solver Construction PrüfungsNr: /NNN, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 12, -/Master, Fachzuordnung: Pr, An, Kapazität: 16 Projekt 2 Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: COS 10010; COG PM3 Gemeinsam Forschen PrüfungsNr: /, Prüfer: Ulrike Lucke, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung: Pr, An, Hu, Kapazität: S Do Julian Dehne UPP-Modul: COS #2080, 8030, 8032, 8080, 10010, 10020

8 Geomatik PrüfungsNr: /926, Prüfer: Joachim Wächter, individuelle Leistung: nein, LP: 3, -/Master, Fachzuordnung: Pr, An, Kapazität: 12 V Mi H Joachim Wächter UPP-Modul: COS 7011 Humanwissenschaftliche Informatik PrüfungsNr: /1003, Prüfer: Andreas Schwill, individuelle Leistung: nein, LP: 3, -/Master, Fachzuordnung: Hu, Kapazität: S Do Andreas Schwill Individuelles interdisziplinäres Projekt 1 PrüfungsNr: /, Prüfer: Tobias Scheffer, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung:, Kapazität: PR Platzhalter in PULS für individuelle Projekte mit 6LP. Nur mit Zustimmung eines Prüfungsberechtigten! Alle Professoren UPP-Modul: COS 8020, 10010; MAT MATVMD861 Individuelles interdisziplinäres Projekt 2 PrüfungsNr: /, Prüfer: Tobias Scheffer, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung:, Kapazität: PR Platzhalter in PULS für individuelle Projekte mit 6LP. Nur mit Zustimmung eines Prüfungsberechtigten! Alle Professoren UPP-Modul: COS 8020, Machine learning Journal Club PrüfungsNr: /683, Prüfer: Tobias Scheffer, individuelle Leistung: ja, LP: 3, -/Master, Fachzuordnung: Th, Pr, Kapazität: 16 FS 2 Do Tobias Scheffer UPP-Modul: COS Solver Construction PrüfungsNr: /534, Prüfer: Torsten Schaub, individuelle Leistung: ja, LP: 6, -/Master, Fachzuordnung: Pr, An, Kapazität: 16 Projekt 2 Raum und Termin nach Absprache! Torsten Schaub/Martin Gebser UPP-Modul: COS Weitere Angebote: Informatik-Kolloquium K Bitte Aushänge und Ankündigungen auf der Homepage beachten. en Zu den Angeboten von Prof. Gronau gibt es auf seiner Webseite weitere Details. Legende zur Bedeutung der Abkürzungen unter dem Titel der Veranstaltung # vor der Modulnummer kennzeichnet ein Brückenmodul, das nach der Ordnung nur mit Zustimmung des Prüfungsausschusses angerechnet werden kann. ICS BSc. Informatik/Computational Science, auch Lehramt ab WS13/14 COS MSc. Computational Science INF BSc. oder MSc. Informatik, auch Lehramtsordnungen vor WS13/14 COG MSc. Cognitive Systems Die Hinweise heben einige Möglichkeiten der Einschreibungen besonders hervor. Nach geltenden Ordnungen sind meist weitere Möglichkeiten vorhanden.

9 LP Bachelor/Master Fachgebietszuordnungen Leistungspunkte Zuordnung Bachelor und/oder Master-Studiengang nach neuen Ordnungen An Angewandte Informatik Hu Humanwissenschaftliche Informatik Pr Praktische Informatik Te Technische Informatik Th Theoretische Informatik