LogoTver State University Repository

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

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

[img] PDF - Published Version
390kB

Abstract

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

Abstract (en)

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

Item Type:Article
Additional Information:Секорин Всеслав Станиславович аспирант кафедры информатики Тверского государственного университета.
Uncontrolled Keywords:частичная фиксированная точка, бесконечная алгебраическая система, семантика
Keywords (en):partial fixed point, infinite structure, semantic
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.62 Логические и логико-предметные языки
Divisions:Университеты > TverSU
ID Code:10158
Deposited By: С.Б. Федорова
Deposited On:01 Dec 2020 10:09
Last Modified:01 Dec 2020 10:09

Repository Staff Only: item control page