• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Топологические модели пропозициональной логики задач и высказываний
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
22 мая 2026 г.
Лаборатория живых смыслов: как проект НИУ ВШЭ и СахГУ переосмысляет труд
Проект «Зеркальные лаборатории» НИУ ВШЭ — Пермь и Сахалинского государственного университета (СахГУ) изучает, как культура, среда и технологии формируют и меняют трудовые смыслы. Исследование объединяет индивидуальный опыт, профессиональные нормы, городские проблемы, творческие практики и цифровые условия труда. Руководитель Лаборатории междисциплинарных исследований по антропологии труда НИУ ВШЭ в Перми Лилия Пантелеева рассказала о работе проекта.
21 мая 2026 г.
«Пик глупости» и «долина отчаяния»: экономисты НИУ ВШЭ предложили объяснение эффекта Даннинга - Крюгера
Эффект Даннинга — Крюгера, который описывает резкий всплеск уверенности в своих силах у новичков и такое же стремительное ее падение при наборе опыта, объясняется особенностями процесса обучения и набора новых знаний. К такому выводу пришли сотрудник факультета экономических наук НИУ ВШЭ Андрей Ворчик вместе с независимым исследователем Муратом Мамышевым. Они разработали математическую модель процесса обучения и показали, как формируется и изменяется субъективная уверенность по мере накопления знаний и как  преподаватель может уменьшить «долину отчаяния» для ученика.
20 мая 2026 г.
«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи
Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Топологические модели пропозициональной логики задач и высказываний

Вестник Московского университета. Серия 1: Математика. Механика. 2022. № 5. С. 25–30.
Оноприенко А. А.

Рассматривается пропозициональный фрагмент HC совместной логики задач и высказываний, введенной С.А. Мелиховым. Строятся топологические модели этой логики, показывается корректность и полнота логики HC относительно этого типа моделей. Также строятся топологические модели логики H4, которая была введена С.Н. Артёмовым и Т. Протопопеску.

Научное направление: Математика
Язык: русский
Полный текст
Текст на другом сайте
Ключевые слова: топологическая семантиканеклассические логики
Похожие публикации
Coping with AI errors with provable guarantees
Tyukin I., Тюкина Т. А., van Helden D. P. и др., Information Sciences 2024 Vol. 678 Article 120856
Добавлено: 23 мая 2026 г.
Overcoming the Curse of Dimensionality with Synolitic AI
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Stable On-the-Fly Learning for Dynamic Neural Networks With Delayed Inputs
Kibkalo Vladislav, Chertopolokhov V., Mukhamedov A. и др., IEEE Access 2026 Vol. 14 P. 14369–14392
Добавлено: 22 мая 2026 г.
Analysis of the alternating minimization method for low-rank canonical polyadic decomposition in the Chebyshev norm
Морозов С. В., Calcolo 2026 Vol. 63 No. 2 Article 23
Добавлено: 22 мая 2026 г.
B-facets in Dimension 4
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 P. 1–16
Добавлено: 21 мая 2026 г.
The VCG Mechanism, the Core, and Assignment Stages in Auctions
Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 No. 106192
Добавлено: 20 мая 2026 г.
Upper bounds for Steklov eigenvalues of a hypersurface of revolution
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
On smooth Fano threefolds with coregularity zero
Жакупов О. Б., European Journal of Mathematics 2025 Vol. 11 Article 84
Добавлено: 18 мая 2026 г.
2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps
Гонченко С. В., Лерман Л. М., Turaev D., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Bibliometric Analysis by Network Models
Алескеров Ф. Т., Khutorskaya O., Степочкина А. К. и др., Springer, 2026.
Добавлено: 15 мая 2026 г.
Neural-network maps for two-parameter modeling of bistability and codimension-two bifurcations in two-dimensional flow dynamical systems
Купцов П. В., Панюшев А. А., Станкевич Н. В., Chaos 2026 Vol. 36 No. 5 Article 053138
Добавлено: 15 мая 2026 г.
Bifurcations and Structural Stability of Generic PC-HC Families
Доровский А. А., / Series arXiv "math". 2026.
Добавлено: 14 мая 2026 г.
The Sobolev space W_2^{1/2}: Simultaneous improvement of functions by a homeomorphism of the circle
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Symmetric Cubic Polynomials
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2026 Vol. 12 No. 1 P. 60–110
Добавлено: 13 мая 2026 г.
Игры на сетях с линейным наилучшим ответом: модели и методы управления
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
Архимед: научно-методический сборник
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Лариса Львовна Максимова (некролог)
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Невозможность погружения логики HC в логику IEL+ с сохранением классической импликации
Оноприенко А. А., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Добавлено: 2 октября 2025 г.
Осмысляя пространство: как используют схемы топологической семантики естественные и искусственные когнитивные агенты (на материале описаний картин из коллекции Эрмитажа)
Колмогорова А. В., Налобина П. А., Эпистемология и философия науки 2025 Т. 62 № 1 С. 170–197
Статья посвящена описанию  различий в концептуализации пространства,   наблюдаемых   у   информантов,   генеративныхязыковых моделей и моделей компьютерного зрения, способных генерировать текст описания «увиденного». Мы используем понятие когнитивного агента и обосновываем различение «естественный vs искусственный когнитивный агент»: подпервым понимается человек, под вторым – модель ИИ, способная принимать решения и выполнять задачи адекватно заданной ...
Добавлено: 29 ноября 2024 г.
Битопологические модели интуиционистской эпистемической логики
Оноприенко А. А., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Добавлено: 31 января 2024 г.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128
В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC. ...
Добавлено: 28 декабря 2023 г.
Теорема о понижении мощности для логик QHC и QH4
Оноприенко А. А., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4. ...
Добавлено: 4 ноября 2023 г.
Предикатный вариант совместной логики задач и высказываний
Оноприенко А. А., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Добавлено: 11 июля 2022 г.
Семантика типа Крипке для пропозициональной логики задач и высказываний
Оноприенко А. А., Математический сборник 2020 Т. 211 № 5 С. 98–125
Рассматривается пропозициональный фрагмент HC объединенной логики задач и высказываний, введенной C. A. Мелиховым. Строятся модели типа Крипке для этой логики, доказывается полнота логики HC относительно таких моделей, а также свойство конечных моделей. Рассмотрены примеры применения моделей типа Крипке логики HC для решения некоторых вопросов (в частности, доказательство того, что HC является консервативным расширением логики H4). Также показано, что логика HC полна относительно шкал Крипке с проверяющими мирами, введенных С. Н. Артёмовым ...
Добавлено: 20 октября 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору