АЛГОРИТМИЧЕСКАЯ НЕЗАВИСИМОСТЬ ЕСТЕСТВЕННЫХ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ ЛИНЕЙНЫХ ПОРЯДКАХ
                             // Ученые записки КФУ. Физико-математические науки 2013 том155 N3

Бикмухаметов Равиль Ильдарович

dc.contributor.author	Бикмухаметов Равиль Ильдарович
dc.date.accessioned	2015-06-04T10:00:39Z
dc.date.available	2015-06-04T10:00:39Z
dc.date.issued	2013
dc.identifier.issn	1815-6088
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/20006
dc.description.abstract	Рассмотрены вопросы алгоритмической зависимости различных отношений на линейных порядках. Доказано, что отношения соседства, блока, плотности, предельности справа и предельности слева являются алгоритмически независимыми. Введены новые отношения, определимые в сигнатуре линейного порядка, являющиеся алгоритмически зависимыми, и изучены их свойства.
dc.relation.ispartofseries	Ученые записки КФУ. Физико-математические науки
dc.subject.other	линейный порядок
dc.subject.other	отношение соседства
dc.subject.other	отношение блока
dc.subject.other	отношение плотности
dc.subject.other	отношение предельности справа
dc.subject.other	отношение предельности слева
dc.subject.other	алгоритмическая независимость
dc.subject.other	linear order
dc.subject.other	successor relation
dc.subject.other	block relation
dc.subject.other	density relation
dc.subject.other	limit from above relation
dc.subject.other	limit from below relation
dc.subject.other	algorithmic independence
dc.title	АЛГОРИТМИЧЕСКАЯ НЕЗАВИСИМОСТЬ ЕСТЕСТВЕННЫХ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ ЛИНЕЙНЫХ ПОРЯДКАХ // Ученые записки КФУ. Физико-математические науки 2013 том155 N3
dc.type	Article
dc.relation.ispartofseries-issue	3
dc.collection	Периодические издания КФУ
dc.relation.startpage	80
dc.source.id	ELIB18156088-2013-155-3-9
dc.relation.ispartofseries.volume	155