TU München Informatik Chair for Logic and Verification

Übersicht

• Modul: IN2148
• Vorlesung: Freitag 8:30 - 10:00 in MI Hörsaal 2
• Beginn: 16.10.2015
• Übungen: Freitag 10:15 - 11:45 in MI 01.11.018
• Übungsleitung: Lars Hupel

Inhalt

In der Vorlesung werden ausgewählte Themen aus verschiedenen Bereichen der (hauptsächlich theoretischen) Informatik angesprochen. Mögliche Themen sind:

• Berechenbarkeit und Entscheidbarkeit. Weiterführende Literatur: Praktisch jede Einführung in Theoretische Informatik, z.B. Theoretische Informatik - kurzgefasst von Uwe Schöning.
• Google PageRank
• Arrows Theorem. Weiterführende Literatur: Algorithmic Game Theory von Nisan, Roughgarden, Tardos und Vazirani.
• Prolog
• Komplexität: P und NP

Ziel der Vorlesung ist es, in enger Interaktion mit den teilnehmenden Studierenden bereits zu einem sehr frühen Stadium einen Bezug zu aktuellen Forschungsthemen herzustellen. Eine aktive und engagierte Mitarbeit ist die einzige Teilnahmevoraussetzung.

Skript

pdf

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10 [add_mul.pl] [maze.pl]