Seminar Zählen in der Informatik

S2, Modulbereich Theorie, 2 SWS (4 ECTS)

Veranstalter: Dr. Jean Christoph Jung
Vorbesprechung: Mittwoch, 05.04.2017, 12-14 Uhr, Cartesium Raum 0.01
Ohne Teilnahme an der Vorbesprechung kann das Seminar nicht belegt werden.
Wer Interesse an dem Seminar hat, aber nicht zur Vorbesprechung kommen kann,
meldet sich bitte bis 04.04.2017 per email.
Leitfaden: Hier finden sich eine Beschreibung des Ablaufs sowie Hinweise zur erfolgreichen Teilnahme.

Zählen in der Informatik

Zählen im weitesten Sinne hat viele Anwendungen in der (theoretischen) Informatik. Dieses Seminar soll dazu dienen sich einige Highlights dieses Gebiets genauer anzusehen. Hier einige Beispiel-Themen:

Die Komplexitätsklasse #P entspricht der Klasse NP für Zählprobleme. Sie wurde 1979 eingeführt und hat einige interessante Eigenschaften.
Das SAT-Problem ist bekannt aus den Grundveranstaltungen in theoretischer und technischer Informatik. Wir schauen uns an, wie schwierig es ist, die Anzahl der Lösungen von aussagenlogischen Formeln zu bestimmen oder zu approximieren. Überraschenderweise ist das oft wesentlich schwieriger als nur Erfüllbarkeit zu testen.
In der Stream-Verarbeitung möchte man die Anzahl von Einsen in einem Fenster bestimmen. Wie kann man das Speicher-effizient schaffen?

Organisation

Die Teilnehmer wählen nach der Vorbesprechung eine Arbeit (also ein Buchkapitel bzw. einen Artikel), die sie in einer 2er Gruppe bearbeiten. Die Arbeit soll von den bearbeitenden Teilnehmern zunächst gelesen und verstanden werden sollen, wobei ihnen ein Betreuer zur Seite steht. Jede Gruppe fertigt eine ca. 15-seitige, lesbare Ausarbeitung an, deren Form den Standards wissenschaftlichen Arbeitens genügt. Am Ende des Semesters findet ein Blockseminar statt, in dem jede Gruppe ihr Thema in einem Vortrag den anderen Teilnehmern in verständlicher Weise darstellt. Die Zeitplanung und das Vereinbaren von Terminen mit dem Betreuer gehört zu den Aufgaben der Teilnehmer.

Ein Teil der Betreuung wird auf englisch stattfinden.

Ablaufplan Blockseminar

Wird später bekannt gegeben.

Terminplan

Der folgende Plan soll als Orientierung dienen.

bis 08.05.	Literatur lesen, verstehen und diskutieren, Unklarheiten mit dem Betreuer klären
spätestens 09.05.	Beginnen, an der Hausarbeit zu schreiben
24.05.	Gemeinsames Treffen aller Seminarteilnehmer 12-14 Uhr in Cartesium 0.01
16.06.	Abgabe der ersten Version der Hausarbeit
23.06.	Rückgabe der korrigierten Hausarbeit durch den Betreuer
30.06.	Abgabe der endgültigen Hausarbeit
letzte Woche des Semesters	Blockseminar

AG Theorie der künstlichen Intelligenz