HEINZ NIXDORF INSTITUT
Universität-GH Paderborn
Theoretische Informatik
AG Meyer auf der Heide


Perlen der Theoretischen Informatik

WS 01/02

 

Friedhelm Meyer auf der Heide

Termine

sind schon alle gelaufen. Das nächste Seminar findet statt im WS02/03.


Prüfung

Für Seminare können Leistungsnachweise
gemäß Lehramts-Studienordnung sowie Diplom-
Prüfungsordnungen 2 und 3 vergeben werden.
Bei Studierenden nach DPO4 entspricht das
Seminar einem Punkt im Bereich MUA.
 

Inhalt

In diesem Seminar soll anhand einer Reihe ausgewählter Aufsätze und Lehrbuch-Abschnitte die Schönheit von Problemlösungen aus dem Bereich der Theoretischen Informatik demonstriert werden und daß die Beschäftigung mit raffinierten Beweistechniken, eleganten Argumenten und überraschenden Konstruktionen höchst vergnüglich ist.
Inspiriert wird dieses Seminar durch das Buch ,,Perlen der Theoretischen Informatik`` von Uwe Schöning, in dem er eine Sammlung von Ergebnissen vorstellt, die seiner Meinung nach Highlights der Theoretischen Informatik darstellen.
Natürlich wird die Themenauswahl unseres Seminars durch den Geschmack der Themensteller und ihre Arbeitsgebiete geprägt sein.

Um für etwas Abwechslung zu sorgen, sind hier nur noch Themen aufgelistet, die im letzten Jahr nicht vergeben wurden:  

Themen

 

Literatur

Dieses Buch gibt es im Semesterapparat in der Bibliothek.

 

Zeitplan

Donnerstag, den 24.1.2002
11:30 Ankunft     im Schloß Eringerfeld, Tagungsstätte Dicke Birken
12:00 - 13:00 Mittagessen
13:00 - 14:00 Brainstorming (im Freien *)
14:00 - 15:00 Thorsten Beckmann Proofs from THE BOOK
15:00 - 16:00 Willi Richert Algorithmisches Lernen: How to use Expert Advice
16:00 - 16:30 Pause
16:30 - 17:30 Anja Austermann Algorithmisches Lernen mit der Methode der induktiven Inferenz
18:00 - 19:00 Abendessen
19:00 - Aktivitäten (*)

Freitag, den 25.1.2002
7:00 - 8:00 Aktivitäten (*)
8:00 - 9:00 Frühstück
9:00 - 10:00 Markus Oberließen Aroras PTAS für das Euklidische TSP
10:00 - 11:00 Eduard Wiebe Markov-Ketten Monte-Carlo Methode
11:00 - 12:00 Peter Horn Competitive Paging Algorithms
12:00 - 13:00 Mittagessen
13:00 - 14:00 Aktivitäten (*)
14:00 - 15:00 Tatjana Voth Mathematisches Programmieren: Simplex-Algorithmus und Ellipsoid-Methode
15:00 - 16:00 Valentina Damerow Smoothed Analysis of the Simplex Algorithm

 


Martin Ziegler