TGI

• Heimatseite
• Ankündigungen
• Mitarbeiterinnen und Mitarbeiter
• Studentinnen und Studenten

Lehre

• Lehre
• Abschlussarbeiten

Forschung

• Forschung
• Publikationen

Misc

• Service
• Tools
• Petri Nets World
  

Veranstaltungen

• WiSe 2012/13
• SoSe 2012
• WiSe 2011/12
• SoSe 2011
• WiSe 2010/11
• SoSe 2010
• WiSe 2009/10
• SoSe 2009
• WiSe 2008/09
• SoSe 2008
• WiSe 2007/08
• SoSe 2007
• WiSe 2006/07
• SoSe 2006
• WiSe 2005/06
• SoSe 2005
• WiSe 2004/05
• SoSe 2004
• WiSe 2003/04
• SoSe 2003
• WiSe 2002/03
• SoSe 2002
• WiSe 2001/02
• SoSe 2001
• WiSe 2000/01
• SoSe 2000
• WiSe 1999/2000
• SoSe 1999
• WiSe 1998/99
• SoSe 1998
• WiSe 1997/98
• SoSe 1997
• WiSe 1996/97
• SoSe 1996
• WiSe 1995/96

Veranstaltungen aus vergangenen Semestern

---

OE = Orientierungseinheit; OS = Oberseminar; PS = Proseminar; PJ(S) = Projekt(seminar); S = Seminar; UB = Übung; TU = Tutorium; VL = Vorlesung

---

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)
  • Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
• 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)
  • 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)
• 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)
  • Repetitorium zu AD. (M. Wester-Ebbinghaus)
• 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)
  • Repetitorium zu AuD. (M. Wester-Ebbinghaus)
• VL+ÜB (Modul IP9): Formale Grundlagen der Informatik II (FGI 2): Modellierung und Analyse von Informatiksystemen. (D. Moldt und R. Valk)
  • Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
• 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)
  • Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
• 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)

• VL 64-600: Formale Grundlagen der Informatik 4 (F4): Parallelität und Nebenläufigkeit. (R. Valk)

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)
  • Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). ( M. Duvigneau)
• 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)
  • Unterstützende Lehre zu FGI 2 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
• 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)
  • Unterstüutzende Lehre zu FGI 1 (Beratung, Saalübung und Repetitorium). (M. Duvigneau)
• 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

• VL: Formale Grundlagen der Informatik 4 (F4): Parallelität und Nebenläufigkeit. (D. Moldt)

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

• VL: Formale Grundlagen der Informatik 4 (F4). (D. Moldt)

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

• PS: Prozesse: Konzepte - Modelle - Anwendungen , D. Moldt

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    PD Dr. Michael Köhler-Bußmeier und Dr. Daniel Moldt
  
• Seminar (S): Emergenz und Strukturdynamiken in sozialen Systemen   PD 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 , PD 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   PD 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 PD 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  PD 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 PD 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  PD 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   PD 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 99/00

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 99

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)
  Aufgaben und Musterlösungen
• 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 98/99

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)
  Aufgaben und Musterlösungen
• 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 98

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