Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• eine Literaturrecherche zu einem Thema oder einem Ergebnis im Schnittfeld von Logik und Informatik durchzuführen,
• das Thema oder Ergebnis zu studieren, zu verstehen und zu erklären,
  
• und eine Implementierung oder Anwendungsthema zu präsentieren.

Wir bearbeiten in diesem Seminar Methoden zur Lösung von Zählproblemen im Bereich Boolean Satisfiability (SAT), Answer Set Programming (ASP), Computational Social Choice, Bayesian Reasoning. Der Fokus im Seminar liegt  auf dem Entwurf und der Entwicklung effizienter Algorithmen.  

Die Studierenden müssen

• eine Literaturrecherche zu einem gewählten Thema durchführen,
• ein Vortragskonzept zum gewählten Thema erstellen oder einen Algorithmus effizient implementieren, und
• einen 30-45minütigen Vortrag halten.

ECTS Breakdown:

• 12 Stunden: Seminartreffen (Vorträge und Diskussionen)
• 30 Stunden: Presentation/Implementation (samt Vorbereitung, Handout etc.)
• 33 Stunden: Studium relevanter wissenschaftlicher Arbeiten

Abhaltemodus Sommersemester 2022:

• Die Vorbesprechung findet online via ZOOM statt. Es ist geplant, dass die Präsentation/Vorträge in Präsenz abgehalten werden. 
• Wir behalten uns aber vor, wenn es die Situation erfordern sollte, auf Distance Learning umzustellen.
• Bei etwaigen Distance Learning ist folgendes Equipment ausreichend: geeigneter Arbeitsplatz, stabile Internetverbindung, Notebook mit integrierter Kamera & Headset (oder vergleichbarer Setup)

Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen

(Einfache) Vorkenntnisse aus mathematischer Logik werden erwartet.