Moses - Komplexitätstheorie

Zur Modulseite PDF generieren

Modul / Version
#40379 / #1

Gültigkeit
SS 2014 - SS 2014

Verfügbare Sprache(n)
English

Titel des Moduls
Komplexitätstheorie

Leistungspunkte
9

Modulverantwortliche*r
Niedermeier, Rolf

Benotung
Benotet

Prüfungsform
Mündliche Prüfung

Lehrsprache(n)
English

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351100 FG Algorithmik und Komplexitätstheorie

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 23

Ansprechpartner*in
Thielcke, Christlinde

E-Mail-Adresse
lehre@akt.tu-berlin.de

Webseite

https://www.tu.berlin/akt/studium-lehre/lehrveranstaltungen

Diese Modulbeschreibung ist nicht oder nicht vollständig auf deutsch hinterlegt.

Es wird stattdessen der Inhalt der folgenden Sprachversion angezeigt: Englisch.

Klicken Sie hier um die Inhalte der fehlenden oder unvollständige Sprachversion (Deutsch) anzuzeigen

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2014 - SS 2014. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

Lernergebnisse

Participants of this module can classify discrete computational problems according to their computational complexity using standard complexity classes. They understand structural properties of complexity classes and can make qualitative and quantitative statements about computational complexity questions. The course is principally designed to impart: technical skills 50x , method skills 50 x ,system skills 0x …,social skills 0x

Lehrinhalte

Introduction into structural complexity theory, with particular emphasis on complexity resources time and space. Particular topics are: * complexity classes * theory of the NP-completeness * hierarchy theorems and polynomial time hierarchy * interactive proof systems

Modulbestandteile

Compulsory area

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Computational Complexity	VL	0434 L 233	SoSe	Keine Angabe	4
Computational Complexity	UE	0434 L 233	SoSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Computational Complexity (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbereitung	15.0	6.0h	90.0h
			150.0h(~5 LP)

Computational Complexity (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	6.0h	90.0h
			120.0h(~4 LP)

Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

There is a lecture 4 hours per week presenting the whole course material. The lectures are accompanied by 2-hour tutorials, where an active participation and homework on the work sheets distributed every week is required.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

a) obligatory: Basic course on automata and complexity b) desirable: Basic knowledge on algorithms

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Oral exam

Sprache(n)

English

Dauer/Umfang

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Final oral exam determining the grade (MP).

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 0.

Anmeldeformalitäten

Please register at QISPOS or directly at the examination office.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht verfügbar

Literatur

Empfohlene Literatur
Christos H. Papadimitriou: Computational Complexity, Addison Wesley, 1994.
Sanjeev Arora, Boaz Barak: Computational Complexity: A Modern Approach, Ca mbrid ge University Press, 2009

Zugeordnete Studiengänge

Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Computer Science Master with focus “Reliable Systems” Computer Science diploma Technical Computer Science Master with focus “Software Engineering” Technical Computer Science diploma

Sonstiges

Keine Angabe