понятно, с чем это связано - матроиды придумал великий тополог Х.Уитни в связи с какими-то геометрическими заморочками, но используются они в основном в теории жадных алгоритмов (это некоторый способ их формализовать) - это широкий класс быстрых алгоритмов, которые в некоторых ситуациях точно решают нетривиальные задачи (например, минимальное остовное дерево в графе найти, или найти код с минимальной избыточностью).

это монография про какое-то обобщение, видимо, чтобы охватить более широкий класс алгоритмов; вряд ли это интересно, но вообще нужно внутрь смотреть.

уровень математики в ГРУ я не знаю, но в своё время я видел учебник алгебры для ФАПСИ, который, видимо, примерно отражает; уровень этот достаточно низкий, например, они теоремы Силова доказывают для абелевых групп (наверное, им это как-то надо для шифрования, но вообще сам факт ужасает - для абелевых групп теоремы Силова очевидны и совершенно бессмысленны). впрочем, этим товарищам удалось в своё время произвести впечатление на А.Канеля-Белова, известного олимпиадника, тем, что кто-то из них знал сложение точек на эллиптической кривой (это известно как им нужно для шифрования).