Вы здесь

Вычислимость и конструктивность в ограниченных фрагментах теорий

Автор: 

Подзоров Сергей Юрьевич

Тип работы: 

Кандидатская

Год: 

1999

Артикул:

1000221531

179 грн

Добавить в корзину

• 
• 
• 

Рекомендуемые диссертации

• Допустимые правила вывода в нестандартных логиках и их базисы
• Абсолютно чистые и простые по чистоте модули
• Билинейные отображения коммутативных регулярных полугрупп
• Конечные линейные группы, порожденные двумерными элементами
• Многообразия групп простого периода и тождества с высокими степенями
• Деформации модулярных алгебр Ли
• Картеровы подгруппы конечных групп
• Центры полугрупповых колец над полугруппами IS_n и IO_n
• Алгебро-топологические характеристики толерантных пространств
• Решение некоторых задач теории алгоритмов с использованием игровых методов