250102 VO Einführung in die Theoretische Informatik (2013W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Details

Sprache: Deutsch

Prüfungstermine

Montag 27.01.2014 Mittwoch 19.03.2014 Freitag 04.07.2014 Freitag 07.11.2014

Lehrende

Moritz Müller

Termine

Zur Zeit sind keine Termine bekannt.

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Die Vorlesung bietet eine Einführung in die Komplexitätstheorie und das P versus NP Problem. Vorausgesetzt werden elementare Kenntnisse in mathematischer Logik.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mündliche Prüfung

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Arora, Barak, Computational Complexity - A Modern Approach, Cambridge University Press, 2009.

Papadimitriou, Computational Complexity, Addison Wesley, 1994.

Zuordnung im Vorlesungsverzeichnis

MLOI

Standardausbildung im Studienschwerpunkt "Logik"

25.3. Masterstudium Mathematik ➡ 3.6. Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Letzte Änderung: Mi 19.08.2020 08:05