LogoРепозиторий Тверского госуниверситета

Об эквивалентности двух семантик PFP-оператора

Секорин, В.С. (2020) Об эквивалентности двух семантик PFP-оператора. Вестник ТвГУ. Серия: Прикладная математика (3). С. 41-49. ISSN 1995-0136

[img] PDF - Опубликованная версия
390kB

Абстракт

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

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

We consider two different semantics of partial fixed point (PFP) operator. We establish that they are equivalent for structures those contain more than one element. For this purpose we show how to translate each type of PFP-operator to other one

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

Repository Staff Only: item control page