|
Вестник НГУ. Серия: Математика, механика, информатика, 2013, том 13, выпуск 3, страницы 38–52
(Mi vngu152)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Индексные множества почти простых конструктивных моделей
С. С. Гончаровab a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Получены оценки алгоритмической сложности классов вычислимых и разрешимых почти простых моделей.
Ключевые слова:
модель, разрешимая модель, вычислимая модель, конструктивная модель, сильно конструктивная модель, простая модель, почти простая модель, индексные множества.
Поступила в редакцию: 25.03.2013
Образец цитирования:
С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52; J. Math. Sci., 205:3 (2015), 355–367
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu152 https://www.mathnet.ru/rus/vngu/v13/i3/p38
|
Статистика просмотров: |
Страница аннотации: | 251 | PDF полного текста: | 60 | Список литературы: | 47 | Первая страница: | 9 |
|