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

Дадеркин, Д.О. (2021) О табличных уноидах, не удовлетворяющих условиям ужичина. Вестник ТвГУ. Серия: Прикладная математика (3). С. 33-43. ISSN 1995-0136

[thumbnail of vestnik-pmk-2021-3-print-33-43.pdf]

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 On:	08 Ноя 2021 14:46
Последнее изменение:	08 Ноя 2021 14:46

Repository Staff Only: item control page