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

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

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

Дата публикации: 2013

Дата публикации в реестре: 2020-03-01T00:15:20Z

Аннотация:

Рассмотрены вопросы алгоритмической зависимости различных отношений на линейных порядках. Доказано, что отношения соседства, блока, плотности, предельности справа и предельности слева являются алгоритмически независимыми. Введены новые отношения, определимые в сигнатуре линейного порядка, являющиеся алгоритмически зависимыми, и изучены их свойства.