午夜探花

Die Vorlesung gibt eine Einf眉hrung in die Gebiete der Berechenbarkeits- und 碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别.

Dazu werden verschiedene Zug盲nge zum Berechenbarkeitsbegriff vorgestellt und miteinander verglichen. Dar眉ber hinaus wird problematisiert, welche Problemstellungen effizient l枚sbar sind und welche nicht.

• Berechenbarkeit: Intuitiver Berechenbarkeitsbegriff und Churchsche These, verschiedene 盲quivalente Formalisierungen des Berechenbarkeitskonzepts, Halteproblem, Reduzierbarkeit und Unentscheidbarkeit.
• Primitiv-rekursive und LOOP-berechenbare Funktionen sowie Ackermannfunktion
• 碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别: Komplexit盲tsklassen, das P-NP Problem, effiziente Reduzierbarkeit, NP-Vollst盲ndigkeit des Erf眉llbarkeitsproblems und verschiedener Graphenprobleme.

Der gesamte Vorlesungs-, 脺bungs- bzw. Tutorienbetrieb sowie wichtige Ank眉ndigungen und Informationen zu Klausuren wird 眉ber die Lernplattform 诲耻谤肠丑驳别蹿眉丑谤迟.

• Vorlesungsskript: Berechenbarkeit und Komplexit盲t
• U. Sch枚ning: Theoretische Informatik - kurz gefasst. Spektrum Akademischer Verlag, , 2008.
• A. Meier, H. Vollmer: Komplexit盲t von Algorithmen. . Lehmanns media, 2015.
• M. Garey, D. Johnson: Computers and Intractability - A Guide to the Theory of NP-Completeness. . W H Freeman & Co, 1979.
• M. Sipser: Introduction to the Theory of Computation. Cengage Learning, , 2013.