Aktuelles | Ort und Zeit | Unterstützung | Einführende Literatur | Vortragsthemen und Literatur | Verbindliche Regeln zum Bestehen des Moduls  

Seminar Logik in der Informatik

Seminar im SoSe 2012

Gehalten von Prof. Dr. Nicole Schweikardt

Aktuelles

Einführung

Im Seminar werden aktuelle Themen aus dem Bereich Logik in der Informatik behandelt.
Lernziele: Kenntnis grundlegender Methoden und Verfahren, Einübung von Literatursuche und -analyse sowie Präsentationstechniken. Theoretische Kompetenz; autodidaktische Kompetenz.

Kürzel laut Studienordnung: B-LI-BS, M-LI-S, Bioinf Modul 21.  Creditpoints: 5.  SWS: 2 S.

Ort und Zeit

Das Seminar ist als Blockseminar organisiert. Das Seminar findet i.d.R. in Raum 117, Robert-Mayer-Str. 11-15 statt. Termine:

  1. Donnerstag, den 12.04.2012, 14:15-16:00, Raum 117:
    Vorbesprechung und Themenvergabe
  2. Donnerstag, den 19.04.2012, 14:15-16:00, Raum SR 9:
    Überblicksvortrag zur Einleitung ins Thema des Seminars
  3. "Deadline 1": bis spätestens Donnerstag, 31.05.2012, 14:15 Uhr:
    Treffen jedes Seminarteilnehmers mit einem der Organisatoren des Seminars: Klärung von Detailfragen zum Vortragsthema und Vorlage eines groben Konzepts zum Vortrag und zur schriftlichen Ausarbeitung des Vortragsthemas
  4. "Deadline 2": bis spätestens Donnerstag, 21.06.2012, 14:15 Uhr:
    Abgabe der schriftlichen Ausarbeitung des Vortragsthemas bei den Organisatoren des Seminars (Layout: wie in der Layout-Vorlage angegeben)
  5. "Deadline 3": bis spätestens Donnerstag, 05.07.2012, 14:15 Uhr:
    Treffen jedes Seminarteilnehmers mit einem der Organisatoren des Seminars: Vorlage eines detaillierten Vortragskonzepts inkl. Vortragsfolien
  6. 23. und 24.07.2012, 8:15 - 12:00 Uhr:
    Blockseminar mit Vorträgen der am Seminar teilnehmenden Studierenden (in Raum 117 oder einem anderen noch festzulegenden Raum)

Unterstützung

Während der Vorlesungszeit stehen jeden Mittwoch von 15:00 bis 15:45 Termine bei Nicole Schweikardt zur Verfügung, während denen Seminarteilnehmer Fragen zur Literatur klären können. Falls Sie einen solchen Termin wahrnehmen wollen, melden Sie sich bitte spätestens am Tag vorher per Email an.

Einige generelle Informationen darüber, wie man gute Vorträge im Fach Informatik halten kann, finden sich hier.

Einführende Literatur

Vortragsthemen und Literatur

Mögliche Vortragsthemen

  1. Der Satz von Büchi: Eine logische Charakterisierung der regulären Sprachen
  2. Der Satz von Fagin: Eine logische Charakterisierung von NP
  3. Das Ajtai-Fagin-Spiel und die existentielle monadische Logik zweiter Stufe
  4. Erreichbarkeit ist für gerichtete Graphen schwerer als für ungerichtete Graphen
  5. Ein Satz von Immerman: Eine logische Charakterisierung von LOGSPACE auf geordneten Strukturen
  6. Pebble-Spiele und infinitäre Logiken
  7. Der Satz von Immerman und Vardi: Eine logische Charakterisierung von P auf geordneten Strukturen
  8. Cai-Fürer-Immerman Graphen und Fixpunktlogik mit Zählquantoren
  9. 0-1-Gesetze
  10. Ein Satz von Immerman: Eine logische Charakterisierung der Schaltkreiskomplexitätsklasse AC°
  11. Die Gaifman-Lokalität von AC°-berechenbaren Anfragen

Literatur zu ausgewählten Vortragsthemen

Verbindliche Regeln zum Bestehen des Moduls

Um das Modul zu bestehen sind nötig:
  1. Einen Vortrag zu einem der oben genannten Themen zu halten (Dauer: 60 Minuten, plus 10 Minuten zur Diskussion und zur Klärung von Fragen aus dem Publikum),
  2. Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas. Abzugeben bis spätestens am 21.06.2012 (14:15 Uhr); Layout: wie in der Layout-Vorlage angegeben,
  3. Anwesenheit bei mindestens 75% aller Vorträge und
  4. Einhalten der drei oben genannten Deadlines.
Es werden eine Note für den Vortrag und eine Note für die schriftliche Ausarbeitung vergeben. Die Gesamtnote setzt sich folgendermaßen zusammen: