Вестник Тверского государственного университета. Серия: Прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Вестник Тверского государственного университета. Серия: Прикладная математика, 2022, выпуск 2, страницы 14–26
DOI: https://doi.org/10.26456/vtpmk634 (Mi vtpmk634) 		 
Математическая логика, алгебра, теория чисел и дискретная математика

Моделирование оператора частичной фиксированной точки

В. С. Секорин

Тверской государственный университет, г. Тверь
PDF полного текста (401 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk634
Аннотация: В работе рассмотрены различные семантики частичной фиксированной точки для бесконечных алгебраических систем. Показано, что операторы частичной фиксированной точки рассматриваемых семантик можно промоделировать оператором инфляционной фиксированной точки в тех алгебраических системах, в которых есть строгий частичный порядок со сколь угодно длинными цепями.
Ключевые слова: частичная фиксированная точка, инфляционная фиксированная точка, алгебраическая система, семантика.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 20-01-00435-а
Работа выполнена при финансовой поддержке РФФИ (проект № 20-01-00435).
Поступила в редакцию: 20.05.2022
Исправленный вариант: 30.05.2022
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.624
Образец цитирования: В. С. Секорин, “Моделирование оператора частичной фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 2, 14–26
Цитирование в формате AMSBIB
\RBibitem{Sek22}
\by В.~С.~Секорин
\paper Моделирование оператора частичной фиксированной точки
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2022
\issue 2
\pages 14--26
\mathnet{http://mi.mathnet.ru/vtpmk634}
\crossref{https://doi.org/10.26456/vtpmk634}
\elib{https://elibrary.ru/item.asp?id=49249006}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk634
  • https://www.mathnet.ru/rus/vtpmk/y2022/i2/p14
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:136
    PDF полного текста:74
    Список литературы:37
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024