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

Код ВАК 01.01.06

Тема работы	Автор	Год
Атомы решетки универсально аксиоматизируемых классов полугрупп Напротив, если задано какое-то конкретное подмножество Г' множества формул Г сигнатуры О , то через К^Т' обозначим класс всех тех алгебраических систем сигнатуры О,, в каждой из которых истинны все формулы из Г' (будем называть его Г' -классом…	Перепелкина, Ольга Анатольевна	2003
Бесконечные дважды транзитивные группы подстановок и группы с инволюциями …	Сучков, Николай Михайлович	2003
Генетика линейных групп и условия линейной представимости бесконечных групп …	Брюханов, Олег Вадимович	2003
Гиперболические многогранники Кокстера В то же время, примеры гиперболических многогранников Кокстера известны лишь в достаточно небольших размерностях. Рекордный пример ограниченного многогранника Кокстера был построен В. О. Бугаенко [22] как фундаментальный многогранник подгруппы отражений группы автоморфизмов решетки [— (у/Ъ + 1)]±Е8. Его размерность равна восьми. Неограниченный…	Тумаркин, Павел Викторович	2003
Диофантовы приближения в логарифмических пространствах Последующее развитие теории чисел показало, что эта задача имеет не только самостоятельный теоретический интерес, но и позволяет решать ряд других проблем. Причем осознано это было до появления необходимых оценок линейных форм от многих логарифмов. Так, монография Гельфонда [5] 1952 года по этой тематике завершается словами…	Матвеев, Евгений Михайлович	2003
Квадратичные элементы групп Фробениуса Все эти исследования ясно показали, что прогресс в "положительном" направлении изучения периодических групп возможен в первую очередь при условии существования в этих группах элементов небольших простых порядков, в частности, порядков 2 и 3 (отметим, что вопрос о локальной конечности групп периода 5 до сих пор открыт). Надежды на такой прогресс…	Журтов, Арчил Хазешович	2003
Кольца рядов Лорана и псевдодифференциальных операторов В работе Паршина [7] автор развил алгебраическую теорию колец формальных псевдодифференциальных операторов от нескольких переменных и отмечает, что "другие подходы к построению колец псевдодифференциальных операторов см. в [24], [25], [2]". В этой же работе используются итерированные кольца косых рядов Лорана. В структурной теории колец ¡/0…	Туганбаев, Диар Аскарович	2003
К теории упорядоченных полей и групп Строение сечений в упорядоченном поле несет существенную информацию о свойствах самого поля. Поэтому логика исследования упорядоченных полей со временем привела к некоторой классификации сечений в упорядоченных полях. По-видимому, Дедекинд был первым математиком, использовавшим понятие сечения во множествах рациональных и вещественных чисел при…	Пестов, Герман Гаврилович	2003
Маршруты Грёбнера Бухбергера для построения базисов Грёбнера относительно лексикографического порядка, известный под названием маршрута Грёбнера (Grob-ner Walk). Этот метод основан на известном наблюдении, что время работы алгоритма Бухбергера существенно зависит от выбора отношения порядка на мономах. Например, построение базиса Грёбнера относительно порядка общей…	Голубицкий, Олег Дмитриевич	2003
Матричное представление свободных абелевых расширений С технической стороны представление Магнуса непосредственно связано с дифференциальным исчислением в соответствующих многообразиях. Среди других важных приложений дифференциального исчисления к свободным алгебрам различных многообразий отметим исследование автоморфных орбит элементов, теоремы о ранге и алгоритмы распознавания примитивности системы…	Данилов, Андрей Николаевич	2003
Минимальные покрытия тьюринговых степеней Первая конструкция минимальной степени принадлежит К.Спектору (C.Spector [1956]). Шенфильд (Shoenfield [1966]) ввел понятие деревьев, которое оказалось чрезвычайно полезным для формулировок и доказательств результатов о минимальных степенях и покрытиях и способствовало упрощению доказательства Спектора…	Ишмухаметов, Шамиль Талгатович	2003
Модальные логики, основанные на α-пространствах В последнее время неклассические логики широко применяются к изучению геометрических структур (например, модальные логики подмножеств действительной плоскости [28], интервальные временные логики [9]) и топологических пространств. Так, например, в [8] В.Б. Шехтманом в языке с оператором локальной и универсальной истинности построена система аксиом…	Мурзина, Вета Федоровна	2003
Моделирование оснований математических теорий …	Ганов, Валерий Александрович	2003
Нетотальные степени перечислимости В 1995 г. Роберт Соар предложил вернуться к исходной терминологии и использовать термин "вычислимый" в смысле Геделя и Тьюринга, а термин "рекурсивный" только для определений по рекурсии (то есть сузить понятие "рекурсивный" до его фактического смысла). Это предложение стало общепринятым и теперь название предмета из "Теории рекурсии" изменено на…	Солон, Борис Яковлевич	2003
Об отделимости подгрупп в некоторых классах конечных групп …	Соколов, Евгений Викторович	2003
О коммутативных подалгебрах в обертывающих алгебрах полупростых алгебр Ли Элементы х,у G P(q) будем называть коммутирующими, если {х,у} = 0. В соответствии с этим будем понимать и такие термины, как "коммутативное подпространство" (в частности, "коммутативная подалгебра") и "централизатор" (какого-либо подмножества) в алгебре Р(д). Из (0.5) следует, что если какие-либо элементы в алгебре P(q) попарно коммутируют, то…	Тарасов, Алексей Александрович	2003
О некоторых вариантах понятия реализуемости Логика реализуемости (точнее, разные варианты такой логики) и логика финитных задач активно изучались разными исследователями. Довольно быстро было установлено, что эти логики расширяют интуиционистскую логику высказываний, но не совпадают с ней, и встал вопрос об их синтаксическом описании. Для логики финитных задач была доказана невозможность…	Чернов, Алексей Вячеславович	2003
О некоторых свойствах алгебр матричных инвариантов над бесконечными полями конечной характеристики Один из способов решения этой задачи — найти общие свойства колец инвариантов редуктивных групп, которые позволили бы упростить вычисления, еще лучше, свести их, в том или ином смысле, к линейной алгебре. Одним из таких свойств является свойство Коэна-Маколея. Большинство алгебр инвариантов обладает естественной градуировкой, такой, что компонента…	Кузьмин, Сергей Геннадьевич	2003
Определяемость абелевых групп группами гомоморфизмов Автор выражает глубокую благодарность своему научному руководителю, Себельдину Анатолию Михайловичу, а также Любимцеву Олегу Владимировичу за внимание к работе, советы и указания…	Береговая, Татьяна Александровна	2003
Определяемость абелевых групп своими подгруппами и почти изоморфизм Существует также логический аспект задачи о почти изоморфизме, основанный на том, что если модули почти изоморфны по чистым подмодулям, то они элементарно эквивалентны [Е…	Мордовской, Андрей Константинович	2003