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

Код ВАК 01.01.06

Тема работы	Автор	Год
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики Г. Джапаридзе2 сформулировал полимодальный вариант логики доказуемости GLP, рассмотрев язык пропозициональной логики, снабженный счетным числом модальностей [0], [1],.... Для каждого п арифметическим переводом модальности [п] является формула, выражающая доказуемость в теории РА, обогащенной всеми истинными Пп-предложениями. Аналогично случаю GL…	Шамканов, Данияр Салкарбекович	2012
Исследования в категории пронильпотентных алгебр Ли Известно, что на группе (алгебре), аппроксимируемой нильпотентными группами (алгебрами), можно определить (многими способами) так называемую пронильпотентную топологию, превращая тем самым группу (алгебру) в топологическую группу (алгебру). Кроме того, существует стандартная процедура, например, с помощью обратных пределов обратных спектров…	Швед, Елена Анатольевна	2012
Категориальные грамматики, основанные на вариантах исчисления Ламбека Хомский4 предложил другое семейство грамматик, среди которых наиболее известны контекстно-свободные грамматики. Они широко применяются для анализа искусственных языков (например, языков программирования5), однако для естественных языков категориальные грамматики обладают рядом преимуществ, прежде всего — свойством лек-сикализации: вся…	Кузнецов, Степан Львович	2012
Квадратичные характеры в проблеме распределения целых точек в шаре Проблемой шара называют задачу о выводе асимптотической формулы для Т(а) — числа узлов трехмерной целочисленной решетки, лежащих внутри шара растущего радиуса а с центром в начале координат, а также возможно более точной оценке остаточного члена И(а) данной асимптотики…	Архипова, Людмила Геннадьевна	2012
Квантовые аффинные алгебры и янгианы Считается общеизвестным, что описанные реализации квантовых аффинных алгебр изоморфны, несмотря на то, что точные доказательства существуют лишь для алгебр £}1п-серии. Для алгебры ид(з[п) изоморфизм между стандартной реализацией и реализацией Дринфельда был описан в работе [6], связь между реализацией Дринфельда и /¿¿¿-реализацией была установлена…	Шапиро, Александр Михайлович	2012
Классификация и хроматическая определяемость элементов малой высоты в решётках полных многодольных графов …	Сеньчонок, Татьяна Александровна	2012
Короткие тригонометрические суммы с нецелой степенью натурального числа Оно замечательно тем, что при постоянном п в смысле порядка роста правой части с возрастанием q оно, вообще говоря, уже не может быть заменено существенно лучшим. В.Н. Чубариков [6] получил оценки модуля кратной рациональной тригонометрической суммы…	Рахмонов, Парвиз Заруллоевич	2012
Модули стабильных пучков ранга два с классами Черна c1 = -1, c2 = 2, c3 = 0 на проективном пространстве …	Заводчиков, Михаил Александрович	2012
Нормальность замыканий орбит максимального тора Возьмём в качестве У рациональный Т-модуль V. Обозначим через Л = Л(Т) решётку характеров тора Т. Относительно действия Т модуль V может быть диагонализован: у = 0у;,„ где = {V е V \| ¿V =/¿(ф \fttT}. цеА…	Куюмжиян, Каринэ Георгиевна	2012
О классах категориальных грамматик зависимостей Рис. 1: Пример проективной структуры зависимостей ского языка, структура зависимостей проективная, что, несколько упрощая, означает, что зависимости в структуре не пересекаются. Большинство грамматик, порождающих деревья зависимостей, имеют дело только с проективными структурами. С другой стороны, в языках достаточно часто встречаются предложения…	Карлов, Борис Николаевич	2012
Определители булевых матриц и их приложения …	Поплавский, Владислав Брониславович	2012
О пропозициональных исчислениях, представляющих понятие доказуемости Ранее исследовалась [5] интуиционистская логика доказательств 1ЬР, определяемая как фрагмент ЬР с интуиционистскими пропозициональными аксиомами вместо классических. Однако, логика 1ЬР не полна относительно интуиционистской арифметики НА и, таким образом, не решает вопроса о логике доказательств этой теории…	Дашков, Евгений Владимирович	2012
Оценки числа решений теоретико-числовых уравнений, используемых в криптографии …	Гречников, Евгений Александрович	2012
Положительные элементы и рациональные множества в группах …	Воронина, Ольга Александровна	2012
Полукольца непрерывных [0,1]-значных функций …	Лубягина, Елена Николаевна	2012
Произведение степенных вычетов как интеграл Шнирельмана, и обобщения закона взаимности Эйзенштейна Проблема получения явных формул для символа Гильберта в произвольном локальном поле имеет длинную историю, которая началась с работы Артина и Хассе, получившими явные формулы для символа Гильберта при некоторых ограничениях в круговом поле <0>Р(£Р)- Следующий шаг был сделан в работе Шафаревича, который нашел алгоритм вычисления символа Гильберта в…	Иванов, Михаил Анатольевич	2012
Радикалы колец эндоморфизмов некоторых классов абелевых групп без кручения В ходе дальнейшего развития теории колец, модулей и абелевых групп, понятие радикала было аксиоматизировано. В настоящее время большое и активно развивающееся направление теории колец и модулей — изучение различных свойств радикалов в категориях колец и модулей и взаимосвязей между ними. Однако, «классические» радикалы по-прежнему сохраняют свое…	Буданов, Александр Викторович	2012
Разработка и оценка эффективности алгоритмов просеивания для факторизации натуральных чисел …	Зиятдинов, Дмитрий Булатович	2012
Разрешимость теорий иерархий согласованных со сложением функций Также известны следующие теории, разрешимость которых установлена методом элиминации кванторов: теория рациональных чисел с порядком, теория алгебраически замкнутых полей, теория булевых алгебр…	Снятков, Алексей Сергеевич	2012
Ранговые функции матриц над полукольцами Несмотря на то, что значительная часть результатов нашей работы связана с тропическим полукольцом, существенное внимание уделено также изучению линейной алгебры над полукольцами в общем случае. Важность изучения свойств матриц над полукольцами в общем случае связана с тем, что самые различные полукольца возникают в различных теоретических и…	Шитов, Ярослав Николаевич	2012