Tiling problems and complexity of logics

АБВ
АБВ
АБВ

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

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

по году

Тематика

16 июня 2026 г.

Еще недавно публичность для ученого считалась чем-то факультативным – полезным, но необязательным. Сегодня она все чаще встроена в научную работу. Не потому, что «надо быть в медиа», а потому что без внешней проявленности исследования могут просто не найти ни аудитории, ни партнеров, ни продолжения. Об этом в статье для IQ Media размышляет эксперт по научным коммуникациям, доцент факультета географии Высшей школы экономики Надежда Пупышева.

15 июня 2026 г.

Ученые ВШЭ выяснили, кто чаще проверяет информацию в интернете

Исследователи НИУ ВШЭ выяснили, как российские интернет-пользователи проверяют сомнительную информацию и что заставляет их это делать. Оказалось, что более половины, заподозрив обман, пытаются отыскать первоисточник. А определяющими факторами в деле проверки становятся возраст, место жительства, социальное положение, навыки работы с информацией и использование ИИ. Результаты опубликованы в журнале «Мониторинг общественного мнения: экономические и социальные перемены».

15 июня 2026 г.

<a>Институт робототехнических систем ВШЭ запустил научно-технический семинар

Институт робототехнических систем (ИРС) ВШЭ запустил новый ежемесячный формат — Научно-технический семинар. Он объединяет сотрудников института, приглашенных экспертов, студентов, исследователей и представителей других подразделений НИУ ВШЭ для обсуждения актуальных задач мехатроники, робототехники и киберфизических систем.

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