DSpace Собрание:

О тождествах ассоциативности полиадической операции [ ] l, σ, k

Sun, 01 Jan 2017 00:00:00 GMT

Название: О тождествах ассоциативности полиадической операции [ ] l, σ, k Авторы: Гальмак, А. М. Краткий осмотр (реферат): Доказано, что наличие единицы в полугруппе, на k-й декартовой степени которой с помощью подстановки σ определяется l-арная операция [ ] l, σ, k, и нетождественность подстановки σl-1 гарантируют невыполнимость всех тождеств, определяющих ассоциативность этой полиадической операции. Установлено также, что замена в указанном результате единицы левой единицей не исключает выполнимость некоторых из указанных тождеств.

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

Sun, 01 Jan 2017 00:00:00 GMT

Название: Разработка алгоритма и программного обеспечения детерминированной машины Тьюринга Авторы: Ясюкович, Э. И. Краткий осмотр (реферат): В статье рассматривается разработанное программное обеспечение анимации детерминированной машины Тьюринга, позволяющее выполнить несложные вычисления в унарной, двоичной, четверичной и других системах счисления. Интерфейс программного средства разработан на основе UserForm, которая содержит ленту для отображения исходного числа и результатов вычисления, флажки для выбора необходимых состояний и алфавита, поля со списками для формирования команд, а также командные кнопки для управления программой и ее выполнения.

Алгоритм развертки в подсчете количества S2n -орбит кэмероновских матриц

Sun, 01 Jan 2017 00:00:00 GMT

Название: Алгоритм развертки в подсчете количества S2n -орбит кэмероновских матриц Авторы: Липницкий, В. А.; Сергей, А. И.; Спичекова, Н. В. Краткий осмотр (реферат): В рамках решения третьей проблемы Кэмерона предложен алгоритм подсчета количества орбит на множестве бинарных квадратных матриц порядка n, n > 2, содержащих в точности n единиц, которые образуются под действием квадрата симметрической группы Sn. Количество орбит вычисляется на основе леммы Бёрнсайда. Для нахождения числа матриц, инвариантных относительно действия фиксированной подстановки, используется линейная развертка бинарной матрицы.

О неполуассоциативности полиадического группоида < Ак, ƞ s, σ, k >

Sun, 01 Jan 2017 00:00:00 GMT

Название: О неполуассоциативности полиадического группоида < Ак, ƞ s, σ, k > Авторы: галь, А. М.; Русаков, А. Д. Краткий осмотр (реферат): В статье найдены новые достаточные условия неполуассоциативности полиадической операции ƞ s, σ, k, которая определяется на декартовой степени Ак ƞ-арной полугруппы <А, ƞ> с помощью подстановки σ множества {1, ..., к} и n-арной операции ƞ.