КФУ. Карточка публикации. Критерии полноты для одного класса сводимости

RUS

КРИТЕРИИ ПОЛНОТЫ ДЛЯ ОДНОГО КЛАССА СВОДИМОСТИ

Форма представления

Статьи в российских журналах и сборниках

Год публикации

2022

Язык

русский

Авторы, сотрудники КФУ

Арсланов Марат Мирзаевич, автор

Библиографическое описание на языке оригинала

М.М. Арсланов. Критерии полноты для одного класса сводимости // Известия Вузов, Математика. - 2022. - №10. С.73-78.

Аннотация

Дано описание класса сводимости постовского типа и для него установлен критерий полноты вычислимо перечислимых множеств.

Ключевые слова

неподвижная точка, нумерация, вычислимо перечислимое множество, арифметическая иерархия

Название журнала

Изв. ВУЗов. Математика.

URL

http://izvuz.kpfu.ru

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

Поле DC	Значение	Язык
dc.contributor.author	Арсланов Марат Мирзаевич	ru_RU
dc.date.accessioned	2022-01-01T00:00:00Z	ru_RU
dc.date.available	2022-01-01T00:00:00Z	ru_RU
dc.date.issued	2022	ru_RU
dc.identifier.citation	М.М. Арсланов. Критерии полноты для одного класса сводимости // Известия Вузов, Математика. - 2022. - №10. С.73-78.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=274089	ru_RU
dc.description.abstract	Изв. ВУЗов. Математика.	ru_RU
dc.description.abstract	Дано описание класса сводимости постовского типа и для него установлен критерий полноты вычислимо перечислимых множеств.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	неподвижная точка	ru_RU
dc.subject	нумерация	ru_RU
dc.subject	вычислимо перечислимое множество	ru_RU
dc.subject	арифметическая иерархия	ru_RU
dc.title	Критерии полноты для одного класса сводимости	ru_RU
dc.type	Статьи в российских журналах и сборниках	ru_RU