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

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

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


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




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

Изв. вузов. Матем., 2015, номер 8, страницы 25–32 (Mi ivm9025)  
О сложности проблемы выполнимости для систем функциональных уравнений счетнозначной логики

И. С. Калинина, С. С. Марченков

Кафедра математической кибернетики, Московский государственный университет им. М. В. Ломоносова, Ленинские горы, д. 1, стр. 52, ГСП-1, г. Москва, 119991, Россия

Аннотация: Рассматривается проблема выполнимости для систем функциональных уравнений счетнозначной логики, содержащих тернарный дискриминатор $p$. Доказывается, что данная проблема является $m$-полной в классе $\Pi_1$ иерархии Клини–Мостовского.

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

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

Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2015, 59:8, 19–24

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

Тип публикации: Статья
УДК: 519.716
Поступила: 06.06.2014

Образец цитирования: И. С. Калинина, С. С. Марченков, “О сложности проблемы выполнимости для систем функциональных уравнений счетнозначной логики”, Изв. вузов. Матем., 2015, № 8, 25–32; Russian Math. (Iz. VUZ), 59:8 (2015), 19–24

Цитирование в формате AMSBIB
\RBibitem{KalMar15}
\by И.~С.~Калинина, С.~С.~Марченков
\paper О сложности проблемы выполнимости для систем функциональных уравнений счетнозначной логики
\jour Изв. вузов. Матем.
\yr 2015
\issue 8
\pages 25--32
\mathnet{http://mi.mathnet.ru/ivm9025}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2015
\vol 59
\issue 8
\pages 19--24
\crossref{https://doi.org/10.3103/S1066369X15080034}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84937935116}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ivm9025
  • http://mi.mathnet.ru/rus/ivm/y2015/i8/p25

    ОТПРАВИТЬ: 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
    		• Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Просмотров:
    Эта страница:120
    Полный текст:16
    Литература:19
    Первая стр.:10
     
    Обратная связь:
    		  Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021