Lehre

Sommersemester 2024

Typ	Name der Veranstaltung
Oberseminar	Theoretische Informatik
Vorlesung	Aktuelle Themen der Theoretischen Informatik
Übungen	Aktuelle Themen der Theoretischen Informatik
Vorlesung	Algorithmik
Übungen	Algorithmik
Vorlesung	Randomisierte Algorithmen
Seminar	Randomisierte Algorithmen
Vorlesung	Komplexitätstheorie
Übungen	Komplexitätstheorie
Seminar	Abschlussarbeiten
Übungen	Algorithmen und Datenstrukturen
Tutorium	Algorithmen und Datenstrukturen
Praktikum	Software-Entwicklung im Team
Seminar	Herausforderungen in der verteilten Software-Entwicklung
Projekt	Kollaborative verteilte Software-Entwicklung
Pojekt	Einsatz von Kubernetes, Docker und Co für die Entwicklung einer Open-Source-Software
Vorlesung	Modellierung und Analyse komplexer Systeme
Übungen	Modellierung und Analyse komplexer Systeme
Masterprojekt	Kollaborative verteilte Software-Entwicklung
Integratives Seminar	Herausforderung in der verteilten Software-Entwicklung

Typ	Name der Veranstaltung
Oberseminar	Theoretische Informatik
Vorlesung	Einführung in die Theoretische Informatik - ETI
Übungen	Einführung in die Theoretische Informatik - ETI
Vorlesung	Berechenbarkeit, Komplexität und Approximation - BKA
Übungen	Berechenbarkeit, Komplexität und Approximation - BKA
Vorlesung	Methoden des Algorithmenentwurfs
Vorlesung	Modellierung verteilter Systeme
Übungen	Modellierung verteilter Systeme
Seminar	Methoden des Algorithmenentwurfs
Seminar	Abschlussarbeiten
Projekt	Agile Entwicklung adaptiver Systeme
Praktikum	Kollaborative Softwareentwicklung

Typ	Name der Veranstaltung
Oberseminar	Theoretische Informatik
Vorlesung	Randomisierte Algorithmen
Seminar	Randomisierte Algorithmen
Vorlesung	Aktuelle Themen der Theoretischen Informatik
Übungen	Aktuelle Themen der Theoretischen Informatik
Seminar	Verteilte Software-Entwicklung
Projekt	Verteilte Software-Entwicklung
Vorlesung	Modellierung und Analyse komplexer Systeme
Übungen	Modellierung und Analyse komplexer Systeme
Seminar	Abschlussarbeitenseminar
Masterprojekt	Kollaborative verteilte Software-Entwicklung
Integriertes Seminar	Herausforderung in der verteilten Software-Entwicklung

Typ	Name der Veranstaltung
Oberseminar	Theoretische Informatik
Praktikum	Analyse von Softwarepraktiken
Praktikum	Funktionale Programmierung
Proseminar	Perlen der Informatik
Seminar	Abschlussarbeiten
Seminar	Distributed Computing
Vorlesung	Einführung in die Theoretische Informatik
Vorlesung	Berechenbarkeit, Komplixität und Approximation
Vorlesung	Formale Grundlagen der Informatik
Vorlesung	Modellierung Verteilter Systeme

Typ	Name der Veranstaltung
Seminar	Distributed Computing
Vorlesung	Kryptographie
Oberseminar	Theoretische Informatik
Vorlesung	Randomisierte Algorithmen
Seminar	Herausforderung und Lösungsansätze in der verteilten Software-Entwicklung
Projekt	Von der Modellierung zur Realisierung verteilter und nebenläufiger Software-Systeme
Vorlesung	Modellierung und Analyse komplexer Systeme
Übungen	Modellierung und Analyse komplexer Systeme
Seminar	Abschlussarbeitenseminar
Masterprojekt	Kooperative Realisierung verteilter und nebenläufiger Software-Systeme
Integratives Seminar	Kooperation in der verteilten Software-Entwicklung

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik 1
Vorlesung	Einführung in die Theoretische informatik
Vorlesung	Berechenbarkeit, Komplexität und Approximation
Vorlesung	Parallele und verteilte Algorithmen
Vorlesung	Modellierung verteilter Systeme
Proseminar	Perlen der Informatik
Praktikum	Funktionale Programmierung
Praktikum	Analyse von Softwareentwicklungsprojekten
Seminar	Abschlussarbeitenseminar
Oberseminar	Theoretische Informatik

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik II
Vorlesung	Randomisierte Algorithmen
Seminar	Abschlussarbeiten
Oberseminar	Theoretische Informatik
Projekt	Von der Modellierung zur Realisierung in der Verteilten Software-Entwicklung
Masterprojekt	Kooperative Realisierung verteilter und nebenläufiger Software-Systeme

Typ	Name der Veranstaltung
Vorlesung	Analyse randomisierter Algorithmen
Vorlesung	Formale Grundlagen der Informatik II
Oberseminar	Oberseminar Theoretische Informatik

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik I
Proseminar	Perlen der Theoretischen Informatik
Oberseminar	Theoretische Informatik
Vorlesung	Methoden des Algorithmenentwurfs
Vorlesung	Randomisierte Algorithmen

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik I
Vorlesung	Methoden des Algorithmenentwurfes (AB TEA)
Vorlesung	Modellierung verteilter Systeme
Oberseminar	Oberseminar Theoretische Informatik

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik III
Vorlesung	Analyse randomisierter Algorithmen
Vorlesung	Formale Grundlagen der Informatik IIIa - Logik und weiterführende Algorithmen
Vorlesung	Formale Grundlagen der Informatik IIIb - Semantik von Programmen
Seminar	Formale Grundlagen der Informatik III
Vorlesung	Formale Grundlagen der Informatik II
Oberseminar	Oberseminar Theoretische Informatik

Typ	Name der Veranstaltung
Vorlesung	Formale Grundlagen der Informatik I
Vorlesung	Höhere Modellierungskonzepte und -algorithmen
Vorlesung	Methoden des Algorithmenentwurfes
Vorlesung	Modelle von Petrinetzen
Seminar	Modellierung verteilter Systeme
Praktikum	Agentenorientierte Software-Entwicklung komplexer Systeme im Team
Oberseminar	Oberseminar Theoretische Informatik

Typ	Name der Veranstaltung
Vorlesung / Übungen	Vorlesung Formale Grundlagen der Informatik II
Vorlesung	Vorlesung Algorithmen und Datenstrukturen
Vorlesung	Formale Grundlagen der Informatik IIIa - Logik und weiterführende Algorithmen
Vorlesung	Formale Grundlagen der Informatik IIIb - Semantik von Programmen
Seminar	Formale Grundlagen der Informatik III
Seminar	Seminar Grundlagen verteilter Software-Entwicklung
Seminar	Abschlussarbeitenseminar
Projekt	Agentenorientierte Software-Entwicklung(AOSE)
ABK	Teambildungsprozesse in Projektkontexten - verstehen und gestalten
Oberseminar	Oberseminar Theoretische Informatik