Дадеркин, Д.О. (2021) Табличные уноиды, удовлетворяющие условиям Ужичина. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 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
- Published Version
396kB |
Abstract
В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным
Abstract (en)
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
| Item Type: | Article |
|---|---|
| Additional Information: | 1. Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. |
| Uncontrolled Keywords: | алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм |
| Keywords (en): | algebraic system, algebra, unoid, truth-table property, dynamic logics, term |
| Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Divisions: | Университеты > TverSU |
| ID Code: | 10545 |
| Deposited On: | 20 May 2021 08:34 |
| Last Modified: | 20 May 2021 08:34 |
Repository Staff Only: item control page