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

Код ВАК 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