Дадеркин, Д.О. (2021) О табличных уноидах, не удовлетворяющих условиям ужичина. Вестник ТвГУ. Серия: Прикладная математика (3). С. 33-43. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
396kB |
Абстракт
Достаточные условия табличности, одного из важных свойств, характеризующих работу программы в алгебраической системе, были предложены в работах П. Ужичина [1–3]. В данной работе описываются такие достаточные условия табличности, которые позволяют строить табличные уноиды,не удовлетворяющие условиям Ужичина
Абстракт (англ.)
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
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. |
| Ключевые слова: | алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм |
| Ключевые слова (англ.): | algebraic system, algebra, unoid, truth-table property, dynamic logics, term |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 10830 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 08 Ноя 2021 14:46 |
| Последнее изменение: | 08 Ноя 2021 14:46 |
Repository Staff Only: item control page
