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

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

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



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






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


Вестник ТвГУ. Серия: Прикладная математика, 2020, выпуск 3, страницы 41–49 (Mi vtpmk598)  

Теоретические основы информатики

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

В. С. Секорин

Тверской государственный университет, г. Тверь

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

Ключевые слова: частичная фиксированная точка, бесконечная алгебраическая система, семантика.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 20-01-00435
Работа выполнена при финансовой поддержке РФФИ (проект №20-01-00435).


DOI: https://doi.org/10.26456/vtpmk598

Полный текст: PDF файл (368 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.624
Поступила в редакцию: 15.08.2020
Исправленный вариант: 05.09.2020

Образец цитирования: В. С. Секорин, “Об эквивалентности двух семантик PFP-оператора”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 3, 41–49

Цитирование в формате AMSBIB
\RBibitem{Sek20}
\by В.~С.~Секорин
\paper Об эквивалентности двух семантик PFP-оператора
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2020
\issue 3
\pages 41--49
\mathnet{http://mi.mathnet.ru/vtpmk598}
\crossref{https://doi.org/10.26456/vtpmk598}
\elib{https://elibrary.ru/item.asp?id=44503275}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vtpmk598
  • http://mi.mathnet.ru/rus/vtpmk/y2020/i3/p41

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Вестник Тверского государственного университета. Серия: Прикладная математика
    Просмотров:
    Эта страница:39
    Полный текст:48
    Литература:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022