Perlen der Informatik

Prof. Javier Esparza • Prof. Tobias Nipkow • Prof. Andrey Rybalchenko • Prof. Helmut Seidl

Übersicht

Wintersemester 2011/12

• Modul: IN2148
• Vorlesung: Mittwoch 9:30 - 11:00 in MI 00.08.059
• Beginn: 19.10.2010
• Übungen: Fr. 8:00 - 9:30 Uhr in MI 00.08.059
• Übungsleitung: Lars Noschinski, Corneliu Popeea et al.

Inhalt

In der Vorlesung werden ausgewählte Themen aus verschiedenen Bereichen der (hauptsächlich theoretischen) Informatik angesprochen:

• Berechenbarkeit und Entscheidbarkeit. Weiterführende Literatur: Praktisch jede Einführung in Theoretische Informatik, z.B. Theoretische Informatik - kurzgefasst von Uwe Schöning.
• Google PageRank
• Arrow's Impossibility Theorem. Weiterführende Literatur: Algorithmic Game Theory von Nisan, Roughgarden, Tardos und Vazirani.
• Prolog
• Rechnen mit Relationen (Unterlagen Seidl)
• 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.

Übungsblätter

• Blatt 1
• Blatt 2
• Blatt 3
• Tutorial on 18.11.2011: Blatt 4, start-18Nov.txt, toplas-cfg.txt.
• Tutorial on 25.11.2011: Blatt 5, start-25Nov.txt.
• Tutorial on 02.12.2011: Blatt 5 (continued), start-2Dec.txt, google.txt make-sicstus.sh make-swi.sh.
• Software competition: Description, Deadline: 7Dec, 18:05, Meeting: 13Dec, 12:05.