Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Математическая логика, алгебра и теория чисел

Код ВАК 01.01.06
Тема работы Автор Год
Алгебраические неассоциативные структуры и их приложения в криптографии

В теории квазигрупп некоторые понятия, например, нормальность, производная и центр, хорошо сочетаются с обычными теоретико-групповыми определениями. Р. Брак7 показал, что обычные теоретико-групповые определения полностью корректны для луп Муфанг. Наиболее полно теория…

Грибов, Алексей Викторович 2015
Асимптотические свойства рациональных множеств и систем уравнений в свободных абелевых группах и разрешимость регулярных уравнений в классе нильпотентных групп

Регулярные языки и конечные автоматы являются классическими объектами в теории формальных языков. Их изучение восходит к 40-м годам XX века, когда в работе МакКаллока. и Питтса [37] конечные автоматы использовались для моделирования нейронных сетей. С тех пор регулярные языки и конечные автоматы активно изучались. Среди ранних результатов…

Меньшов, Антон Владимирович 2015
Векторные расслоения конечного ранга на полных пересечениях конечной коразмерности в линейном ИНД-грассманиане

Векторные расслоения на Р™ при п > 2 не допускают такой простой классификации, в частности, касательное расслоение к Р™ является неразложимым при п > 2…

Ермакова, Светлана Михайловна 2015
Временная интранзитивная мульти-агентная логика

С начала 2000-х годов перспективным и быстро развивающимся стало направление модальных и много-модальных пропозициональных логик, описывающих рассуждения, доказательства и процессы вычислений. Такие логики позволяют перейти от языка, выражающего простые факты и утверждения, к более богатому и выразительному. Они имеют дело с высказываниями…

Лукьянчук, Александра Николаевна 2015
Вычислимые линейные порядки и естественные отношения на них

Классический результат [21] о существование вычислимого, но не 1-вычи-слимого линейного порядка является непосредственным следствием теоремы о существовании вычислимого линейного порядка С, имеющего порядковый тип и), такого, что отношение соседства Бс невычислимо. Нетрудно видеть, однако, что отношения Рс, сЬпс, Р£, Р^ вычислимы. Следовательно…

Бикмухаметов, Равиль Ильдарович 2015
Графы TI-подгрупп, расширения и автоморфизмы графов

С одной стороны, различные виды симметричных графов были построены с помощью известных групп. Отметим в качестве примера сильно регулярные графы ранга 3, связанные с действием группы на множестве, граф Гевиртца, построенный с использованием силовских 3-иодгрупп и инволюций из Л6 и т.д…

Зюляркина, Наталья Дмитриевна 2015
Классификация счётных моделей полных теорий с континуальным числом типов

Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Казанский (Приволжский) федеральный университет…

Попков, Роман Андреевич 2015
Классы скрученной сопряженности в линейных группах

Обобщением классов сопряжснностн являются классы скрученной сопряженности. Более точно, элементы хм у группы С называются (скру-ченно) (р-сопряжсннымн, где <р некоторый эндоморфизм группы, если существует такой элемент г в в. что ж = гуф-1). В последние годы много работ посвящено изучению классов скрученной сопряжснностн в различных…

Насыбуллов, Тимур Ринатович 2015
Мультипликативно идемпотентные полукольца

Становление теории полуколец пришлось на 50-70-е годы XX века. Дальнейшее развитие этой теории связано с успешным применением ее в компьютерной алгебре, идемпотентном анализе, тропической математике, теории оптимального управления, теории графов, теории автоматов, формальных языках и других разделах дискретной математики6,7'8…

Петров, Андрей Александрович 2015
Некоторые алгоритмические вопросы для полимодальных логик доказуемости

Логика Геделя-Леба GL формализуется в языке исчисления высказываний, обогащенном связкой □, и получается добавлением к аксиомам и правилам вывода исчисления высказываний следующих аксиом и правил вывода…

Пахомов, Федор Николаевич 2015
Необходимые и достаточные условия конечности кодлины многообразия алгебр Лейбница

Последовательность кодлин многообразия песет незначительную часть информации о многообразии. Тем интересней выглядит результат о многообразиях, кодлина которых равна единице. Эта проблема исследована в работе7. В ней доказано, что существует ровно три многообразия с указанным свойством, по одному в классах ассоциативно-коммутативных алгебр, алгебр…

Половинкина, Анастасия Владимировна 2015
Новые константы в предтабличных суперинтуиционистских логиках

Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Казанский (Приволжский) федеральный университет…

Кощеева, Анна Константиновна 2015
Нормальные базисы в конечных полях и их приложения

Неприводимые многочлены, корни которых образуют базис для представления элементов конечных полей, аналогичны простым числам. Они нашли свое применение в различных областях математики, информационной техники и защите информации. Использование свойств неприводимых многочленов позволяет максимизировать эффективность компьютерной реализации арифметики…

Геут, Кристина Леонидовна 2015
Оценки, связанные с теоремой Ширшова о высоте

Первоначальные усилия были направлены в сторону положительного решения проблемы, так как все известные частные случаи давали позитивный ответ. Например, если группа порождена т элементами и порядок ' каждого её элемента является делителем числа 4 или 6, она конечна…

Харитонов, Михаил Игоревич 2015
Пирсовские слои и цепи полуколец

Пучки используются в математике с 1945 года, когда их открыл Ж. Лере. Усилиями прежде всего А. Гротендика и участников его семинара пучки становятся важным инструментом алгебраической топологии. Интересующие нас применения пучков для исследований алгебраических систем появились сначала в монографии Р. Годемана1 в 1958, а затем в работе опять же…

Марков, Роман Владимирович 2015
Применение аналогов задачи факторизации к решению систем обыкновенных дифференциальных уравнений

В теории левосимметрических алгебр, используемых для построения интегрируемых уравнений большую роль играют фробениусо-вы алгебры Ли и фробениусовы коммутативные алгебры Ли. А.Г. Элашвили в работе 13 описал фробениусовы алгебры Ли…

Атнагулова, Рушания Ахъяровна 2015
Проблемы сопряженности слов и подгрупп в свободных конструкциях групп

Основные алгоритмические проблемы комбинаторной теории групп были сформулированы М. Дэном1 в 1912 году: проблема равенства, сопряженности в конечно определенных группах и проблема изоморфизма групп…

Логачева, Елена Сергеевна 2015
Сильно регулярные графы с собственным значением 3, их расширения и автоморфизмы

Система инцидентности, состоящая из точек и прямых, называется а-частичной геометрией порядка (s,i), если каждая прямая содержит ровно s + 1 точку, каждая точка лежит ровно на t + 1 прямой (прямые пересекаются не более, чем по одной точке) и для любой точки а, не лежащей на прямой L, найдется точно а прямых, проходящих через а и пересекающих L…

Кагазежева, Алена Мухамедовна 2015
Случайные разбиения и асимптотическая теория представлений

Бесконечная симметрическая группа может быть определена как (индуктивный) предел последовательности симметрических групп растущего размера; аналогично, бесконечномерная унитарная группа может быть определена как (индуктивный) предел последовательности унитарных групп растущей размерности. В связи с этим возникает естественный вопрос: как связаны…

Буфетов, Алексей Игоревич 2015
Специальные элементы решеток многообразий полугрупп

Применительно к полугруппам, решеточная теория многообразий начала систематически развиваться в середине 1960-х годов. К настоящему времени изучению решетки многообразий полугрупп посвящено около 250 работ. Результаты, полученные на начальном этапе развития этой теории, приведены в обзорах [И] и [1]. Ее современное состояние отражено в обзоре [9…

Шапрынский, Вячеслав Юрьевич 2015