Ученые записки Казанского университета. Серия Физико-математические науки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Ученые записки Казанского университета. Серия Физико-математические науки, 2013, том 155, книга 3, страницы 80–90 (Mi uzku1217)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Алгоритмическая независимость естественных отношений на вычислимых линейных порядках

Р. И. Бикмухаметов

Кафедра алгебры и математической логики, Казанский (Приволжский) федеральный университет, г. Казань, Россия
PDF полного текста (207 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Рассмотрены вопросы алгоритмической зависимости различных отношений на линейных порядках. Доказано, что отношения соседства, блока, плотности, предельности справа и предельности слева являются алгоритмически независимыми. Введены новые отношения, определимые в сигнатуре линейного порядка, являющиеся алгоритмически зависимыми, и изучены их свойства.
Ключевые слова: линейный порядок, отношение соседства, отношение блока, отношение плотности, отношение предельности справа, отношение предельности слева, алгоритмическая независимость.
Поступила в редакцию: 21.05.2013
Тип публикации: Статья
УДК: 510.5
Образец цитирования: Р. И. Бикмухаметов, “Алгоритмическая независимость естественных отношений на вычислимых линейных порядках”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 155, № 3, Изд-во Казанского ун-та, Казань, 2013, 80–90
Цитирование в формате AMSBIB
\RBibitem{Bik13}
\by Р.~И.~Бикмухаметов
\paper Алгоритмическая независимость естественных отношений на вычислимых линейных порядках
\serial Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки
\yr 2013
\vol 155
\issue 3
\pages 80--90
\publ Изд-во Казанского ун-та
\publaddr Казань
\mathnet{http://mi.mathnet.ru/uzku1217}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/uzku1217
  • https://www.mathnet.ru/rus/uzku/v155/i3/p80
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Ученые записки Казанского университета. Серия Физико-математические науки
    Статистика просмотров:
    Страница аннотации:276
    PDF полного текста:116
    Список литературы:32
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024