Tiling problems and complexity of logics

АБВ
АБВ
АБВ

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

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

по году

Тематика

8 июня 2026 г.

«За 12 лет на нашем счету почти 1000 операций с пробуждением»

В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.

5 июня 2026 г.

Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона

Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

2 июня 2026 г.

От Волги до Янцзы: математики из Нижнего Новгорода и Шанхая изучают устойчивость систем

Математики НИУ ВШЭ в Нижнем Новгороде совместно с коллегами из шанхайского Университета Тунцзи исследуют фундаментальные причины структурной устойчивости систем и механизмы их нарушения. О развитии проекта Qualitative Theory of Systems of Ordinary and Partial Differential Equations в рамках программы НИУ ВШЭ «Международное академическое сотрудничество» «Вышке.Главное» рассказала его руководитель, профессор Ольга Починка, заведующая Международной лабораторией динамических систем и приложений НИУ ВШЭ в Нижнем Новгороде.

Нашли опечатку?
Выделите её, нажмите 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 г.