Seminar Ausgewählte Themen der Logik in der Informatik
Veranstalter: Prof. Carsten Lutz
S2, Modulbereich Theorie
Vorbesprechung: Mittwoch, 6.4., 14:00-16:00 MZH 3150
Ohne Teilnahme an der Vorbesprechung kann das Seminar nicht belegt
werden.
In diesem Leitfaden finden sich
eine Beschreibung des Ablaufs sowie Hinweise zur
erfolgreichen Teilnahme.
Kurzbeschreibung
Die formale Logik gehört zu den zentralen theoretischen
Grundlagen der Informatik und hat wichtige Anwendungen in Gebieten wie
Datenbanktheorie, Verifikation, Komplexitätstheorie und in der
Theorie der formalen Sprachen. Ziel des Seminars ist es, den
Teilnehmern aufbauend auf der Vorlesung "Logik" im WS10/11 einen
Einblick in ausgewählte, weiterführende Themen der Logik in
der Informatik zu ermöglichen. Dabei handelt es sich
beispielsweise um Resolution und Horn-Logik im Fall der Logik erster
Stufe, weitere Werkzeuge zum Studium der Ausdrucksstärke
(0-1-Gesetze und Lokalität), sowie komplexitätstheoretische
Aspekte.
Das Seminar stützt sich unter anderem auf folgendes Buch:
Leonid Libkin. Elements of Finite Model Theory. Springer Verlag, 2004.
Weitere relevante Literatur wird in Stud.IP bereitgestellt.
Voraussetzungen / Vorkenntnisse
Teilnehmer des Seminars müssen die Vorlesung "Logik" besucht
haben.
Organisation
Die Teilnehmer wählen während der Vorbesprechung ein Thema,
dass sie in einer Zweiergruppe bearbeiten. Zu jedem Thema gibt es
einen oder mehrere (englischsprachige) Aufsätze, die 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. Mehr Information und Tipps
zur erfolgreichen Teilnahme gibt es in
diesem Leitfaden.
Ein Teil der Betreuung wird auf englisch (oder türkisch oder spanisch) stattfinden.
Terminplan
| bis 21.4. |
Erstes Treffen mit dem Betreuer |
| 11.4.–13.5. |
Literatur lesen und verstehen, Unklarheiten mit dem Betreuer diskutieren |
| spätestens 16.5. |
Beginnen, an der Hausarbeit zu schreiben |
| 8.6. |
Abgabe der fertigen Hausarbeit |
| 15.6. |
Rückgabe der korrigierten Hausarbeit durch den Betreuer |
| 29.6. |
Abgabe der endgültigen Hausarbeit und Vorlage der ersten Version der Folien für den Vortrag |
| ca. 13.7. |
Vortrag |
AG Theorie der künstlichen Intelligenz