• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Теорема о понижении мощности для логик QHC и QH4
  • 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
  • еще
Тематика
Новости
11 июня 2026 г.
Время жизни популяций определяется законами математики
Исследователи НИУ ВШЭ и МГУ доказали универсальный закон, описывающий время исчезновения популяций в случайной среде. Анализ эволюции ветвящихся процессов — сложных вероятностных систем — показал, что вне зависимости от изначального числа особей процесс вымирания подчиняется строгим математическим закономерностям. Результаты опубликованы в Journal of Applied Probability.
8 июня 2026 г.
«За 12 лет на нашем счету почти 1000 операций с пробуждением»
В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.
5 июня 2026 г.
Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона
Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

 

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

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

?

Теорема о понижении мощности для логик QHC и QH4

Алгебра и логика. 2022. Т. 61. № 6. С. 720–741.
Оноприенко А. А.

Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4.

Научное направление: Математика
Язык: русский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: переводtranslationKripke semanticsсемантика Крипкенеклассические логикиnon-classical logics
Похожие публикации
On the Ramsey Number R(K_{1,s},P_t)
Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7
Добавлено: 10 июня 2026 г.
Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4
Springer, 2026.
Добавлено: 8 июня 2026 г.
Wave dynamics within the Whitham-Ostrovsky equation
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
On structural stability of 3-diffeomorphisms with the Smale solenoid attractor–repeller dynamics
Медведев Т. В., Починка О. В., Chaos 2026 Vol. 36 No. 6 Article 063107
Добавлено: 4 июня 2026 г.
A model exhibiting all possible types of hyperbolic chaos on the 2-torus
Казаков А. О., Минц Д. И., Петрова Ю. Э. и др., Chaos 2026 Vol. 36 No. 6 Article 063112
Добавлено: 4 июня 2026 г.
Об эквивалентности по надстройке декартовых произведений регулярных гомеоморфизмов с гомеоморфизмами Данжуа
Ноздринова Е. В., Починка О. В., Шмуклер В. И., Математический сборник 2026 Т. 217 № 6 С. 71–89
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Случайные блуждания на симметрических пространствах некомпактного типа ранга 1
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Electrical networks and data analysis in phylogenetics
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Generalizing the Brady-Yong Algorithm: Efficient Fast Hough Transform for Arbitrary Image Sizes
Kazimirov D., Rybakova E., Vitalii V. Gulevskii и др., IEEE Access 2025 Vol. 13 P. 20101–20132
Добавлено: 28 мая 2026 г.
Universal Comparison Methodology for Hough Transform Approaches
Kazimirov D., Vitalii Gulevskii, Kroshnin A. и др., Mathematics 2026 Article 1136
Добавлено: 28 мая 2026 г.
Non-linear in-band interference cancellation on base of conjugate gradients method
Degtyarev A., Bakhurin S., Юдин Н. Е., DSPA 2026 P. 1–6
Добавлено: 26 мая 2026 г.
Переводить или переписывать? Речь Посполитая в русском переводе «Описание света» Луки де Линды
Кузнецова А. Д., Славяноведение 2025 № 6 С. 5–18
В статье рассматривается текст о Речи Посполитой в «Описании света» ‒ русском переводе латинской космографии «Descriptio Orbis» Луки де Линды. Именно описание Речи Посполитой, которому автор уделяет особое внимание, подвергается при переводе изменениям: части про географию, чины, польских королей переработаны и содержат детали, которых нет в оригинале. Тактика переводчика – замалчивание и смена акцентов: так, ...
Добавлено: 15 мая 2026 г.
ДЕТСКИЕ АДАПТАЦИИ РОМАНА ЧАРЛЬЗА ДИККЕНСА «ДЭВИД КОППЕРФИЛЬД» НА РУССКОМ ЯЗЫКЕ
Егорова А. А., Детские чтения 2023 Т. 23 № 1 С. 299–331
В статье описаны адаптации романа Чарльза Диккенса «Дэвид Копперфильд», выполненные на русском языке для детей. Основная цель работы заключалась в том, чтобы определить, менялись ли подходы к работе с романом в разные исторические периоды — в дореволюционные годы, во времена советской власти и в современной России. Для этого были проанализированы доступные на сегодняшний день переводы ...
Добавлено: 27 февраля 2026 г.
ПРОБЛЕМЫ ПЕРЕВОДА КИТАЙСКИХ ФРАЗЕОЛОГИЧЕСКИХ ЕДИНИЦ В ДИСКУРСЕ ХУДОЖЕСТВЕННОЙ ЛИТЕРАТУРЫ
Павлова О. В., Филологические науки. Вопросы теории и практики 2019 Т. 12 № 12 С. 304–307
Исследование представляет собой анализ передачи художественной выразительности, образности и социокультурных особенностей фразеологизмов китайского языка при переводе на русский язык на материале перевода романа Мо Яня «Устал рождаться и умирать», выполненного И. А. Егоровым. Авторами установлено, что основной стратегией перевода фразеологизмов, к которой обращается переводчик, является дословный перевод. В заключение делается вывод о том, что буквальный ...
Добавлено: 24 февраля 2026 г.
Перевод семейной книги рецептов барона Мюнхгаузена
Трофимова Н. А., Криворучко А. С., Школа дидактики перевода 2025 № 3 С. 50–56
Статья описывает опыт перевода кулинарной рукописи XVIII века, созданной Сибиллой Вильгельминой фон Мюнхгаузен. Анализируются грамматические, лексические и стилистические особенности текста, влияющие на выбор переводческих решений: восстановление синтаксиса, вариативность глагольных форм, старинные меры и названия твари, а также изменения в значении кулинарных терминов. Перевод трактуется как способ реконструкции бытовых практик эпохи и сохранения аутентичности источника для современного читателя ...
Добавлено: 22 февраля 2026 г.
Переводы вьетнамской художественной литературы на русский язык вьетнамских русистов как отражение типологических и культурологических различий русского и вьетнамского языков
Бритов И. В., В кн.: Русский язык и русская культура во Вьетнаме: проблемы обучения и исследования.: Ханой: Ханойский государственный университет, 2025. С. 135–148.
В ХХI веке значительно уменьшилось количество переводов вьетнамской литературы на русский язык. Если в советский период переводами занимались профессиональные переводчики, то в настоящее время большинство переводов вьетнамских произведений на русский язык выполнено преподавателями вьетнамского языка российских вузов. Новой тенденцией также стало активное участие вьетнамских русистов в переводах с вьетнамского языка на русский. На русском языке ...
Добавлено: 18 января 2026 г.
Лариса Львовна Максимова (некролог)
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Ценностные модели культуры и проблема переводчиской эквивалентности: The Gift of the Magi О. Генри и его перевод на русский язык
Филатов А. С., Толочин И. В., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 149–168
Статья посвящена проблеме функциональной эквивалентности перевода художественного текста. На примере анализа канонического перевода рассказа О. Генри «The Gift of the Magi» на русский язык в русле функционально-семиотического подхода к смысловой структуре языковых высказываний формулируется принцип обязательности реконструктивного метода прочтения текста оригинала как основы для работы над переводом. В статье раскрывается механизм реконструктивного прочтения, заключающийся в ...
Добавлено: 24 ноября 2025 г.
Литературная сказка Дж. Джойса «Кот из Божанси» в переводах на русский язык
Баринова Е. В., В кн.: Компаративные филологические исследования: язык и литература.: Екатеринбург: Издательство Уральского университета, 2025. Гл. 3.1 С. 167–177.
В статье рассматривается литературная сказка Джеймса Джойса "Кот из Божанси" и два ее перевода на русский язык. Цель исследования – проанализировать трансформации не только текста сказки, но и сопровождающих его иллюстраций, и выяснить, насколько переводчик, художник и издатель отступают от оригинала и какие литературные и культурные изменения претерпевает текст. Авторы двух переводов сказки, А. Ливергант ...
Добавлено: 23 ноября 2025 г.
Automatic Interpretation of Ancient Egyptian Texts for Education and Research
Голядкин М. Ю., Humonen I., Plevokas Y. и др., , in: SIGGRAPH Posters '25: Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference Posters. Vancouver, British Columbia, Canada. August 10 - 14, 2025.: Association for Computing Machinery (ACM), 2025. Ch. 39.
Добавлено: 8 ноября 2025 г.
«Токийская башня сочувствия» Кудан Риэ: Вавилонская башня наших дней и рождение «нового человека»
Борькина А. Ю., Японские исследования 2025 № 3 С. 129–143
В статье рассматривается роман японской писательницы Кудан Риэ «Токийская башня сочувствия», в 2024 г. удостоенный престижной литературной премии имени Акутагава. Присуждение премии вызвало широкую дискуссию в связи с использованием писательницей в работе генеративного искусственного интеллекта, который не только подсказал ей некоторые ходы для произведения, но также буквально стал прототипом для одного из персонажей романа, чат-бота ...
Добавлено: 1 ноября 2025 г.
Невозможность погружения логики HC в логику IEL+ с сохранением классической импликации
Оноприенко А. А., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Добавлено: 2 октября 2025 г.
Граница и мимесис (Рабочие заметки)
Зенкин С. Н., Новое литературное обозрение 2025 № 3 (193) С. 68–75
В предлагаемых заметках исследуется субъективный опыт индивида, пересекающего границу (например, государственную); этот опыт не поддается объективно-семиотическому описанию и требует учета его миметических факторов - актов уподобления и подражания, в итоге которых образуется коллективная (например, национальная) идентичность. Действие этих факторов прослеживается в следующих аспектах: образование связного пространства из независимых друг от друга мест, зеркальная симметрия «нашего» ...
Добавлено: 10 июля 2025 г.
Плиний Старший. Естественная история. Т. V: Книги VIII–IX / Русский перевод и комментарий И.Ю. Шабага; Латинский текст М. В. Шумилина
Университет Дмитрия Пожарского, 2025.
Эта книга продолжает двуязычную публикацию многотомной "Естественной истории" римского писателя-энциклопедиста Плиния Старшего (23/24 гг. н. э. - 79 г. н. э.), в которой содержится практически весь опят античной культуры и науки, накопленный ко времени жизни Плиния. В настоящем томе публикуются латинский текст и русский перевод VIII и IX книг "Естественной истории" Плиния Старшего, а также ...
Добавлено: 19 июня 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору