Zur Modulseite PDF generieren

#40356 / #12

Seit SoSe 2025

Deutsch

Berechenbarkeit und Komplexität

6

Nichterlein, André

Benotet

Schriftliche Prüfung

Deutsch

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351100 FG Algorithmik und Komplexitätstheorie

Keine Angabe

Kontakt


EN 23

Thielcke, Christlinde

lehre@akt.tu-berlin.de

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen den Umgang mit Turingmaschinen und weiteren Modellen der Berechenbarkeit. Sie besitzen ein Grundverständnis der Berechenbarkeit von Entscheidungsproblemen und grundlegender Komplexitätsklassen. Sie sind befähigt, die Komplexität ausgewählter Problembeispiele zu beurteilen. Entsprechende Aufgabenstellungen können sie sowohl selbständig als auch in Kleingruppen bearbeiten.

Lehrinhalte

- Turing-Berechenbarkeit und Churchsche These - LOOP- und WHILE-Berechenbarkeit - Primitive und partielle Rekursion - Halteproblem und Unentscheidbarkeit - Reduzierbarkeit zwischen Problemen - Postsches Korrespondenzproblem - Aufwand von Algorithmen und Komplexität von Problemen wie SAT oder CLIQUE - Komplexität von Wortproblemen, Rechenaufwand, Komplexitätsklassen - P, NP und NP-Vollständigkeit - Satz von Cook und Levin

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Berechenbarkeit und KomplexitätVL0401 L 145WiSeKeine Angabe2
Berechenbarkeit und KomplexitätUE0401 L 145/2WiSeKeine Angabe2

Arbeitsaufwand und Leistungspunkte

Berechenbarkeit und Komplexität (VL):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.03.0h45.0h
75.0h(~3 LP)

Berechenbarkeit und Komplexität (UE):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.03.0h45.0h
75.0h(~3 LP)

Lehrveranstaltungsunabhängiger Aufwand:

AufwandbeschreibungMultiplikatorStundenGesamt
Prüfungsvorbereitung1.030.0h30.0h
30.0h(~1 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die fachlichen Inhalte des Moduls werden in der Vorlesung vermittelt. Zudem wird eine Großübung angeboten, in der nochmals auf besondere Themen der Vorlesung eingegangen wird sowie Problemlösungen erläutert werden. Es wird jedoch kein zusätzlicher Lehrstoff vermittelt, daher ist die Teilnahme fakultativ. Die Anwendung und Festigung des Stoffs geschieht durch das regelmäßige Bearbeiten von Aufgabenblättern und die Besprechung des Stoffs und der Aufgaben in Tutorien im interaktiven Stil. Die Aufgaben werden von den Studierenden in Kleingruppen bearbeitet. Die Unterrichtssprache im Modul ist deutsch.

Voraussetzungen für die Teilnahme / Prüfung

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

Kenntnis des Moduls „Formale Sprachen und Automaten” ist empfohlen.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Voraussetzung
Leistungsnachweis »Unbenoteter Übungsschein«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Schriftliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

120 min

Prüfungsbeschreibung (Abschluss des Moduls)

Die Gesamtnote gemäß § 68 (2) AllgStuPO wird nach dem Notenschlüssel 1 der Fakultät IV ermittelt; wir behalten uns jedoch vor, ihn zugunsten der Studierenden anzupassen.

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Anmeldung zur Prüfung und Anmeldung für Tutorien über MOSES. Für die Einsicht in / Beteiligung am Nachrichtenforum, Diskussionsforum und wichtige Hinweise ist die Anmeldung in ISIS erforderlich. Teilnehmende mit Übungsschein werden zur Prüfung zugelassen.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar
Zusätzliche Informationen:
Folien werden über www.isis.tu-berlin.de verfügbar gemacht

 

Literatur

Empfohlene Literatur
Elaine Rich: Automata, Computability, and Complexity, Pearson, 2008
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit, Pearson 3. Auflage, 2011
Uwe Schöning: Theoretische Informatik - kurzgefasst, Spektrum Akademischer Verlag, 5. Auflage, 2008

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Informatik (B. Sc.)11SoSe 2025SoSe 2025
Naturwissenschaften in der Informationsgesellschaft (B. Sc.)22SoSe 2025WiSe 2025/26

Sonstiges

Keine Angabe