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