Anzeigesprache
Zur Modulseite PDF generieren

#40356 / #5

SS 2017 - SS 2017

Deutsch

Berechenbarkeit und Komplexität

6

Niedermeier, Rolf

benotet

Portfolioprüfung

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34351100 FG Algorithmik und Komplexitätstheorie

Keine Angabe

Kontakt


TEL 5-1

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

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWSVZ
TheGI 2: Berechenbarkeit und KomplexitätVL0401 L 145SoSeKeine Angabe2
TheGI 2: Berechenbarkeit und KomplexitätUE0401 L 145/2SoSeKeine Angabe2

Arbeitsaufwand und Leistungspunkte

TheGI 2: Berechenbarkeit und Komplexität (VL):

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

TheGI 2: 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:

Es wird die Kenntnis des Moduls „Formale Sprachen und Automaten” vorausgesetzt

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

Keine Angabe

Sprache

Deutsch

Prüfungselemente

NamePunkte/GewichtKategorieDauer/Umfang
(Ergebnisprüfung) Hausaufgabe25schriftlichmax. 10 Seiten
(Punktuelle Leistungsabfrage) schriftlicher Test (1)50schriftlich60 min
(Punktuelle Leistungsabfrage) schriftlicher Test (2)25schriftlich20 min

Notenschlüssel

Dieses Prüfung verwendet einen eigenen Notenschlüssel (siehe Prüfungsformbeschreibung).

Prüfungsbeschreibung (Abschluss des Moduls)

Die Gesamtnote gemäß §47 (2) AllgStuPO wird nach dem Notenschlüssel 1 der Fakultät IV ermittelt; wir behalten uns jedoch vor, ihn zugunsten der Studierenden anzupassen. According to §47 (2) AllgStuPO the grade will be calculated applying grading key 1 of Fakultät IV, it may however be altered in favour of the students.

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

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Anmeldung zur Prüfung über QISPOS (BSc Informatik Studenten) oder beim Prüfungsamt Anmeldung für Tutorien über MOSES Für die Einsicht in / Beteiligung am Nachrichtenforum, Diskussionsforum und wichtige Hinweise ist die Anmeldung in ISIS erforderlich

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
Dieses Modul findet in keinem Studiengang Verwendung.
Pflichtmodul in Bachelor Informatik. Bei ausreichenden Kapazitäten auch als Wahlpflichtmodul in anderen Studiengängen wählbar.

Sonstiges

Keine Angabe