Дадеркин, Д.О. (2021) О табличных уноидах, не удовлетворяющих условиям ужичина. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 33-43. ISSN 1995-0136
![[thumbnail of vestnik-pmk-2021-3-print-33-43.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "vestnik-pmk-2021-3-print-33-43.pdf") |
PDF
- Published Version
396kB |
Abstract
Достаточные условия табличности, одного из важных свойств, характеризующих работу программы в алгебраической системе, были предложены в работах П. Ужичина [1–3]. В данной работе описываются такие достаточные условия табличности, которые позволяют строить табличные уноиды,не удовлетворяющие условиям Ужичина
Abstract (en)
Sufficient conditions of truth-table property, one of the important properties that characterize the work of a program in an algebraic system, were proposed in the works of P. Urzyczyn [1–3]. In this work such sufficient conditions of truth-table property are described, that allow constructing truth-table unoids that not satisfy the conditions of Urzyczyn
| Item Type: | Article |
|---|---|
| Additional Information: | Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. |
| Uncontrolled Keywords: | алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм |
| Keywords (en): | algebraic system, algebra, unoid, truth-table property, dynamic logics, term |
| Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Divisions: | Университеты > TverSU |
| ID Code: | 10830 |
| Deposited On: | 08 Nov 2021 14:46 |
| Last Modified: | 08 Nov 2021 14:46 |
Repository Staff Only: item control page