|
Математическая логика, алгебра, теория чисел и дискретная математика
Моделирование оператора частичной фиксированной точки
В. С. Секорин Тверской государственный университет, г. Тверь
Аннотация:
В работе рассмотрены различные семантики частичной фиксированной точки для бесконечных алгебраических систем. Показано, что операторы частичной фиксированной точки рассматриваемых семантик можно промоделировать оператором инфляционной фиксированной точки в тех алгебраических системах, в которых есть строгий частичный порядок со сколь угодно длинными цепями.
Ключевые слова:
частичная фиксированная точка, инфляционная фиксированная точка, алгебраическая система, семантика.
Поступила в редакцию: 20.05.2022 Исправленный вариант: 30.05.2022
Образец цитирования:
В. С. Секорин, “Моделирование оператора частичной фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 2, 14–26
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk634 https://www.mathnet.ru/rus/vtpmk/y2022/i2/p14
|
Статистика просмотров: |
Страница аннотации: | 135 | PDF полного текста: | 74 | Список литературы: | 37 |
|