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

Код ВАК 01.01.06

Тема работы	Автор	Год
Линейные группы над ассоциативными кольцами …	Голубчик, Игорь Захарович	1998
Метод канонических формул и его применение в модальной логике …	Захарьящев, Михаил Викторович	1998
Метрические свойства неаменабельных групп Актуальшсть теми Осташпм часом в комбшаторшй теорн груп видши-лась галузь гид назвою геометричноУ (чи асимптотично\) теорп груп. Ця галузь вивчае з одного боку групи, яш виникають в геометра (фунда-ыенталын групи, групи клаав вщображень ьт.д.), а з шшого застосовуе до вивчення груп i отримання нав1ть чисто алгебраиших результата геометричну…	Некрашевич, Владимир Владимирович	1998
Некоторые вопросы теории диофантовых уравнений …	Устинов, Алексей Владимирович	1998
Некоторые свойства систем некомпактных подгрупп разрешимых локально компактных групп Актуальність теми Вивчення труп з заданими обмеженнями на системи замкнених підгруп є одним з важливих напрямків в сучасній теорії топологічних груп. Цей напрямок з’явився спочатку в області скінченних труп. Далі його було розповсюджено на нескінченні трупи. При цьому виникло баї ато важливих понять сучасної теорії груп і пов'язаних з цими…	Шестаков, Сергей Станиславович	1998
Некоторые свойства тождеств алгебры Витта и условие нетеровости универсальных обертывающих алгебр ЛИ Методы исследования. Применение теории представления симме-. трических групп к исследованию многообразий линейных алгебр. Комбинаторные приемы. Общие методы теории колец и модулей…	Власов, Николай Анатольевич	1998
Некоторые типичные свойства конечно определенных групп В настоящей работе мы рассматриваем класс конечно определенных групп и устанавливаем ряд свойств, которыми обладает случайным образом выбранная группа из этого класса. Такие свойства мы называем "общими" (или типичными). Более точно, пусть Хт = {xf1,.^^} групповой алфавит, где т > 2. Для фиксированного п рассмотрим все копредставления групп вида…	Аржанцева, Гульнара Нурулловна	1998
Нетрадиционные версии обобщенной вычислимости с оракулами Главное отступление от традиционной версии оракульной вычислимости заключается в регламентированном допущении отказов (или ситуаций, приравниваемых к отказу). Например, можно считать, что машина может получать к отказов со стороны оракула и воспринимать их как специфические ответы, а при {кА /;-м отказе - "застревать". При исследовании этой версии…	Ганова, Руслана Валерьевна	1998
О p-примитивных полуполевых плоскостях …	Бусаркина, Ирина Викторовна	1998
Об определимости понятия "быть свободной алгеброй" в бесконечных логиках и универсальные вложения групп …	Гороховская, Наталия Германовна	1998
Образующие элементы и определяющие соотношения в линейных группах …	Сатаров, Жоомарт	1998
О дискриминантах полилинейных форм …	Долотин, Валерий Валерьевич	1998
О когомологических носителях наклонных модулей …	Острик, Виктор Валентинович	1998
О некоторых арифметических задачах, связанных с героновыми треугольниками …	Кожегельдинов, Сагдулла Шаяхметович	1998
Определимость в итерированных расширениях В логике существует подход, позволяющий, с одной стороны, обобщить понятие свойства, выразимого обычными средствами, с другой, ввести цепь отношений "схожести", являющимися аппроксимациями понятия изоморфизма с разной степенью близости к нему, в пределе превращающихся в отношение частичной изоморфности, для счетных моделей тождественное…	Алаев, Павел Евгеньевич	1998
Оценки высоты термов в наиболее общем унификаторе …	Конев, Борис Юрьевич	1998
Плоские графы Кэли …	Беленкова, Жанна Тадеушевна	1998
Полусовершенные кольца с заданной присоединенной группой Важливою областю застосування теорп груп е теор1я груп оборот-шх (—кваз1регулярних) елементчв асощативних юлець, яка почалася з вивчення мультиплжативних груп в1домих пол1в. Напевно, першим результатом в цьому напрямку е основна теорема арифметики, яка стверджуе, що кожне ненульове рацюнальне число можна однозначно записати у вигляд1…	Ищук, Юрий Богданович	1998
Правоупорядочиваемые группы …	Тарарин, Валерий Михайлович	1998
Предикатные логики теорий первого порядка Пусть фиксирована теория Т первого порядка. Интерпретацией предикатного языка в язык теории Т назовем всякое отображение /, сопоставляющее каждому предикатному символу некоторую формулу в языке теории Т с тем же набором свободных переменных, причем / коммутирует с булевыми связками, кванторами и операцией замены переменных. Логикой С(Т) теории Т…	Яворский, Ростислав Эдуардович	1998