Tiling problems and complexity of logics

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

31 июля 2026 г.

«Я всегда занимаюсь исследованиями на темы, которые меня по-настоящему волнуют»

Анастасия Деева изучает социально-экономические последствия избыточного веса в России. В интервью проекту «Молодые ученые Вышки» она рассказала о том, что красоту невозможно измерить, о желании написать роман, «достоевском» выгорании и работе в отеле, где снималось «Сияние».

30 июля 2026 г.

Два года роста или падения: как выбрать инвестиционную стратегию

Экономисты из НИУ ВШЭ совместно с коллегами из зарубежных университетов изучили движение биржевых цен за почти 100 лет и предложили инвестиционную стратегию, доходность которой почти вдвое могла бы превысить рыночную. Ученые предлагают придерживаться стратегии моментум, когда рынок растет в течение двух лет, и переключаться на стоимостный подход, когда рынок падает. Статья опубликована в ведущем международном журнале Journal of Banking and Finance.

28 июля 2026 г.

Исследователи ВШЭ показали связь между вниманием и трудностями общения при аутизме

Исследователи НИУ ВШЭ изучили, как трудности в общении детей с аутизмом связаны с работой мозга. Данные показали, что важную роль играют не только языковые сети, но и сети внимания. Чем хуже работали связи, поддерживающие фокус и переключение внимания, тем более выраженными были нарушения в коммуникации. Исследование опубликовано в журнале European Child & Adolescent Psychiatry.

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

Публикации

?

Tiling problems and complexity of logics

P. 68–70.

Рыбаков М. Н., Serova D.

Язык: английский

Полный текст

Текст на другом сайте

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Доказательства и модели (2023)

В книге

SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts

M.: ., 2023.

Sharpening complexity results in quantified probability logic

Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114

We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...

Добавлено: 26 декабря 2025 г.

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables

Рыбаков М. Н., / Series math "arxiv.org". 2025. No. 2505.00531.

Добавлено: 21 мая 2025 г.

On Decidability of Theories of Regular Languages

Sergey Dudakov, Karlov B., Theory of Computing Systems 2021 Vol. 65 No. 3 P. 462–478

Добавлено: 12 ноября 2023 г.

Tiling problems and complexity of logics (extended version)

Рыбаков М. Н., Серова Д. А., / Series arXiv "math". 2023.

Добавлено: 7 июля 2023 г.

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness

Рыбаков М. Н., Logic Journal of the IGPL 2024 Vol. 32 No. 3 P. 465–492

Добавлено: 7 июля 2023 г.

The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Birget J., Таламбуца А. Л., International Journal of Algebra and Computation 2022 Vol. 32 No. 6 P. 1261–1274

Добавлено: 9 декабря 2022 г.

On the study of ambiguity and the trade-off between measures and ambiguity in insertion-deletion languages

Lakshmanan K., Махендран А., Kamala K. и др., Nano Communication Networks 2011 Vol. 2 P. 106–118

Добавлено: 24 ноября 2021 г.

On the ambiguity of insertion systems

Kuppusamy L., Махендран А., Krithivasan K., International Journal of Foundations of Computer Science 2011 Vol. 22 No. 7 P. 1747–1758

Добавлено: 24 ноября 2021 г.

Собери квадрат

Скопенков М. Б., Малиновская О. А., Дориченко С. А., Квант 2015 № 2 С. 6–11

В этой научно-популярной статье мы определим, когда квадрат можно разрезать на прямоугольники, подобные данному. ...

Добавлено: 16 октября 2015 г.

Two-sided unification is NP-complete

Захаров В. А., Новикова Т. А., , in: Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series.: Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55–61.

Добавлено: 13 октября 2015 г.

Двусторонняя унификация программ и ее применение для задач рефакторинга

Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245–268

Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...

Добавлено: 30 сентября 2015 г.