Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Theoretical Foundations of Computer Science

Diese Seite ist auch in Deutsch verfügbar.

English version.

Cette page n'existe pas en Français.

Ésta página no existe en Español.

UHH > MIN > Informatics > TGI

Aktuelle Veranstaltungen

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

Wintersemester 2016/2017

Bachelor-Studium

VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (D. Moldt)
S 64-160 (Modul InfB-Sem/IP12): Grundlagen verteilter Softwareentwicklung. (Siehe AOSE-Projekt: Agentenorientierte Software-Entwicklung. ) (D. Moldt)
PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (M. Haustermann , D. Moldt, David Mosteller und L. Cabac)
S 64-651: Abschlussarbeitenseminar (nur vorab-kvv-pdf). (D. Moldt)
S 64-117: Teambildungsprozesse in Projektkontexten - verstehen und gestalten (nur vorab-kvv-pdf). (D. Moldt)
OS 64-477: Theoretische Informatik

Master-Studium

Ankündigung der FGI-3 Seminare als pdf
VL 64-301 (Modul InfM-FGI3/MPM1): Formale Grundlagen der Informatik III (FGI 3), Teil 2: Semantik von Programmen. (R. Valk)
PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (M. Haustermann , D. Moldt, L. Cabac, Dennis Schmitz und David Mosteller )
S 64-651: Abschlussarbeitenseminar (nur vorab-kvv-pdf). (D. Moldt)
OS 64-477: Theoretische Informatik

Diplom-Hauptstudium

VL+ÜB 64-060 (Modul InfB-FGI2/IP9): Formale Grundlagen der Informatik II (FGI 2). (D. Moldt)
S 64-160 (Modul InfB-Sem/IP12): Grundlagen verteilter Softwareentwicklung. (Siehe AOSE-Projekt: Agentenorientierte Software-Entwicklung. ) (D. Moldt)
PJ 64-184 (Modul InfB-Proj/IP13): Agentenorientierte Software-Entwicklung. (M. Haustermann , D. Moldt, L. Cabac, Dennis Schmitz und David Mosteller )
S 64-651: Abschlussarbeitenseminar (nur vorab-kvv-pdf). (D. Moldt)
OS 64-477: Theoretische Informatik

Sommersemester 2016

Bachelor-Studium

VL+ÜB 64-050 (Modul IP8) - Pflichtbereich:
- VL 64-050: Formale Grundlagen der Informatik I (FGI 1): Logik, Automaten, formale Sprachen und Berechenbarkeit.
- ÜB 64-051: Übungsgruppen zu FGI 1.
InfB-Pros 64-129: Proseminar Perlen der Algorithmik
OS 64-477: Theoretische Informatik

Master-Studium (Informatik)

Projekt Agentenorientierte Software-Entwicklungsprozessunterstützung
- Pr 64-184/64-458: Projekt Agentenorientierte Software-Entwicklungsprozessunterstützung (D. Moldt)
- Sem 64-160/64-458a: Seminar Konzepte verteilter Software-Entwicklung (D. Moldt)
Modul Modellierung verteilter Systeme, MvS
- VL 64-370: Vorlesung Modelle von Petrinetzen (> Dr. L. Cabac,> Dr. 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

Wintersemester 2015/2016

Vergangene Semester

Imprint/Disclaimer

Last Change: 12:01 09/18/2016