Topics in Computational Social Choice

Worum geht's

Du beschäftigst dich mit Modellen und Methoden der kollektiven Entscheidungsfindung aus Sozialer Wahltheorie, insbesondere solchen, die in der Informatik Anwendung finden. Themenschwerpunkte sind probabilistische Sozialwahl, faire Aufteilung (Fair Division) und Allokation öffentlicher Güter; die Inhalte werden mathematisch präzise und beweisorientiert behandelt. Am Ende kannst Du solche Modelle anwenden, Eigenschaften von Aggregationsverfahren axiomtisch analysieren und relevante Algorithmen und Komplexitätsfragen bearbeiten.

Was du danach kannst

• Modelle kollektiver Entscheidungsprobleme verstehen und anwenden
• axiomatische Eigenschaften von Aggregationsverfahren analysieren
• formale Beweise und algorithmische Methoden verallgemeinern
• Ergebnisse verschiedener Social-Choice-Funktionen berechnen
• algorithmische Komplexität von Verfahren untersuchen

Aus was das Modul besteht

• VorlesungEinführung in Probleme der Sozialen Wahl, formale Modellierung und axiomatische Beschreibung
• Homeworks / Problem SetsVertiefung der Vorlesungsinhalte durch selbstständiges Lösen von Übungsaufgaben; Beitrag zur Leistungsverbesserung möglich
• Übungs- / DiskussionseinheitenBesprechung und Lösung von Übungsaufgaben, Möglichkeit für Rückfragen und vertiefende Arbeit

Lehrmethode

• LectureVermittlung der Modelle, Axiome und mathematischen Resultate
• Homework / Problem SetsFestigung des Gelernten durch eigenständiges Üben; teilweise benotet
• Exercise / Discussion SessionsDiskussion von Lösungen und Vertiefung der Anwendungen