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

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

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


Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Тверского государственного университета. Серия: Прикладная математика, 2017, выпуск 4, страницы 25–33
DOI: https://doi.org/10.26456/vtpmk186 (Mi vtpmk186) 		 
Теоретические основы информатики

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

С. М. Дудаков

Тверской государственный университет, г. Тверь
PDF полного текста (336 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk186
Аннотация: В работе показано, что в теории дискретного линейного порядка с одноместным оператором транзитивного замыкания с помощью формул длины $n$ можно представить сложение, умножение и экспоненту для натуральных чисел вплоть до $H_2(n)$, где $H_2(n)$ — гиперэкспонента.
Ключевые слова: транзитивное замыкание, дискретный порядок, выразительная сила.
Поступила в редакцию: 12.09.2017
Исправленный вариант: 05.12.2017
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.675, 510.531
Образец цитирования: С. М. Дудаков, “О выразительной силе логики одноместного транзитивного замыкания для дискретного порядка”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4, 25–33
Цитирование в формате AMSBIB
\RBibitem{Dud17}
\by С.~М.~Дудаков
\paper О выразительной силе логики одноместного транзитивного замыкания для дискретного порядка
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2017
\issue 4
\pages 25--33
\mathnet{http://mi.mathnet.ru/vtpmk186}
\crossref{https://doi.org/10.26456/vtpmk186}
\elib{https://elibrary.ru/item.asp?id=30785127}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk186
  • https://www.mathnet.ru/rus/vtpmk/y2017/i4/p25
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:268
    PDF полного текста:152
    Список литературы:44
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024