Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK
Seminar Komplexität:
Logik, Automaten und Spiele
PD Dr. Michael Köhler-Bußmeier
Frank Heitmann
Montag, 12:15-13:45 in C-101 (Beginn 4.4.)
(Sommersemester 2011)
Aktuelles
- [7. Oktober] Die Noten stehen jetzt in STiNE. Ein Feedback ging
euch per Email zu.
- [27. Mai] Aus aktuellem Anlass (die hochschulpolitische Situation
und die deswegen angesetzte MIN-VV) wird der zweite Seminartermin
verlegt auf den 6. Juni. Dann wie geplant von 13-15 Uhr in C-101.
Die Themen sind hier zu finden.
- [21. Mai] In zwei Tagen finden die ersten Vorträge statt!
Es geht ab 13 Uhr in C-101 los! Die Themen findet ihr weiter
unten.
- [11. April] Vergabe der Themen. Ferner haben wir uns geeinigt die
Vorträge an zwei Terminen zu blocken. Das nächste Mal
treffen wir uns also erst am 23. Mai! Wenn ihr etwas diskutieren
wollt oder Fragen habt, schreibt eine kurze Email, dann machen
wir einen Termin. Ansonsten habt ihr alles weitere per Email
gekriegt.
- [4. April] Heute war die erste Veranstaltung. Wir haben die Themen
anskizziert und eure Aufgabe bis zur nächsten Woche ist es
nun euch die Themen genauer anzuschauen und euch für eines
zu entscheiden.
Den Text aus dem KVV finden Sie hier.
In Absprache mit den Teilnehmern wurde sich darauf geeinigt den
Schwerpunkt mehr auf Komplexitätstheorie und Algorithmik
allgemein (und nicht auf Verifikation im speziellen) zu legen.
Die Themen werden an zwei Terminen 'geblockt' vorgetragen. Im
ersten Block werden Themen behandelt, die eher der Komplexit&aul;tstheorie
zuzuordnen sind. Im zweiten Block werden algorithmische Themen behandelt.
Der KT-Block findet am 23. Mai von 1300-1615 Uhr in C-101 statt. Folgende
Themen werden behandelt:
- 1300-1400 Uhr, Polynomielle Zeit (P, NP, ...) - Tim Jacobi
- 1400-1500 Uhr, Logarithmischer Platz (L, NL, ...) - Felix Riegler
- 1500-1510 Uhr, kurze Pause
- 1510-1610 Uhr, Probabilistische Komplexitätsklassen (BPP, RP, ZPP, ...) - Clawes Dubbels
Der Algo-Block wurde aus aktuellem Anlass (am 30. Mai findet die MIN-VV
zur aktuellen hochschulpolitischen Situation statt) auf den 6. Juni
verschoben. Am 6. Juni werden dann von 1300-1500 Uhr in C-101 folgende
Themen behandelt:
- 1300-1400 Uhr, Approximationsalgorithmen - Mehdi Sajjadi
- 1400-1500 Uhr, Heuristiken - Kjell Rieck
Jeder Vortrag setzt sich aus 45 Minuten Präsentation und 15 Minuten
Diskussion/Feedback zusammen.
Ich empfehle euch LaTeX und das Beamer-Package zu benutzen (aber
ihr dürft auch andere Dinge benutzen). Eine kleine Präsentation
mit dem LaTeX-Beamer-Package findet ihr hier.
(Das ist der 5. Foliensatz der letztjährigen AuD-Vorlesung, der
lediglich eine Zusammenfassung eines anderen Foliensatzes war und
deswegen übersichtlich klein war.)
Ein grösseres Beispiel ist hier. Da
werden insb. viele Notationen aus der Komplexitätstheorie benutzt.
Nachfolgend die Folien zu den einzelnen Vorträgen:
Wie bei den Folien empfehle ich euch auch hier LaTeX zu benutzen. Eine
kleine Ausarbeitung zu einem Thema findet ihr
hier.
Die Ausarbeitungen werden hier nicht online gestellt werden.
[Lehre]
[TGI]
[Informatik]
Impressum
