Теория множеств, круги Эйлера, отношения на множествах, основы комбинаторики, булева алгебра, метод Квайна