Магистерская диссертация: Формальная онтология учебных задач по алгебре логикиотчет