Поисковый запрос: (<.>K=теория моделей<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1. 
| Ар11-20607
Батуева, Ц. Ч.
Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ц. Ч. Батуева. - Новосибирск, 2011. - 23 с. - Библиогр.: с. 17-23 (57 назв.)
Примечание о содержании: Место защиты: Ин-т математики им. С. Л. Соболева СО РАН
Кл.слова (ненормированные):
формальные языки -- частично упорядоченные множества -- комбинаторика -- алгебраические методы -- теория моделей
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| Ар12-6140
Трикашная, Н. В.
Теоретико-модельные свойства группоидов с условиями абелевости и нормальности [Текст] : автореф. дис. ... канд. физ.-м ат. наук : 01.01.06 / Н. В. Трикашная. - Владивосток, 2011. - 17 с. - Библиогр.: с. 14-17 (30 назв.)
Кл.слова (ненормированные):
теоретико-модельная алгебра -- универсальная алгебра -- теория моделей
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар12-24199
Семенов, П. П.
Автоморфизмы, эндоморфизмы и элементарная эквивалентность полугрупп неотрицательных матриц [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / П. П. Семенов. - М., 2012. - 12 с. - Библиогр.: с. 11-12 (5 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные):
кольца -- линейная алгебра -- теория моделей -- математическая логика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар13-2344
Пузаренко, В. Г.
Натуральные числа и обобщенная вычислимость [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / В. Г. Пузаренко. - Новосибирск, 2013. - 24 с. - Библиогр.: с. 19-24 (67 назв.)
Кл.слова (ненормированные):
математическая логика -- определимость -- теория моделей -- теоретическая информатика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар13-13846
Котов, М. В.
Топология Зарисского на алгебраических системах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. В. Котов. - Омск, 2013. - 15 с. - Библиогр.: с. 11-14 (44 назв.)
Примечание о содержании: Раздел математической логики
Кл.слова (ненормированные):
алгебраическая геометрия -- теория моделей -- универсальная алгебра
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар14-6637
Фролов, А. Н.
Счетные линейные порядки и их алгоритмическая сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. Н. Фролов. - Казань, 2014. - 32 с. - Библиогр.: с. 24-32 (75 назв.). - 150 экз.
Кл.слова (ненормированные):
теория моделей -- математическая логика -- алгебраические структуры -- вычислимые структуры
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар14-10456
Ройзнер, М. А.
Элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. А. Ройзнер. - М., 2014. - 12 с. - Библиогр.: с. 12 (5 назв.). - 100 экз.
В надзаг.: МГУ им. М. В. Ломоносова.
Кл.слова (ненормированные):
теория моделей -- математическая логика -- базисные подгруппы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных