Дадеркин, Д.О. (2021) Табличные уноиды, удовлетворяющие условиям Ужичина. Вестник ТвГУ. Серия: Прикладная математика (1). С. 59-70. ISSN 1995-0136
![[thumbnail of Прикладная_Математика_2021_1-59-70.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "Прикладная_Математика_2021_1-59-70.pdf") |
PDF
- Опубликованная версия
396kB |
Абстракт
В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным
Абстракт (англ.)
In the works of P. Urzyczyn [1-3] were suggested sufficient conditions of truth-table property of unoids, however, these algebraic conditions of Urzyczyn are difficult to be checked in practice and leave no possibilities to build non-trivial examples of truth-table unoids. In this work concepts of locallygiven and divided unoids are proposed, and it is proved that divided unoids satisfy the conditions of Urzyczyn. Thus, simply verifiable sufficient conditions are achieved, on the basis of which unoid, including with enough complicated specified connected underlying set, is truth-table
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. |
| Ключевые слова: | алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм |
| Ключевые слова (англ.): | algebraic system, algebra, unoid, truth-table property, dynamic logics, term |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 10545 |
| Deposited On: | 20 Май 2021 08:34 |
| Последнее изменение: | 20 Май 2021 08:34 |
Repository Staff Only: item control page