Zur Modulseite PDF generieren

#40286 / #6

SS 2019 - SoSe 2022

English

Computational Social Choice

9

Brill, Markus

Benotet

Schriftliche Prüfung

English

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352500 FG Effiziente Algorithmen

Keine Angabe

Kontakt


TEL 5-1

Thielcke, Christlinde

brill@tu-berlin.de

Lernergebnisse

On successful completion, students will be able to: - understand fundamental tradeoffs, - model preferences and aggregation methods, - develop (efficient) algorithms, and - analyze axiomatic and computational properties in the context of collective decision making.

Lehrinhalte

Computational Social Choice (COMSOC) addresses problems at the interface of social choice theory and computer science. Social choice theory is the formal study of collective decision making processes, an important example of which are voting rules. We discuss fundamental concepts from social choice theory and investigate axiomatic and computational aspects. Specific topics include: - Arrow's impossibility result, - restricted domains of preferences, - social preference functions, - tournament solutions, - strategic voting, and - multiwinner elections.

Modulbestandteile

Compulsory area

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Computational Social ChoiceIV3435 L 8665SoSeen6

Arbeitsaufwand und Leistungspunkte

Computational Social Choice (IV):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.06.0h90.0h
Vor-/Nachbereitung15.010.0h150.0h
240.0h(~8 LP)

Lehrveranstaltungsunabhängiger Aufwand:

AufwandbeschreibungMultiplikatorStundenGesamt
Prüfungsvorbereitung1.030.0h30.0h
30.0h(~1 LP)
Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

The course material is presented in lectures. The lectures are accompanied by tutorials.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Basic knowledge of discrete mathematics, algorithms, and computational complexity. Familiarity with formal proof methods.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Written exam

Sprache(n)

English

Dauer/Umfang

120 min

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 40.

Anmeldeformalitäten

Please register at QISPOS or directly at the examination office.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  nicht verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar
Zusätzliche Informationen:

 

Literatur

Empfohlene Literatur
F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A. D. Procaccia, ed.: Handbook of Computational Social Choice. Cambridge University Press, 2015.
H. Moulin: Axioms of Cooperative Decision Making. Cambridge University Press, 1988
W. Gaertner: A Primer in Social Choice Theory. Oxford University Press, 2009

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Sonstiges

Keine Angabe