Kurs diskutuje dva základní pohledy na teorii her, a to pohled axiomatický (kooperativní teorie her) a strategický
(nekooperativní teorie her). Bude se věnovat jak aplikacím teorie her (např. v rámci politické ekonomie), tak
formálnímu srovnání jednotlivých analytických přístupů. V neposlední řadě představí úvod do matematické logiky a
teorie důkazu, přičemž bude koncepty matematické logiky formulovat jazykem (nekooperativní) teorie her.