Разработка компьютерной системы контроля знаний с использованием дискретной оптимизации