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