С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 2013, том 13, выпуск 4,страницы 43

Эта публикация цитируется в 9 статьях

Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей

С. С. Гончаров^ab, М. И. Марчук^b

^a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
^b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

Аннотация: Получены оценки алгоритмической сложности классов разрешимых автоустойчивых моделей и вычислимых, имеющих сильную конструктивизацию и автоустойчивых относительно сильных конструктивизаций.

Ключевые слова: модель, разрешимая модель, вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, индексные множества.

УДК: 510.5

Поступила в редакцию: 25.02.2013