Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß
Theoretische Grundlagen der Informatik
Veranstaltungen aus vergangenen Semestern
OE = Orientierungseinheit; OS = Oberseminar; PS = Proseminar; PJ(S) = Projekt(seminar); S = Seminar; UB = Übung; TU = Tutorium; VL = Vorlesung
Sommersemester 2015
Bachelor-Studium
- VL+ÜB 64-050 (Modul IP8) - Pflichtbereich:
- OS 64-477: Theoretische Informatik
Master-Studium (Informatik)
- Modul Masterprojekt und integriertes Seminar Algorithm Engineering
- Pr 64-458: Projekt Algorithm Engineering (F. Heitmann)
- Sem 64-459: Seminar Algorithm Engineering (F. Heitmann)
- Modul Interaktive Kooperierende Dienste, IKD
- VL 64-412: Vorlesung Agenten und Organisationen (D. Moldt)
- VL 64-413: Vorlesung Agenten und Multiagentensysteme (L. Cabac)
- Modul Modellierung verteilter Systeme, MvS
- VL 64-370: Vorlesung Modelle von Petrinetzen (D. Moldt)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen: Verteilte Algorithmen (R. Valk)
- Sem 64-372: Seminar MvS D. Moldt R. Valk
- OS 64-477: Theoretische Informatik
Diplom-Hauptstudium
- OS 64-477: Theoretische Informatik
- Modul Interaktive Kooperierende Dienste, IKD
- VL 64-412: Vorlesung Agenten und Organisationen (D. Moldt)
- VL 64-413: Vorlesung Agenten und Multiagentensysteme (L. Cabac)
Wintersemester 2014/2015
Bachelor-Studium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk und D. Moldt)
- S 64-160 (Modul InfB-Sem/IP12): Grundlagen der Agententechnik. (D. Moldt)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik
Master-Studium
- VL 64-301 (Modul InfM-FGI3/MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Kufleitner)
- S 64-302 (Modul InfM-FGI3/MPM1): Seminar FGI 3: Logik und Semantik von Programmen. (M. Köhler-Bußmeier, M. Kufleitner, R. Valk)
- VL 64-446: Algorithmen für die Kryptographie (M. Kufleitner)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik
Diplom-Hauptstudium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk und D. Moldt)
- VL 64-301 (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Kufleitner)
- S 64-302: Seminar FGI 3: Logik und Semantik von Programmen. (R. Valk und M. Köhler-Bußmeier)
- S 64-160: Grundlagen der Agententechnik. (D. Moldt)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik
Sommersemester 2014
Bachelor-Studium
- VL+ÜB 64-050 (Modul IP8) - Pflichtbereich:
- Praktikum 64-153 - Pflichtbereich: Praktikum Verteilte Entwicklung verteilter Software (L. Cabac, D. Moldt)
- Modul WPM7 (MVS) - Wahlpflichtbereich:
- VL 64-370: Modelle von Petrinetzen (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen (D. Moldt, R. Valk)
- S 64-372: Seminar Modellierung verteilter Systeme (D. Moldt, R. Valk)
- Proseminar 64-130: Proseminar Nebenläufigkeit in der Software-Entwicklung (D. Moldt)
- S 64-651: Abschlussarbeitenseminar (D. Moldt)
- OS 64-477: Theoretische Informatik (L. Cabac, J. Fix, F. Heitmann, D. Moldt, R. Valk, T. Wagner)
Master-Studium (Informatik)
- Modul WPM7 (MVS) - Wahlpflicht:
- VL 64-370: Modelle von Petrinetzen (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen (D. Moldt, R. Valk)
- S 64-372: Seminar Modellierung verteilter Systeme (D. Moldt, R. Valk)
- Modul SuV - Vertiefung:
- VL 64-442: Spezifikation und Verifikation (F. Heitmann)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik (L. Cabac, J. Fix, F. Heitmann, D. Moldt, R. Valk, T. Wagner)
Diplom-Hauptstudium
- Modul WPM7 (MVS) - Wahlpflichtbereich (Diese Veranstaltungen können einzeln belegt werden.):
- VL 64-370: Modelle von Petrinetzen (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen (D. Moldt, R. Valk)
- S 64-372: Seminar Modellierung verteilter Systeme (D. Moldt, R. Valk)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik (L. Cabac, J. Fix, F. Heitmann, D. Moldt, R. Valk, T. Wagner)
Wintersemester 2013/2014
Bachelor-Studium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk und D. Moldt)
- S 64-172 (Modul InfB-Sem): Seminar Cryptocomplexity (F. Heitmann)
- S 64-160 (Modul InfB-Sem/IP12): Grundlagen der Agententechnik. (D. Moldt)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik (F. Heitmann, D. Moldt)
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. (F. Heitmann und R. Valk)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik (F. Heitmann, D. Moldt)
Diplom-Hauptstudium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk 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)
- S 64-302: Seminar FGI 3: Logik und Semantik von Programmen. (F. Heitmann und R. Valk)
- S 64-160: Grundlagen der Agententechnik. (D. Moldt)
- PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (D. Moldt, L. Cabac und T. Wagner)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik (F. Heitmann, D. Moldt)
Sommersemester 2013
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.
- PS 64-129 (Modul AP2): Theorien und Konzepte von Geschäftsprozessen, Workflows und Clouds für mobile Systeme. (D. Moldt)
- S 64-160 (Modul IP12): Soziale Medien, Soziale Software und Soziale Netzwerke. (J. Fix, D. Moldt)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (M. Köhler-Bußmeier, D. Moldt)
- S 64-372: Praktikum Modellierung verteilter Systeme. (L. Cabac, M. Köhler-Bußmeier)
- OS 64-477: Theoretische Informatik (M. Köhler-Bußmeier, D. Moldt)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
Master-Studium (Informatik)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (M. Köhler-Bußmeier, D. Moldt)
- S 64-372: Praktikum Modellierung verteilter Systeme. (L. Cabac, M. Köhler-Bußmeier)
- Modul MV-KVS-KD (Intelligente kooperierende Dienste):
- VL 64-412: Agenten und Organisationen. (D. Moldt, L. Cabac)
- VL 64-413: Agenten und Multiagentensysteme. (D. Moldt, L. Cabac)
- Modul MV3 (BUK):
- VL 64-438: Berechenbarkeit und Komplexität: Verteilte Algorithmen. (R. Valk)
- VL 64-439: Berechenbarkeit und Komplexität. (M. Köhler-Bußmeier)
- OS 64-477: Theoretische Informatik (M. Köhler-Bußmeier, D. Moldt)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
Diplom-Hauptstudium
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (D. Moldt, R. Valk)
- VL 64-371: Höhere Modellierungskonzepte und -algorithmen. (M. Köhler-Bußmeier, D. Moldt)
- S 64-372: Praktikum Modellierung verteilter Systeme. (L. Cabac, M. Köhler-Bußmeier)
- Modul MV-KVS-KD (Intelligente kooperierende Dienste):
- VL 64-412: Agenten und Organisationen. (D. Moldt, L. Cabac)
- VL 64-413: Agenten und Multiagentensysteme. (D. Moldt, L. Cabac)
- Modul MV3 (BUK):
- VL 64-438: Berechenbarkeit und Komplexität. (R. Valk)
- VL 64-439: Berechenbarkeit und Komplexität. (M. Köhler-Bußmeier)
- OS 64-477: Theoretische Informatik (M. Köhler-Bußmeier, D. Moldt)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
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)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
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.)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
Diplom-Hauptstudium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (R. Valk 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)
- OS 64-477: Theoretische Informatik (M. Köhler-Bußmeier, D. Moldt)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
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 (M. Köhler-Bußmeier, D. Moldt)
Wintersemester 2011/2012
Bachelor-Studium
- VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (M. Köhler-Bußmeier und D. Moldt)
- PS 64-122 (Modul InfB-Pros/AP2): Endliche Automaten. (M. Kudlek und M. Köhler-Bußmeier)
- 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 M. Wester-Ebbinghaus)
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. (R. Valk)
- VL 64-432 (Modul InfM-SAMW/MV-AGIS4): Systemanalytische Modellbildungsmethoden und -werkzeuge. (B. Page, P.J. Göbel und D. Moldt)
- S 64-433 (Modul InfM-SAMW/MV-AGIS4): Integriertes Seminar: Systemanalytische Modellbildungsmethoden und -werkzeuge. (B. Page, J. Fix und P.J. Göbel)
- 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.)
- VL 64-432: Systemanalytische Modellbildungsmethoden und -werkzeuge. (B. Page, P.J. Göbel und D. Moldt)
- S 64-160: Grundlagen der Agententechnik. (D. Moldt)
- S 64-302: Seminar FGI 3: Logik und Semantik von Programmen. (R. Valk)
- S 64-433: Integriertes Seminar: Systemanalytische Modellbildungsmethoden und -werkzeuge. (B. Page, J. Fix und P.J. Göbel)
- PJ 64-184: Agentenorientierte Softwareentwicklung. (D. Moldt, M. Duvigneau, L. Cabac und M. Wester-Ebbinghaus)
- S 64-651: Abschlussarbeitenseminar. (D. Moldt)
- OS 64-477: Theoretische Informatik
Sommersemester 2011
Bachelor-Studium
- VL+ÜB 64-050 (Modul IP8):
Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
(C. Eschenbach und M. Köhler-Bußmeier)
- ÜB 64-051: Übungsgruppen zu FGI 1.
- TU 64-052/053/054: Unterstützende Lehre zu FGI 1 (Beratung, Saalübung und Repetitorium). (L. Cabac und M. Duvigneau)
- PS 64-129 (Modul AP2): Schriftsysteme, TeX und Metafont. (M. Kudlek)
- PS 64-127: Business Process Modeling / Geschäftsprozessmodellierung. (D. Moldt)
- S 64-172 (Modul IP12 bzw. SSE-IP16): Komplexität: Logik, Automaten und Spiele. (F. Heitmann und M. Köhler-Bußmeier)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (R. Valk)
- VL 64-371: Modellierungstechniken: Syntax, Semantik und Pragmatik. (D. Moldt)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
Master-Studium (Informatik)
- Modul WPM7 (MVS):
- VL 64-370: Modelle von Petrinetzen. (R. Valk)
- VL 64-371: Modellierungstechniken: Syntax, Semantik und Pragmatik. (D. Moldt)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
- Modul MV-KVS-KD (Intelligente kooperierende Dienste):
- VL 64-412: Verteilte Algorithmen. (R. Valk)
- VL 64-413: Agenten und Multiagentensysteme. (D. Moldt)
Diplom-Hauptstudium
- VL 64-370: Modelle von Petrinetzen. (R. Valk)
- VL 64-371: Modellierungstechniken: Syntax, Semantik und Pragmatik. (D. Moldt)
- VL 64-412: Verteilte Algorithmen. (R. Valk)
- VL 64-413: Agenten und Multiagentensysteme. (D. Moldt)
- VL 64-632: Kryptographie und Anwendungen. (M. Kudlek und Martin Lehmann)
- VL 64-634: Selbstorganisation und Kooperation in Agentensystemen (M. Köhler-Bußmeier)
- PS 64-127: Business Process Modeling / Geschäftsprozessmodellierung. (D. Moldt)
- S 64-172: Komplexität: Logik, Automaten und Spiele. (F. Heitmann und M. Köhler-Bußmeier)
- S 64-372: Seminar zu Themen der Modellierung (D. Moldt)
- OS 64-477: Theoretische Informatik
Wintersemester 2010/2011
Bachelor-Studium
- VL+ÜB (Modul IP4): Algorithmen und Datenstrukturen (AD). (M. Jantzen, M. Köhler-Bußmeier und F. Heitmann)
- VL+ÜB 64-060 (Modul IP9):
Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen.
(M. Köhler-Bußmeier, D. Moldt und R. Valk)
- Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
- S 64-160 (Modul IP12): Grundlagen der Agententechnik (D. Moldt)
- PJ 64-184 (Modul IP13): Agentenorientierte Softwareentwicklung. (D. Moldt und M. Wester-Ebbinghaus und L. Cabac)
Master-Studium
- VL 64-301 (Modul MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Köhler-Bußmeier und M. Jantzen)
- S 64-302 (Modul MPM1): Seminar FGI 3: Logik und Semantik von Programmen. (M. Köhler-Bußmeier und R. Valk)
- VL 64-438 (Modul MV1): Berechenbarkeit und Komplexität (BuK). (M. Jantzen, M. Köhler-Bußmeier und F. Heitmann)
Diplom-Hauptstudium
- VL 64-060 (statt PNL):
Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen.
(M. Köhler-Bußmeier, D. Moldt und R. Valk)
- Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
- VL 64-301 (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Köhler-Bußmeier und M. Jantzen)
- VL 64-438 (statt AuK): Berechenbarkeit und Komplexität. (M. Jantzen, M. Köhler-Bußmeier und F. Heitmann)
- VL 64-630: Multiset-Sprachen und Membrane-Computing. (M. Kudlek und M. Jantzen)
- 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)
- P?S: Kalendersysteme. (M. Kudlek)
- PJ 64-184: Agentenorientierte Softwareentwicklung. (D. Moldt und M. Wester-Ebbinghaus)
- OS 64-477: Theoretische Informatik
Sommersemester 2010
Bachelor-Studium (Informatik)
- VL+ÜB 64-050 (Modul IP8):
Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
(C. Habel und M. Jantzen)
- ÜB 64-051: Übungsgruppen zu FGI 1.
- TU 64-052/053/054: Unterstützende Lehre zu FGI 1 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
- S 64-160 (Modul IP12): Process Modeling / Geschäftsprozessmodellierung. (D. Moldt)
- S 64-172 (Modul IP12): Formale Sprachen. (M. Jantzen)
- PS 64-123 (Modul AP2): Endliche Automaten. (M. Kudlek)
- S 64-651 (keinem Modul zugeordnet): Abschlussarbeitenseminar. (M. Wester-Ebbinghaus und D. Moldt)
Master-Studium (Informatik)
- Modul MV2-Mod (Modellierung):
- VL 64-440: Modelle von Petrinetzen. (R. Valk)
- VL 64-441: Modellierungstechniken: Syntax, Semantik und Pragmatik. (D. Moldt)
- Modul MV3-SuV (Spezifikation und Verifikation):
- VL 64-442: Model Checking. (R. Valk)
- VL 64-443: Logik und Typtheorie. (M. Köhler-Bußmeier)
- S 64-651 (keinem Modul zugeordnet): Abschlussarbeitenseminar. (M. Wester-Ebbinghaus und D. Moldt)
Diplom-Hauptstudium
- VL 64-632: Kryptographie und Anwendungen. (M. Kudlek, R. Valk und Martin Lehmann)
- VL 64-634: Agenten und Mulitagentensysteme (D. Moldt)
- S 64-651: Abschlussarbeitenseminar. (M. Wester-Ebbinghaus und D. Moldt)
- S 64-160: Process Modeling / Geschäftsprozessmodellierung. (D. Moldt)
- S 64-172: Formale Sprachen. (M. Jantzen)
- VL 64-440: Modelle von Petrinetzen. (R. Valk)
- VL 64-441: Modellierungstechniken: Syntax, Semantik und Pragmatik. (D. Moldt)
- VL 64-442: Model Checking. (R. Valk)
- VL 64-443: Logik und Typtheorie. (M. Köhler-Bußmeier)
- OS 64-477: Theoretische Informatik
Wintersemester 2009/2010
Bachelor-Studium
- VL+ÜB (Modul IP4): Algorithmen und Datenstrukturen (AD). (M. Jantzen)
- VL+ÜB (Modul IP9): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen. (D. Moldt und R. Valk)
- S (Modul IP12): Grundlagen der Agententechnik (D. Moldt)
- PJ (Modul IP13): Agentenorientierte Softwareentwicklung. (L. Cabac, M. Duvigneau, D. Moldt und M. Wester-Ebbinghaus)
- PS (Modul AP2): Informatik und Gesellschaft. (R. Valk)
- PS (Modul AP2): Geschichte der Informatik. (M. Kudlek)
Master-Studium
- VL (Modul MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Jantzen)
- S (Modul MPM1): Seminar FGI 3: Logik und Semantik von Programmen. (R. Valk)
- VL (Modul MV1): Berechenbarkeit und Komplexität (BuK). (M. Jantzen)
Diplom-Hauptstudium
- VL (statt PNL): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen. (D. Moldt und R. Valk)
- VL (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Jantzen)
- VL (statt AuK): Berechenbarkeit und Komplexität. (M. Jantzen)
- VL: Einführung in Quantencomputing. (M. Kudlek und R. Valk)
- S: Grundlagen der Agententechnik (D. Moldt)
- S: Seminar FGI 3: Logik und Semantik von Programmen. (R. Valk)
- PJ: Agentenorientierte Softwareentwicklung. (L. Cabac, M. Duvigneau, D. Moldt und M. Wester-Ebbinghaus)
- OS: Theoretische Informatik
Sommersemester 2009
Bachelor-Studium (Informatik)
- VL+ÜB 64-050 (Modul IP8):
Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
(C. Habel und
M. Jantzen)
- UB 64-051: Übungsgruppen zu FGI 1.
- TU 64-052/053/054: Unterstützende Lehre zu FGI 1 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
- S 64-160 (Modul IP12): Formale Sprachen und AFL-Theorie (M. Jantzen)
- PJ 64-193 (Modul IP13): Spezifikation und Analyse verteilter Systeme. (F. Heitmann und M. Köhler-Bußmeier)
- PS 64-123 (Modul AP2): Kalendersysteme. (M. Kudlek)
Master-Studium (Informatik)
- Modul MV-KVS-KD (Intelligente kooperierende Dienste):
- VL 64-412: Verteilte Algorithmen. (Mo 10:15-11:45, C-221) (R. Valk)
- VL 64-413: The Corporate Web: Selbstorganisierende Architekturen. (Di 10:15-11:45, D-129) (M. Köhler-Bußmeier)
- Modul MV2-Mod (Modellierung):
- VL 64-440: Modelle von Petrinetzen. (Di 14:15-15:45, C-221) (R. Valk)
- VL 64-441: Objektorientierung und Petrinetze. (Mo 12:15-13:45, C-221) (R. Valk)
Bachelor-Studium (Wirtschaftsinformatik und Lehramt Informatik)
- VL+ÜB 64-050 (Modul IP8):
Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
(C. Habel und
M. Jantzen)
- UB 64-051: Übungsgruppen zu FGI 1.
- TU 64-052/053/054: Unterstützende Lehre zu FGI 1 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
Diplom-Grundstudium (Informatik) und Diplom-Hauptstudium (Wirtschaftsinformatik)
Diplom-Hauptstudium
- VL 64-632: Kryptographie und Anwendungen. (M. Kudlek und R. Valk)
- VL 64-634: Agenten und Mulitagentensysteme (Di 10 - 12, C-221) (L. Cabac und D. Moldt)
- VL 64-412: Verteilte Algorithmen. (Mo 10:15-11:45, C-221) (R. Valk)
- VL 64-413: The Corporate Web: Selbstorganisierende Architekturen. (Di 10:15-11:45, D-129) (M. Köhler-Bußmeier)
- VL 64-440: Modelle von Petrinetzen. (Di 14:15-15:45, C-221) (R. Valk)
- VL 64-441: Objektorientierung und Petrinetze. (Mo 12:15-13:45, C-221) (R. Valk)
- S 64-160: Formale Sprachen und AFL-Theorie (M. Jantzen)
- PJ 64-193: Spezifikation und Analyse verteilter Systeme. (F. Heitmann und M. Köhler-Bußmeier)
- OS 64-477: Theoretische Informatik
Wintersemester 2008/2009
Bachelor-Studium
- VL+ÜB (Modul IP4): Algorithmen und Datenstrukturen (AD). (M. Jantzen)
- VL+ÜB (Modul IP9): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen. (D. Moldt und R. Valk)
- S (Modul IP12): Grundlagen der Agententechnik (D. Moldt)
- S (Modul IP12): Die Kunst der Exposé-Erstellung für Abschlussarbeiten (D. Moldt und M. Duvigneau)
- PJ (Modul IP13): Agentenorientierte Softwareentwicklung. (L. Cabac, M. Duvigneau, M. Köhler-Bußmeier, D. Moldt und M. Wester-Ebbinghaus)
- PS (Modul AP2): Informatik und Gesellschaft. (R. Valk)
- PS (Modul AP2): Schriften, TeX und Metafont. (M. Kudlek)
Master-Studium
- VL (Modul MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Jantzen)
- S (Modul MPM1): Formale Grundlagen der Informatik III (FGI 3): Logik und Semantik von Programmen. (R. Valk)
- VL (Modul MV1): Berechenbarkeit und Komplexität. (M. Jantzen)
Diplom-Hauptstudium
- VL (statt PNL): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse paralleler und verteilter Systeme. (D. Moldt und R. Valk)
- VL (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (M. Jantzen)
- VL (statt AuK): Berechenbarkeit und Komplexität. (M. Jantzen)
- VL: Modal- und Temporallogik. (M. Kudlek und R. Valk)
- VL: Organisationen und Informatik. (D. Moldt)
- S: Grundlagen der Agententechnik (D. Moldt)
- S: Formale Grundlagen der Informatik III (FGI 3): Logik und Semantik von Programmen. (R. Valk)
- S: Die Kunst der Exposé-Erstellung für Abschlussarbeiten (D. Moldt und M. Duvigneau)
- PJ: Agentenorientierte Softwareentwicklung. (L. Cabac, M. Duvigneau, M. Köhler-Bußmeier, D. Moldt und M. Wester-Ebbinghaus)
- OS: Theoretische Informatik
Sommersemester 2008
Bachelor-Studium
- VL+ÜB (Modul IP8): Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit. (C. Habel und M. Jantzen)
- S (Modul IP12): Modellierung virtueller Welten. (R. von Lüde und D. Moldt)
- S (Modul IP12): Quantencomputing. (M. Kudlek)
Master-Studium
- VL (Modul MV2-Mod): Modelle von Petrinetzen (A). (Di 10 - 12, C-221) (R. Valk)
- VL (Modul MV3-SuV): Spezifikation und Verifikation (A): Model Checking. (Mo 10 - 12, C-221) (M. Köhler-Bußmeier und R. Valk)
- VL (Modul MV3-SuV): Spezifikation und Verifikation (B): Infinite State Systems. (Do 8 - 10, C-221) (M. Köhler-Bußmeier und R. Valk)
Diplom-Grundstudium und Wirtschaftsinformatik-Hauptstudium
Diplom-Hauptstudium
- VL: Agenten und Multiagentensysteme. (D. Moldt)
- VL: Verteilte Algorithmen (Fr 10 - 12, C-221) (R. Valk)
- VL: Komplexitätstheorie. (M. Jantzen)
- VL: Webengineering. (D. Moldt)
- VL: Modelle von Petrinetzen (A). (Di 10 - 12, C-221) (R. Valk)
- VL: Petrinetze zur Software-, Organisations und Gesellschaftsmodellierung (B). (Do 12 - 14, C-221) (D. Moldt)
- VL: Spezifikation und Verifikation (A): Model Checking. (Mo 10 12, C-221) (M. Köhler-Bußmeier und R. Valk)
- VL: Spezifikation und Verifikation (B): Infinite State Systems. (Do 8 - 10, C-221) (M. Köhler-Bußmeier und R. Valk)
- S: Modellierung virtueller Welten. (R. von Lüde und D. Moldt)
- S: Quantencomputing. (M. Kudlek)
- OS: Theoretische Informatik
Wintersemester 2007/2008
Bachelor-Studium
- VL+UB (Modul IP9): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse paralleler und verteilter Systeme. (D. Moldt und R. Valk)
- S (Modul IP12): Agententechnik. (D. Moldt)
- PJ (Modul IP13): Agentenorientierte Softwareentwicklung. (L. Cabac und D. Moldt)
- PS (Modul AP2): Automatenmodelle. (D. Moldt)
- PS (Modul AP2): Geschichte der Informatik. (M. Kudlek)
Master-Studium
- VL (Modul MPM1): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (R. Valk)
Diplom-Hauptstudium
- VL (statt PNL): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse paralleler und verteilter Systeme. (D. Moldt und R. Valk)
- VL (statt LOS, Teil 2): Formale Grundlagen der Informatik III (FGI 3): Semantik von Programmen. (R. Valk)
- VL: Modellierung und Petrinetze. (M. Köhler-Bußmeier)
- VL: Multiset-Sprachen und Membrane-Computing. (M. Kudlek)
- S: Agententechnik. (D. Moldt)
- PJ: Agentenorientierte Softwareentwicklung. (L. Cabac und D. Moldt)
- OS: Theoretische Informatik KVV-Eintrag
Sommersemester 2007
Bachelor-Studium
- S: Petrinetze. (D. Moldt)
Diplom-Grundstudium und Wirtschaftsinformatik-Hauptstudium
Diplom-Hauptstudium
- VL: Automaten und Komplexität (AUK). (M. Jantzen)
- VL: Logik und Semantik (LOS). (C. Eschenbach und M. Jantzen)
- VL: Agenten und Multiagentensysteme. (L. Cabac, M. Duvigneau, D. Moldt und H. Rölke)
- VL: Kryptographie mit Anwendungen. (M. Kudlek, M. Lehmann und M. Jantzen)
- VL: Quantencomputer. (M. Kudlek)
- VL: Formale Spezifikation. (M. Köhler-Bußmeier)
- S: Organisationen in Gesellschaften. (M. Köhler-Bußmeier und D. Moldt)
- S: Petrinetze. (D. Moldt)
- OS: Theoretische Informatik KVV-Eintrag
Wintersemester 2006/2007
Bachelor-Studium
- VL+UB (Modul IP9): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse paralleler und verteilter Systeme. (R. Valk und D. Moldt)
- PS (Modul AP2): Dienste: Konzeptionelle Grundlagen von Organisationen (IMG). (D. Moldt)
Diplom-Grundstudium
- PS: Dienste: Konzeptionelle Grundlagen von Organisationen (IMG). (D. Moldt)
Diplom-Hauptstudium
- VL:
Prozesse und Nebenläufigkeit.
(R. Valk und D. Moldt)
Gemeinsam veranstaltet mit: Formale Grundlagen der Informatik II (FGI 2) - VL: Verifikation von Systemmodellen. (R. Valk und M. Köhler-Bußmeier)
- VL: Modellierung und Petrinetze. (D. Moldt)
- VL: Komplexitätstheorie. (M. Jantzen)
- VL: Modal- und Temporallogik. (M. Jantzen und M. Kudlek)
- PJ: Agentenorientierte Softwareentwicklung. (D. Moldt, L. Cabac, N.N. und M. Köhler-Bußmeier)
- S: Projektmanagement. (D. Moldt)
- S: Perlen der theoretischen Informatik. (M. Jantzen)
- S: Kalendersysteme. (M. Kudlek)
- OS: Theoretische Informatik
Sommersemester 2006
Bachelor-Studium
- VL+ÜB (Modul IP8): Formale Grundlagen der Informatik I (FGI I). (C. Habel und M. Jantzen)
- PS: Modellbasierte Ansätze der Wirtschaftsinformatik. (D. Moldt)
- Methodenkompetenz (Modul AP1): Erstellen wissenschaftlicher Arbeiten mit LaTeX. (B. Farwer)
Diplom-Grundstudium
- VL: Formale Grundlagen der Informatik 4 (F4). (D. Moldt und R. Valk)
- PS: Theoretische Informatik. (M. Jantzen)
- PS: Modellbasierte Ansätze der Wirtschaftsinformatik. (D. Moldt)
Diplom-Hauptstudium
- VL: Automaten und Komplexität (AUK). (M. Jantzen)
- VL: Logik und Semantik (LOS). (C. Eschenbach und R. Valk)
- VL: Verteilte Algorithmen. (R. Valk)
- VL: Agenten und Multiagentensysteme. (L. Cabac, D. Moldt und M. Duvigneau)
- VL: Kryptographie mit Anwendungen. (M. Kudlek, M. Lehmann und D. Moldt)
- VL: Web Engineering (D. Moldt)
- VL:
Challenges of Computer Science: Security, Verification and all that ...
(B. Farwer)
[Beginn: 13.4.2006] - S: Organisationen in Gesellschaften. (M. Köhler-Bußmeier, D. Moldt und R. von Lüde)
- S: Petrinetze. (M. Köhler-Bußmeier, D. Moldt und M. Duvigneau)
- S: LaTeX, MetaFont und Schriftsysteme. (M. Kudlek)
- OS: Theoretische Informatik
Wintersemester 2005/2006
Bachelor-Studium
Diplom-Grundstudium
- VL: Informatik F3 (Formale Grundlagen der Informatik 3: Berechenbarkeit und Komplexität) , M. Jantzen
- P: Algorithmen zur Analyse von Petrinetzen (P) , L. Cabac, M. Köhler-Bußmeier und J. Ortmann
- PS: Prozesse: Konzepte - Modelle - Anwendungen , D. Moldt
- PS: Endliche Automaten , M. Jantzen
Diplom-Hauptstudium
- VL: Prozesse und Nebenläufigkeit , R. Valk
- TU: Kompakttutorium PNL , M. Köhler-Bußmeier
- VL: Algebraische Theorie formaler Sprachen , M. Jantzen
- VL: Modellbildung mittels semiformaler und formaler Techniken , R. Valk und D. Moldt
- VL: Substrukturelle Logiken , B. Farwer
- VL: Verifikation von Systemmodellen , R. Valk und D. Moldt
- VL: Gesteuerte Ersetzungen , M. Jantzen
- VL: Multisetsprachen und Membrane Computing , M. Kudlek
- VL: Quantencomputer , M. Kudlek
- PJ: Agentenorientierte Softwareentwicklung , M. Duvigneau, D. Moldt und H. Rölke
- S: Workflow and Web Services , D. Moldt
- S: Nichtklassische Logiken , B. Farwer
- OS: Theoretische Informatik
Sommersemester 2005
Grundstudium
- VL:
Informatik F2 (Automaten und formale Sprachen)
M. Jantzen
Hinweise, Skript, Aufgaben - VL:
Informatik F4 (Parallelität und Nebenläufigkeit)
R. Valk und D. Moldt
Hinweise, Skript, Aufgaben - PS:
Modellierung in Unternehmen
D. Moldt
Hinweise, Themen - PS:
Wissenschaftliches Arbeiten mit LaTeX
B. Farwer
Hinweise, Themen etc.
Hauptstudium
- VL:
Automaten und Komplexität (AUK)
M. Kudlek
Materialien:Skript - VL: Logik und Semantik (LOS), C. Eschenbach und R. Valk
Hinweise, Skript, Aufgaben- VL: Komplexitätstheorie M. Jantzen
Hinweise, Folienkopien- VL: Kryptographie M. Lehmann und M. Kudlek
- VL: Agenten- und Multiagentensysteme M. Köhler-Bußmeier, D. Moldt und H. Rölke
Hinweise, Folienkopien- VL: Verteilte Algorithmen R. Valk
- VL: Reduktionssysteme M. Jantzen
Hinweise, Folienkopien- VL: Modal- und Temporallogik M. Kudlek
- PJS: Logik und Typtheorie B. Farwer und M. Köhler-Bußmeier
- S: Koordinierung in Gesellschaften R. von Lüde, M. Köhler-Bußmeier und D. Moldt
Hinweise, Themen- S: Petrinetze M. Duvigneau und D. Moldt
Hinweise, Themen- OS: Theoretische Informatik
Wintersemester 2004/2005
Grundstudium
- VL:
Informatik F3 (Formale Grundlagen der Informatik 3: Berechenbarkeit und Komplexität) , M. Kudlek
Hinweise, Skript, Aufgaben
Hauptstudium
- VL: Prozesse und Nebenläufigkeit R. Valk
- Kompaktvorlesung: Systematik der Netzmodellierung Prof. Dr. Carl Adam Petri
- VL: Verifikation von Systemmodellen D. Moldt und R. Valk
- VL: Modellbildung mittels semiformaler und formaler Techniken D. Moldt und R. Valk
- VL: Automaten, Logiken und unendliche Spiele B. Farwer
- PJ: Agentenorientierte Softwareentwicklung M. Duvigneau, D. Moldt und H. Rölke
- Seminar (S): Sozionik Rolf von Lüde und D. Moldt
- PJS: Formale Spezifikation B. Farwer und M. Köhler-Bußmeier
- OS: Theoretische Informatik
Sommersemester 2004
Grundstudium
- VL:
Informatik F2 (Automaten und formale Sprachen) , M. Jantzen
Hinweise, Skript, Aufgaben - VL:
Informatik F4 (Parallelität und Nebenläufigkeit) , M. Jantzen
Hinweise, Skript, Aufgaben
Hauptstudium
- VL:
Automaten und Komplexität (AUK) , M. Kudlek
- VL:
Logik und Semantik (LOS) , Ch. Habel, R. Valk
Hinweise, Skript, Aufgaben - VL:
DNA-Computing
Prof. Dr. Jantzen
Hinweise, Folienkopien - VL:
Stochastische Petrinetze
Dr. Berndt Farwer und Dr. Heiko Rölke
Hinweise, Folienkopien - VL:
Agenten und Multiagentensysteme
Dr. Michael Köhler-Bußmeier
und Dr. Daniel Moldt
- Seminar (S): Emergenz und Strukturdynamiken in sozialen Systemen Dr. Michael Köhler-Bußmeier , Rolf von Lüde und Dr. Daniel Moldt
- Seminar (S): Programmiersprachenkonzepte Dr. Michael Duvigneau und Dr. Daniel Moldt
- Projekt (PJ): Maschinelles Beweisen Dr. Berndt Farwer , Dr. Michael Köhler-Bußmeier und Prof. Dr. Valk
- VL: Substrukturelle Logiken Dr. Berndt Farwer
Wintersemester 2003/2004
Grundstudium
- VL: Informatik F1 (Logik) M. Kudlek
- UB zu:
Informatik F1 (Logik)
M. Kudlek, M. Duvigneau, M. Braker, F. Heitmann, S. Rölke
Hinweise und Aufgaben - VL: Informatik F3 (Berechenbarkeit und Komplexität) M. Jantzen
- UB zu:
Informatik F3 (Berechenbarkeit und Komplexität) [nur WiInf und TU]
M. Jantzen, M. Köhler, H. Rölke
Hinweise, Skript, Aufgaben und Musterlösungen - Proseminar (PS): Theoretische Grundlagen von Workflows, Agenten und Web Services (IMG) Dr. Daniel Moldt
- Proseminar (PS): Wissenschaftliches Arbeiten mit TeX und LaTeX Dr. Berndt Farwer
Hauptstudium
- VL: Prozesse und Nebenläufigkeit Prof. Dr. Valk
- VL: Modellbildung mittels semiformaler und formaler Techniken Dr. Daniel Moldt und Prof. Dr. Valk
- VL: Verifikation von Systemmodellen Dr. Daniel Moldt und Prof. Dr. Valk
- VL: Automaten, Logiken und unendliche Spiele Dr. Berndt Farwer
- PJS: Logik für Multiagentensysteme Dr. Michael Köhler-Bußmeier , Dr. Daniel Moldt und Dr. Heiko Rölke
- PJ: Agentenorientierte Softwareentwicklung Dr. Michael Duvigneau, Dr. Daniel Moldt, Jan Ortmann und Dr. Heiko Rölke
- Seminar (S): Theorien, Modelle und Systeme emotionaler Agenten Rolf von Lüde und Dr. Daniel Moldt
Sommersemester 2003
Grundstudium
- VL:
Informatik F2 (Automaten und formale Sprachen) , M. Jantzen
Hinweise, Skript, Aufgaben - VL:
Informatik F4 (Parallelität und Nebenläufigkeit) , M. Jantzen
Hinweise, Skript, Aufgaben - Proseminar:
Mobilität
Dr. Daniel Moldt
Hinweise
Hauptstudium
- VL:
Automaten und Komplexität (AUK) , M. Kudlek
Hinweise, Skript, Aufgaben - VL:
Algorithmische Graphentheorie
Prof. Dr. Jantzen
Hinweise, Skript - VL:
Grundlagen adaptiver Systeme
Dr. Michael Köhler-Bußmeier
, Dr. Daniel Moldt und Dr. Heiko Rölke
Hinweise, Skript - Hauptstudiumsprojekt:
Referenznetze: Konzepte, Werkzeuge und Anwendungen
Dr. Michael Duvigneau, Dr. Olaf Kummer, Dr. Daniel Moldt und Dr. Heiko Rölke
Hinweise
Wintersemester 2002/2003
Grundstudium
- VL: Informatik F3 (Berechenbarkeit und Komplexität) Manfred Kudlek
- UB zu:
Informatik F3 (Berechenbarkeit und Komplexität) [nur WiInf und TU]
M. Kudlek, M. Köhler, H. Rölke
Hinweise, Skript, Aufgaben und Musterlösungen
Hauptstudium
- VL:
Prozesse und Nebenläufigkeit R. Valk
Hinweise, Skript, Aufgaben - VL: Zustands- und ablauforientierte Modellierung Dr. Daniel Moldt und Prof. Dr. Valk
- VL: Verifikation von Systemmodellen Dr. Daniel Moldt und Prof. Dr. Valk
- VL: Substrukturelle Logiken Dr. Berndt Farwer
- PJ: Adaptive Systeme Dr. Michael Köhler-Bußmeier , Dr. Daniel Moldt und Dr. Heiko Rölke
Sommersemester 2002
Grundstudium
- VL:
Informatik F2 (Automaten und formale Sprachen) , B. Farwer
Hinweise, Skript, Aufgaben - VL:
Informatik F4 (Parallelität und Nebenläufigkeit) , R. Valk
Hinweise, Skript, Aufgaben
Hauptstudium
- VL:
Agenten und Multiagentensysteme
Dr. Michael Köhler-Bußmeier
, Dr. Daniel Moldt und Dr. Heiko Rölke
Hinweise, Skript - S: Sozionik Dr. Daniel Moldt
- Kompakt-Kurs Theorie (Zur Prüfungsvorbereitung nach alter und neuer DPO), M. Jantzen
Hinweise und Aufgaben
Wintersemester 2001/2002
Grundstudium
- VL: Informatik F3 (Berechenbarkeit und Komplexität) B. Farwer (i.V. von M. Jantzen)
- UB zu:
Informatik F3 (Berechenbarkeit und Komplexität) [nur WiInf und TU]
B. Farwer, M. Köhler, D. Moldt, M.-O. Stehr
Hinweise, Skript, Aufgaben und Musterlösungen - PS: Agentenorientierung für das Internet Dr. Daniel Moldt und Dr. Heiko Rölke
Hauptstudium
- VL:
Prozesse und Nebenläufigkeit R. Valk
Hinweise, Skript, Aufgaben - VL: Ablauf und Modellierung in Organisationen - ein Petrinetz-basierter Ansatz Dr. Daniel Moldt und Prof. Dr. Valk
- VL: Verifikation von Systemmodellen Dr. Daniel Moldt und Prof. Dr. Valk
- PJ: Agentenorientierte Softwareentwicklung Dr. Michael Köhler-Bußmeier , Dr. Daniel Moldt und Dr. Heiko Rölke
Sommersemester 2001
Grundstudium
- VL: Informatik F2 (Automaten und Formale Sprachen) M. Jantzen
- UB zu:
Informatik F2 (Berechenbarkeit und Komplexität)
A. Bepple, B. Farwer, M. Jantzen, M. Köhler, O. Kummer, H. Rölke
Hinweise, Skript, Aufgaben und Musterlösungen - VL:
Informatik F4 (Parallelität und Nebenläufigkeit) R. Valk
Hinweise, Skript, Aufgaben
Wintersemester 2000/2001
Grundstudium
- VL: Informatik F3 (Berechenbarkeit und Komplexität)
- UB zu:
Informatik F3 (Berechenbarkeit und Komplexität)
B. Farwer, M. Jantzen
Hauptstudium
- VL: Substrukturelle Logiken Berndt Farwer
- VL: Petrinetze Dr. Daniel Moldt
- S: Modellierung und Ausführung verteilter und nebenläufiger Systeme Dr. Olaf Kummer und Dr. Daniel Moldt
- PJS: Anatomie einer Open-Source_IDE Dr. Michael Köhler-Bußmeier , Dr. Olaf Kummer, Dr. Daniel Moldt und Dr. Heiko Rölke
Sommersemester 2000
Grundstudium
- VL:
Informatik F4
R. Valk
Zu dieser Vorlesung sind einige Beispieldateien im Sun-Cluster unter /local/tgi/nets/f4/ verfügbar. Diese können mit dem Petrinetzwerkzeug Renew verwendet werden.
Hauptstudium
- VL: Theoretische Grundlagen der Programmierung (TGP) M. Jantzen
- UB zu:
Theoretische Grundlagen der Programmierung (TGP)
Aufgaben und Musterlösungen - VL:
Systementwicklung mit Objekten, Komponenten und Agenten
Dr. Daniel Moldt
- S:
Analyse und Modellierung von Verhalten und Entscheidungen in Öffentlich-rechtlichen Organisationen
Daniela Hinck / Roman Langer / Rolf v. Lüde / Dr. Daniel Moldt
- S:
Petrinetze
B. Farwer, D. Moldt
- OS:
Theoretische Informatik
B. Farwer, Dr. Daniel Moldt
Wintersemester 1999/2000
Grundstudium
- VL: Informatik F1 (Automaten und Kalküle) M. Jantzen
- UB zu:
Informatik F1 (Automaten und Kalküle)
Hauptstudium
- VL: Modelle für Rechensysteme R. Valk
- UB zu:
Modelle für Rechensysteme
Aufgaben und Musterlösungen - VL:
Petrinetze
D. Moldt, R. Valk
Beispielnetze aus der Vorlesung im jar-Format. Für diese Netze ist Renew in Version 1.2beta3 oder später erforderlich. Renew ist im Sun-Cluster mit dem Befehl renew aufrufbar.
Sommersemester 1999
Grundstudium
- PS: Kalküle und Grammatiken M. Jantzen
- PS: Zustands- und Prozeßorientierte Modellierung D. Moldt
Hauptstudium
- VL: Theoretische Grundlagen der Programmierung R. Valk
- UB zu:
Theoretische Grundlagen der Programmierung
- Mo, 12:30-13:15, C-101 (O. Kummer)
- Mo, 13:15-14:00, C-101 (O. Kummer)
- Di, 12:15-13:00, C-221 (R. Valk)
- Di, 12:15-13:00, C-104 (O. Kummer)
- Di, 13:15-14:00, C-104 (O. Kummer)
- Mi, 13:15-14:00, C-101 (B. Kirsig)
- Do, 14:00-14:45, C-104 (B. Kirsig)
- TU zu:
Theoretische Grundlagen der Programmierung
- Mo, 12:30-13:15, C-104 (M. Duvigneau)
- Mo, 13:15-14:00, C-104 (M. Duvigneau)
- Di, 12:15-13:00, C-101 (M. Köhler)
- Di, 13:15-14:00, C-101 (M. Köhler)
- Do, 14:45-15:30, C-104 (M. Köhler)
- VL: Quantencomputer II M. Kudlek
- VL: Mathematische Logik (GK) M. Kudlek
- UB: Mathematische Logik (GK) B. Farwer, M. Kudlek
- VL: Semantik: Programmier-, Entwurfs- und Spezikationskonzepte R. Valk
- VL: Theorie und Praxis formaler Sprachen M. Jantzen
- S: Deduktionssysteme M. Jantzen
- S: Agentenorientierte Geschäftsprozesse D. Moldt
- S: Petrinetze B. Farwer
- OS: Theoretische Informatik
Mitarbeiter von TGI
Vortragsankündigungen hier .
Wintersemester 1998/1999
Grundstudium
- VL: Automaten und Kalküle F1 M. Jantzen
- VL: Grundzüge der Informatik A3 M. Jantzen
- PS: Endliche Automaten M. Kudlek
Hauptstudium
- VL: Modelle für Rechensysteme R. Valk
- UB zu:
Modelle für Rechensysteme
- Di, 9-10, C-101 (O. Kummer)
- Di, 10-11, C-101 (O. Kummer)
- Di, 11-12, C-101 (O. Kummer)
- Di, 12-13, C-221 (R. Valk)
- Do, 13-14, C-101 (O. Kummer)
- Do, 14-15, C-101 (O. Kummer)
- TU zu:
Modelle für Rechensysteme
- Di, 10-11, C-104 (Ch. Zacharias)
- Di, 11-12, C-104 (Ch. Zacharias)
- Do, 14-15, C-104 (M. Kim)
- Do, 15-16, C-104 (M. Kim)
- Fr, 13-14, C-104 (Th. Behrens)
- VL: Petrinetze D. Moldt, R. Valk
- VL: Quantencomputer M. Kudlek
- VL: Kryptographie M. Kudlek
- S: Kalender und Chronologie M. Kudlek, G. Oestmann
- PJS: Agentenorientiert Analyse, ein neuer Ansatz der Systemanalyse D. Moldt
- OS: Theoretische Informatik
Mitarbeiter von TGI
Vortragsankündigungen hier .
Sommersemester 1998
Grundstudium
- PS: Endliche Automaten M. Kudlek
Hauptstudium
- VL: Theoretische Grundlagen der Programmierung R. Valk
- VL: Allgemeine Netztheorie C.A. Petri, M.O. Stehr, U. Fenske
- VL: Komplexitätstheorie B. Kirsig
- VL: Mathematische Logik M. Kudlek
- VL: Agenten und Workflow-Konzepte für das Internet D. Moldt, F. Wienberg
- HPJ: Animinations- und Interaktionskomponenten für einen verteilten Petrinetz-Simulator O. Kummer, D. Moldt
- HPJS: Formale Verifikation verteilter Algorithmen M.O. Stehr, R. Valk
- S: Petrinetze D. Moldt, R. Valk
- OS: Theoretische Informatik
Mitarbeiter von TGI
Vortragsankündigungen hier .
Wintersemester 97/98
Grundstudium
- OE: Orientierungseinheit B. Kirsig
- PS: Schriftsysteme und Metafont M. Kudlek
- VL: Grundzüge der Informatik A3 M. Jantzen
Hauptstudium
- VL: Modelle für Rechensysteme R. Valk
- PJ: Von der Spezifikation zur Implementierung eines verteilten Agentensystems D. Moldt, O. Kummer, F. Wienberg
- S: Allgemeine Netztheorie U. Fenske, C.A. Petri, R.Valk
- PJS: Rechnergestuetztes Beweisen M.O. Stehr, M. Kudlek
- S: Dynamische Petrinetzstrukturen D. Moldt, O. Kummer, F. Wienberg, M.O. Stehr, B. Farwer
- VL: Lambda-Kalkül M. Kudlek
- S: Logik und Concurrency B. Farwer
- S: Zahlen und Numerus in den Sprachen der Welt II M. Kudlek, E. Ternes
- PJS: Stundenplan D. Moldt, M. Kudlek
- OS:
Theoretische Informatik
Mitarbeiter von TGI
Vortragsankündigungen hier .
Sommersemester 97
Grundstudium
- PS: Ersetzungssysteme und Grammatiken B. Farwer, M. Kudlek (18.056)
- PS: Petrinetze D. Moldt (18.059)
Hauptstudium
- VL: Theoretische Grundlagen der Programmierung M. Jantzen (18.111)
- VL: Typtheorie M. O. Stehr R. Valk (18.204)
- VL: Berechenbarkeit M. Kudlek (18.222)
- VL: Datenstrukturen und Algorithmenanalyse J. Schwertner (18.233)
- VL: Methoden zur Analyse von Algorithmen M. Jantzen (18.221)
- VL: Kryptologie M. Kudlek (18.223)
- PJS: Prototyping komplexer Systeme D. Moldt (18.372)
- S: Petrinetze R. Valk (18.414)
- S: Zahlen und Numerus in den Sprachen M. Kudlek, E. Ternes (18.4105/07.020)
- OS:
Theoretische Informatik
Mitarbeiter von TGI (18.477)
Vortragsankündigungen hier .
Wintersemester 96/97
Grundstudium
- OE: Orientierungseinheit , B. Kirsig (18.000)
- VL: Grundzüge der Informatik A3, R. Valk (18.005)
- PS: Komplexitaet konkreter Algorithmen, Berndt Farwer, Matthias Jantzen (18.058)
Hauptstudium
- VL: Modelle für Rechensysteme, M. Jantzen (18.111)
- S: Lineare Logik und Kategorientheorie, Berndt Farwer, Rüdiger Valk (18.415)
- VL: Allgemeine Netztheorie, C.A. Petri (18.225)
- OS:
Oberseminar ''Theoretische Informatik'' ,
Mitarbeiter des AB TGI (18.478)
Vortragsankündigungen hier
Sommersemester 1996
Grundstudium
- PS: Endliche Automaten, M. Kudlek (18.057)
Hauptstudium
- VL: Allgemeine Netztheorie - Axiomatik, Physik, technische Großsysteme , C. A. Petri (18.230) (leider ausgefallen!)
- VL: Theoretische Grundlagen der Programmierung (TGP), M. Kudlek (18.111)
- UB: Übung zu 18.111 (TGP), N.N. (18.112)
- VL: Mathematische Logik, R. Valk (18.228)
- UB: Übung zu 18.228, B. Farwer (18.229)
- VL: Verteilte Algorithmen, R. Valk (18.230)
- VL: Komplexitätstheorie, B. Kirsig (18.231)
- PJS: Insektenroboter. M.S. Hamdi, B. Kirsig (18.364)
- PJS: Meilensteine der Theoretischen Informatik. M. Jantzen (18.376)
- S: Petrinetze, B. Farwer, R. Valk (18.415)
- S: Formale Sprachen,M. Jantzen (18.416)
- S: Aktuelle Forschungen in der Komplexitätstheorie, B. Kirsig, M. Ladermann (18.417)
- S: Komplexitätslabor, B. Kirsig (18.418)
- OS: Oberseminar ''Theoretische Informatik'' ,
Mitarbeiter des AB TGI (18.477)
Vortragsankündigungen hier
Wintersemester 95/96
Grundstudium
- OE: Orientierungseinheit , B. Kirsig (18.000)
- PJS: Automaten , M. Jantzen (18.058)
Hauptstudium
- VL: Modelle für Rechensysteme, M. Kudlek, B. Wolfinger (18.111)
- UB: Übung zu 18.111 (Modelle f. RS), N.N. (18.112)
- VL: Petrinetze , D. Hauschildt, M. Jantzen (18.231)
- UB: Übung zu 18.231, D. Hauschildt (18.232)
- VL: Termersetzungssysteme, M. Jantzen (18.233)
- PJS: Erstellung und Implementierung von Schriften mit Metafont II. M. Kudlek (18.374)
- S: Aktuelle Forschungen in der Komplexitätstheorie , B. Kirsig, M. Ladermann (18.420)
- OS: Oberseminar "Theoretische Informatik" , Mitarbeiter des AB TGI (18.480)
Aktuelles Semester
Letzte Änderung: 16:59 02.09.2015
- VL: Logik und Semantik (LOS), C. Eschenbach und R. Valk