f) Teorie složitosti a teorie vyčíslitelnosti,