«Алгебраические структуры и относительная вычислимость»