|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Теоретические основы информатики
Табличные уноиды, удовлетворяющие условиям Ужичина
Д. О. Дадеркин Тверской государственный университет, г. Тверь
Аннотация:
В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным.
Ключевые слова:
алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм.
Поступила в редакцию: 26.02.2021 Исправленный вариант: 15.04.2021
Образец цитирования:
Д. О. Дадеркин, “Табличные уноиды, удовлетворяющие условиям Ужичина”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 1, 59–70
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk609 https://www.mathnet.ru/rus/vtpmk/y2021/i1/p59
|
Статистика просмотров: |
Страница аннотации: | 184 | PDF полного текста: | 59 | Список литературы: | 43 |
|