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

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

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



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






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


Вестник Тверского государственного университета. Серия: Прикладная математика, 2021, выпуск 1, страницы 59–70
DOI: https://doi.org/10.26456/vtpmk609
(Mi vtpmk609)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Теоретические основы информатики

Табличные уноиды, удовлетворяющие условиям Ужичина

Д. О. Дадеркин

Тверской государственный университет, г. Тверь
Список литературы:
Аннотация: В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным.
Ключевые слова: алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм.
Поступила в редакцию: 26.02.2021
Исправленный вариант: 15.04.2021
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6
Образец цитирования: Д. О. Дадеркин, “Табличные уноиды, удовлетворяющие условиям Ужичина”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 1, 59–70
Цитирование в формате AMSBIB
\RBibitem{Dad21}
\by Д.~О.~Дадеркин
\paper Табличные уноиды, удовлетворяющие условиям Ужичина
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2021
\issue 1
\pages 59--70
\mathnet{http://mi.mathnet.ru/vtpmk609}
\crossref{https://doi.org/10.26456/vtpmk609}
\elib{https://elibrary.ru/item.asp?id=46556420}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk609
  • https://www.mathnet.ru/rus/vtpmk/y2021/i1/p59
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:156
    PDF полного текста:50
    Список литературы:38
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024