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

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

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


Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Дискретная математика, 2013, том 25, выпуск 4, страницы 13–23
DOI: https://doi.org/10.4213/dm1253 (Mi dm1253) 		 
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)

Определимость в языке функциональных уравнений счетнозначной логики

С. С. Марченков
PDF полного текста (169 kB) Список цитирования (5)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/dm1253
Аннотация: Рассматривается определимость функций и отношений в языке FE функциональных уравнений счетнозначной логики. Доказано, что класс отношений, определимых функциональными уравнениями над множеством функций $\{0,x+1\}$, совпадает с классом $\Sigma_1^1$ аналитической иерархии Клини. Предложены два расширения языка FE, которые по выразительным возможностям эквивалентны языку FE с функциональными константами для всех однородных функций.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 13-01-00958.
Статья поступила: 17.12.2012
Англоязычная версия:
Discrete Mathematics and Applications, 2013, Volume 23, Issue 5-6, Pages 451–462
DOI: https://doi.org/10.1515/dma-2013-0031
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.716.33
Образец цитирования: С. С. Марченков, “Определимость в языке функциональных уравнений счетнозначной логики”, Дискрет. матем., 25:4 (2013), 13–23; Discrete Math. Appl., 23:5-6 (2013), 451–462
Цитирование в формате AMSBIB
\RBibitem{Mar13}
\by С.~С.~Марченков
\paper Определимость в~языке функциональных уравнений счетнозначной логики
\jour Дискрет. матем.
\yr 2013
\vol 25
\issue 4
\pages 13--23
\mathnet{http://mi.mathnet.ru/dm1253}
\crossref{https://doi.org/10.4213/dm1253}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3222858}
\elib{https://elibrary.ru/item.asp?id=21276239}
\transl
\jour Discrete Math. Appl.
\yr 2013
\vol 23
\issue 5-6
\pages 451--462
\crossref{https://doi.org/10.1515/dma-2013-0031}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84902436138}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/dm1253
  • https://doi.org/10.4213/dm1253
  • https://www.mathnet.ru/rus/dm/v25/i4/p13
    • Эта публикация цитируется в следующих 5 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Дискретная математика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025