Kazan Federal University Digital Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics