Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=теория моделей<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
Вид документа : Однотомное издание
Шифр издания : Ар13-13846
Автор(ы) : Котов М.В.
Заглавие : Топология Зарисского на алгебраических системах : автореф. дис. ... канд. физ.-мат. наук : 01.01.06
Выходные данные : Омск, 2013
Колич.характеристики :15 с.
Примечания : Библиогр.: с. 11-14 (44 назв.)
ГРНТИ : 27.03.19
УДК : 510(043)
Ключевые слова (''Своб.индексиров.''): алгебраическая геометрия--теория моделей--универсальная алгебра
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : Ар14-6637
Автор(ы) : Фролов А.Н.
Заглавие : Счетные линейные порядки и их алгоритмическая сложность : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06
Выходные данные : Казань, 2014
Колич.характеристики :32 с.
Примечания : Библиогр.: с. 24-32 (75 назв.)
ГРНТИ : 27.03.19
УДК : 510(043)
Ключевые слова (''Своб.индексиров.''): теория моделей--математическая логика--алгебраические структуры--вычислимые структуры
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : Ар14-10456
Автор(ы) : Ройзнер М.А.
Заглавие : Элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп : автореф. дис. ... канд. физ.-мат. наук : 01.01.06
Выходные данные : М., 2014
Колич.характеристики :12 с.
Примечания : Библиогр.: с. 12 (5 назв.). - В надзаг.: МГУ им. М. В. Ломоносова.
ГРНТИ : 27.17.17
УДК : 512.541(043)
Ключевые слова (''Своб.индексиров.''): теория моделей--математическая логика--базисные подгруппы
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : Ар13-2344
Автор(ы) : Пузаренко В.Г.
Заглавие : Натуральные числа и обобщенная вычислимость : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06
Выходные данные : Новосибирск, 2013
Колич.характеристики :24 с.
Примечания : Библиогр.: с. 19-24 (67 назв.)
ГРНТИ : 27.15 + 27.03.19
УДК : 511(043) + 510(043)
Ключевые слова (''Своб.индексиров.''): математическая логика--определимость--теория моделей--теоретическая информатика
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : Ар11-20607
Автор(ы) : Батуева Ц.Ч.
Заглавие : Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств : автореф. дис. ... канд. физ.-мат. наук : 01.01.09
Выходные данные : Новосибирск, 2011
Колич.характеристики :23 с.
Примечания : Библиогр.: с. 17-23 (57 назв.)
ГРНТИ : 27.17.21 + 16.31.31
УДК : 512.562(043) + 81'32(043)
Ключевые слова (''Своб.индексиров.''): формальные языки--частично упорядоченные множества--комбинаторика--алгебраические методы--теория моделей
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
6.
Вид документа : Однотомное издание
Шифр издания : Ар12-6140
Автор(ы) : Трикашная Н.В.
Заглавие : Теоретико-модельные свойства группоидов с условиями абелевости и нормальности : автореф. дис. ... канд. физ.-м ат. наук : 01.01.06
Выходные данные : Владивосток, 2011
Колич.характеристики :17 с.
Примечания : Библиогр.: с. 14-17 (30 назв.)
ГРНТИ : 27.17.17 + 27.03.19
УДК : 512.548(043) + 510.67(043)
Ключевые слова (''Своб.индексиров.''): теоретико-модельная алгебра--универсальная алгебра--теория моделей
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
7.
Вид документа : Однотомное издание
Шифр издания : Ар12-24199
Автор(ы) : Семенов П.П.
Заглавие : Автоморфизмы, эндоморфизмы и элементарная эквивалентность полугрупп неотрицательных матриц : автореф. дис. ... канд. физ.-мат. наук : 01.01.06
Выходные данные : М., 2012
Колич.характеристики :12 с.
Примечания : Библиогр.: с. 11-12 (5 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
ГРНТИ : 27.17.29
УДК : 512.643(043)
Ключевые слова (''Своб.индексиров.''): кольца--линейная алгебра--теория моделей--математическая логика
Экземпляры :ХР(1)
Свободны : ХР(1)
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)