Об уноидах Ужичина со связным основным множеством

Дадеркин, Д.О. (2019) Об уноидах Ужичина со связным основным множеством. Вестник ТвГУ. Серия: Прикладная математика (4). С. 117-125. ISSN 1995-0136

PDF - Опубликованная версия
411kB

Абстракт

Одним из самых важных свойств, характеризующих работу программы в алгебраической системе, является свойство табличности. Данная ра- бота посвящена изучению некоторых табличных уноидов. Начало этим исследованиям положили работы П. Ужичина [1–3], в которых были предложены достаточные условия табличности. Однако единственным табличным уноидом, известным Ужичину, было объединение бесконечного числа попарно не пересекающихся уноидов, каждый из которых изоморфен натуральным числам вместе с операцией следования. В дан- ной работе доказывается существование табличного уноида со связным основным множеством, тем самым показывается, что требование несвязности основного множества уноида не является существенным

Абстракт (англ.)

One of the most important properties characterizing the work of a program in an algebraic system is the truth-table property. This work is devoted to the study of some truth-table unoids. The beginning of these studies was initiated by works of P. Urzyczyn [1{3], in which sucient truth-table conditions were proposed. However, the only truth-table unoid known by P.Urzyczyn was the union of an innite number of pairwise disjoint unoids, each of which is isomorphic to the natural numbers together with the operation of follow. In this work the existence of a truth-table unoid with a connected underlying set is proved, thus showing that the requirement of disjointedness of the underlying set of an unoid is not essential

Тип объекта:	Статья
Сведения об авторах:	Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. 170100, г. Тверь, ул. Желябова, д. 33, ТвГУ
Ключевые слова:	алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм
Ключевые слова (англ.):	algebraic system, algebra, unoid, truth-table property, dynamic logics, term
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	9615
Deposited On:	16 Июн 2020 11:29
Последнее изменение:	16 Июн 2020 11:29

Repository Staff Only: item control page