Об одном результате из экстремальной комбинаторики и нижних оценках для исчисления резолюцийдипломная работа (Специалист)