Aktuelle Veranstaltungen
OE = Orientierungseinheit; OS = Oberseminar; PS = Proseminar; PJ(S) = Projekt(seminar); S = Seminar; P = Praktikum; UB = Übung; TU = Tutorium; VL = Vorlesung
Wintersemester 2012/2013
Bachelor-Studium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk und D. Moldt)
- PS 64-122 (Modul InfB-Pros/AP2): Organisationen und soziale Netzwerke. (Julia Fix und D. Moldt)
- S 64-160 (Modul InfB-Sem/IP12): Grundlagen der Agententechnik. (D. Moldt)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Softwareentwicklung. (D. Moldt, M. Duvigneau, L. Cabac und T. Wagner)
Master-Studium
- VL 64-301 (Modul InfM-FGI3/MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Köhler-Bußmeier)
- S 64-302 (Modul InfM-FGI3/MPM1): Seminar FGI 3: Logik und Semantik von Programmen. (M. Köhler-Bußmeier und R. Valk)
- VL 64-438 (Modul InfM-BuK/MV1): Berechenbarkeit und Komplexität (BuK). (N.N.)
Diplom-Hauptstudium
- VL+ÜB 64-060 (statt PNL): Formale Grundlagen der Informatik II (FGI 2). (M. Köhler-Bußmeier und D. Moldt)
- VL 64-301 (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Köhler-Bußmeier)
- VL 64-438 (statt AuK): Berechenbarkeit und Komplexität (BuK). (N.N.)
- S 64-160: Grundlagen der Agententechnik. (D. Moldt)
- S 64-302: Seminar FGI 3: Logik und Semantik von Programmen. (M. Köhler-Bußmeier und R. Valk)
- PJ 64-184: Agentenorientierte Softwareentwicklung. (D. Moldt, M. Duvigneau, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik
Sommersemester 2012
Bachelor-Studium
- VL+ÜB 64-050 (Modul IP8):
Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
(C. Habel und M. Köhler-Bußmeier)
- ÜB 64-051: Übungsgruppen zu FGI 1.
- TU 64-052/053/054: Unterstützende Lehre zu FGI 1 (Saalübung, Beratung und Repetitorium). (F. Heitmann und M. Hewelt)
- PS 64-129 (Modul AP2): Agenten, Akteure und Objekte in der Modellierung und in Programmiersprachen. (D. Moldt)
- PS 64-130 (Modul AP2): Endliche Automaten. (M. Kudlek)
- S 64-160 (Modul IP12): Wirtschaftswissenschaftliche und informatische Perspektiven auf soziale Netzwerke. (D. Moldt)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (L. Cabac, D. Moldt)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
- OS 64-477: Theoretische Informatik
Master-Studium (Informatik)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (L. Cabac, D. Moldt)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
- Modul MV-KVS-KD (Intelligente kooperierende Dienste):
- VL 64-412: Agenten und Organisationen. (M. Köhler-Bußmeier)
- VL 64-413: Agenten und Multiagentensysteme. (L. Cabac, D. Moldt)
- Modul MV3 (SuV):
- VL 64-442: Model Checking. (M. Köhler-Bußmeier, R. Valk)
- VL 64-443: Infinite State Systems. (M. Köhler-Bußmeier, R. Valk)
- Modul MInf-MW3
- VL 64-632: Kryptographie und Anwendungen. (M. Kudlek und Martin Lehmann)
- OS 64-477: Theoretische Informatik
Diplom-Hauptstudium
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (L. Cabac, D. Moldt)
- VL 64-412: Agenten und Organisationen. (M. Köhler-Bußmeier)
- VL 64-413: Agenten und Multiagentensysteme. (L. Cabac, D. Moldt)
- VL 64-442: Model Checking. (M. Köhler-Bußmeier, R. Valk)
- VL 64-443: Infinite State Systems. (M. Köhler-Bußmeier, R. Valk)
- VL 64-632: Kryptographie und Anwendungen. (M. Kudlek und Martin Lehmann)
- S 64-160 (Modul IP12): Wirtschaftswissenschaftliche und informatische Perspektiven auf soziale Netzwerke. (D. Moldt)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
- OS 64-477: Theoretische Informatik
