Modulkataloge

Olaf Beyersdorff

mündliche oder schriftliche Prüfung oder Projektarbeit

Die Prüfungsform richtet sich nach der in diesem Modul gewählten Lehrveranstaltung. Sie wird im Vorlesungsverzeichnis veröffentlicht und von der Lehrperson zu Veranstaltungsbeginn bekannt gegeben.

• Die gewählte Lehrveranstaltung darf nicht in einem anderen Modul belegt worden sein.
• Eine kontinuierliche Anwesenheit und Engagement in den Lehrveranstaltungen ist für den Studienerfolg dringend zu empfehlen.

Deutsch, bei Bedarf Englisch

keine

siehe Hinweise zu den Lehrveranstaltungen im Vorlesungsverzeichnis

Wahlpflichtmodul (Bereich Theorie) im M.Sc. Informatik (V2021)

Vorlesung und/oder Übung im Gesamtumfang von 2 SWS

Die genaue Zusammensetzung ist abhängig von der gewählten Lehrveranstaltung und wird im Vorlesungsverzeichnis angekündigt.

Gegenstand des Moduls sind Themen zu:

• Komplexitätstheorie
• Untere und obere Schranken für Berechnungsprobleme
• Beweiskomplexität
• Schaltkreiskomplexität
• Parametrisierte Komplexität
• Rekursionstheorie
• Algebraische Komplexität

Gewählt werden kann aus dem Lehrveranstaltungsangebot. Genaue Angaben zum gewählten Lehrinhalt befinden sich im Veranstaltungskommentar zu jeder Lehrveranstaltung.

• Die Studierenden sammeln ausgewählte fortgeschrittene Kenntnisse und Fähigkeiten in einem kleinen Teilgebiet der Kompexitätstheorie.
• Die Studierenden sind in der Lage, Probleme auf einem speziellen Gebiet der Kompexitätstheorie zu verstehen, zu analysieren und zu lösen.
• Die Studierenden beherrschen ausgewählte wichtige und gängige Methoden der Kompexitätstheorie und sind in der Lage, diese auf ausgewählte Aufgabenstellungen aus der Praxis anzuwenden.
• Die Studierenden trainieren ihr konzeptionelles, analytisches und logisches Denken.

Die Voraussetzungen für die Zulassung zur Modulprüfung werden durch die Lehrveranstaltung bestimmt, die Sie mit diesem Modul belegen. Sie werden im Vorlesungsverzeichnis veröffentlicht und von der Lehrperson zu Veranstaltungsbeginn mitgeteilt.