Prohloubení znalostí teorie vyčíslitelnosti a složitosti, především hlubších vztahů, vlastností a jejich důkazů.