RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Тверского государственного университета. Серия: Прикладная математика // Архив

Вестник ТвГУ. Серия: Прикладная математика, 2021, выпуск 1, страницы 59–70 (Mi vtpmk609)

Эта публикация цитируется в 1 статье

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

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

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

Тверской государственный университет, г. Тверь

Аннотация: В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным.

Ключевые слова: алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм.

УДК: 510.6

Поступила в редакцию: 26.02.2021
Исправленный вариант: 15.04.2021

DOI: 10.26456/vtpmk609



Реферативные базы данных:


© МИАН, 2024