|
Вестник НГУ. Серия: Математика, механика, информатика, 2013, том 13, выпуск 4, страницы 43–67
(Mi vngu313)
|
|
|
|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей
С. С. Гончаровab, М. И. Марчукb a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Получены оценки алгоритмической сложности классов разрешимых автоустойчивых моделей и вычислимых, имеющих сильную конструктивизацию и автоустойчивых относительно сильных конструктивизаций.
Ключевые слова:
модель, разрешимая модель, вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, индексные множества.
Поступила в редакцию: 25.02.2013
Образец цитирования:
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67; J. Math. Sci., 205:3 (2015), 368–388
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu313 https://www.mathnet.ru/rus/vngu/v13/i4/p43
|
|