Секорин, В.С. (2020) Об эквивалентности двух семантик PFP-оператора. Вестник ТвГУ. Серия: Прикладная математика (3). С. 41-49. ISSN 1995-0136
![[thumbnail of vestnik-pmk-2020-3-print-41-49.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "vestnik-pmk-2020-3-print-41-49.pdf") |
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 On: | 01 Дек 2020 10:09 |
| Последнее изменение: | 01 Дек 2020 10:09 |
Repository Staff Only: item control page