Моделирование оператора частичной фиксированной точки

Секорин, В.С. (2022) Моделирование оператора частичной фиксированной точки. Вестник ТвГУ. Серия: Прикладная математика (2). С. 14-26. ISSN 1995-0136

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

Абстракт

В работе рассмотрены различные семантики частичной фиксированной точки для бесконечных алгебраических систем. Показано, что операторы частичной фиксированной точки рассматриваемых семантик можно промоделировать оператором инфляционной фиксированной точки в тех алгебраических системах, в которых есть строгий частичный порядок со сколь угодно длинными цепями

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

We consider various semantics of partial fixed point (PFP) operator for infinite structures. We consider infinite structures those contains partial order with chains of arbitrary length. We establish that considerable semantics can be modeled by inflationary fixed point operator

Тип объекта:	Статья
Сведения об авторах:	Секорин Всеслав Станиславович аспирант кафедры информатики Тверского государственного университета
Ключевые слова:	частичная фиксированная точка, инфляционная фиксированная точка, алгебраическая система, семантика
Ключевые слова (англ.):	partial fixed point, inflationary fixed point, infinite structure, semantic
Категории:	5 Математика. Естественные науки > 51 Математика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.62 Логические и логико-предметные языки
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	11491
Deposited On:	12 Сен 2022 05:25
Последнее изменение:	12 Сен 2022 05:25

Repository Staff Only: item control page