Кафедра математической логики и теории алгоритмов мехмата МГУ

#мехмат_студентам #мехмат_кафедры

Уважаемые студенты второго курса!

Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.

Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.

Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.

Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.

Сайт кафедры
Страница ВК
Канал в Телеграм

#матлог #учёба #спецсеминар

8 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Л.В. Дворкин (МГУ)

PSpace-разрешимость модальных логик древовидных шкал (продолжение)

Аннотация:

Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.

Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.

От слушателей предполагается знакомство с основами семантики Крипке.

Ссылки:

[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.

#мехмат_студентам #мехмат_сотрудникам #лекция #видео

Выкладываем лекцию академика РАН Алексея Львовича Семенова "Колмогоров в цифровом мире", прочитанную 26 марта 2026 года на заседании научно-образовательного семинара «Колмогоровские беседы» на механико-математическом факультете МГУ.

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

Monday 06 April, 18:30 Msk

Sasha Kozachinskiy will give the following talk:

The language generation in the limit framework [Kleinberg, Mullainathnan, NeurIPS 2024] is as follows. There is a known family F of languages (subsets of {0,1}^*). An adversary elects one of the languages L from F and starts writing down its words in some order. In each step, our task is to indicate a word that belongs to L but hasn’t been written down so far by the adversary. It turns out that for any countable F there is an algorithm that achieves this goal for all but finitely many steps.

I will explain a recent work of Kleinberg and Wei [Focs 2025], where it is shown how to do this and make sure that the subset of L that we generate is dense in it. That is, I will explain a simple version of their result – one can make sure that for infinitely many n, among the first n words of L in the lexicographic order, we have generated at least 0.49n. They also show that this is possible for all but finitely many n (and for some small positive constant instead of 0.49).

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk

06.04.2026
С. Л. Кузнецов (https://www.mathnet.ru/person72238), Т. Г. Пшеницын (https://www.mathnet.ru/person189359) (МИАН): Инфинитарная логика действий с сокращением (очный доклад)

Инфинитарная логика действий ACT^\omega описывает эквациональную теорию *-непрерывных решёток Клини с делениями и представляет собой инфинитарное расширение мультипликативно-аддитивного исчисления Ламбека (FL) с помощью итерации Клини. Задача выводимости в ACT^\omega алгоритмически неразрешима и \Pi^0_1-полна [Buszkowski, Palka 2007]. Само исчисление FL — это субструктурная логика, в ней отсутствуют структурные правила сокращения, ослабления и перестановки. Рассматриваются расширения FL различными комбинациями структурных правил. Среди таких логик единственной алгоритмически неразрешимой является логика FL_с, расширяющая FL правилом сокращения [Chvalovský, Horcík 2016]. В докладе рассматривается логика ACT^\omega_c, расширяющая FL_c итерацией Клини. Для этой логики построен вариант языковой семантики (с подходящей операцией замыкания), доказана теорема о полноте. Доказано, что задача выводимости в ACT^\omega_c является \Pi^1_1-полной, что намного сложнее, чем для ACT^\omega.

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 03.04.2026 в 16:20

Докладчик: Лев Дворкин

Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках (продолжение)

Первую часть доклада можно посмотреть по ссылке https://www.youtube.com/watch?v=mizymfjwHIY

Аннотация:

Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.

В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.

Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.

Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:

* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.

От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.

Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.

Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.

#матлог #учёба #просеминар

💥В пятницу 3 апреля состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: Принцип Лефшеца и теорема Акса-Гротендика - продолжение (Л.В.Дворкин, А.А.Оноприенко)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 ax-groth.pdf

#матлог #наука #конференция

Молодёжный коллоквиум по математической логике и её приложениям
(31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, https://www.mathnet.ru/conf2744)

Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик

К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.

Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.

‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.

#матлог #спецсеминар #нпммвя

В четверг 9 апреля в 18:00 в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского с докладом Александра Владимировича Подобряева "Семантика числа в вопросах и ответах".

Время: 09.04, 18:00-19:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104.
Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/qm1e95yhb24J47gB7
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Анонс:
В современных семантических теориях предлагаются разные подходы к моделированию значения категории числа. Часто предполагается, что в системах с бинарной числовой оппозицией (ед. ч. vs. мн. ч.) одно значение является логически слабым (т. е. не предполагающим множественности или атомарности; обычно таким признается множественное число, Sauerland 2003, Spector 2007, Zweig 2009), а другое — логически сильным (ед. ч. предполагает атомарность в системе со слабым мн. ч.). В ситуации конкуренции форм ед. ч. и мн. ч. может происходить усиление значения (слабое мн. ч. —> мн. ч., предполагающее множественность) в результате вычисления скалярной импликатуры (Spector 2007, Zweig 2009) или по принципу Maximize Presupposition! (Sauerland 2003).
Во многих языках по числу противопоставлены вопросительные местоимения ‘кто.sg’ vs ‘кто.pl’) — таковы, например, венгерский, испанский, румынский, финский. При этом, по-видимому, действует следующая универсалия: вопросительные местоимения ед. ч. демонстрируют числовую нейтральность (слабое значение), а вопросительные местоимения мн. ч. интерпретируются как строго множественные.
В литературе предлагается несколько возможных вариантов моделирования значения граммемы числа в вопросительных местоимениях:
1. семантическая оппозиция слабое мн. ч. — сильное ед. ч. сохраняется, но при этом слабое значение `кто,sg’ возникает при экзистенциальной квантификации более высокого порядка (над конъюнктивными или дизъюнктивными обобщенными кванторами) — Elliott et al. 2022 для испанского и румынского.
2. для вопросительных слов семантическая оппозиция другая: сильное мн. ч. — слабое ед. ч. — Maldonado 2020 для испанского; c допущением квантификации более высокого порядка — Alonso-Ovalle and Rouillard 2023.
В докладе будут представлены новые данные нескольких тюркских языков, позволяющие по-новому взглянуть на проблему.

Литература:
1. Alonso-Ovalle, L., and V. Rouillard (2023) ‘Spanish Bare Interrogatives and Number’. JoS 40: 289–309.
2. Elliott, P. D., A. C. Nicolae, and U. Sauerland (2022) ‘Who and what do who and what range over cross-linguistically’. JoS 39: 1–29.
3. Maldonado, M. (2020) ‘Plural marking and D-linking in Spanish interrogatives’. JoS 37:145–70.
4. Sauerland, U. (2003) ‘A new semantics for number’. In Proceedings of SALT XIII: 258–75.
5. Spector, B. (2007) ‘Aspects of the pragmatics of plural morphology: On higher-order implicatures’. In Presupposition and implicature in compositional semantics: 243–81.
6. Zweig, E. (2009) ‘Number neutral bare plurals and the multiplicity implicature’. L&P 32: 353–407.

#матлог #учёба #спецсеминар

1 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Л.В. Дворкин (МГУ)

PSpace-разрешимость модальных логик древовидных шкал

Аннотация:

Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.

Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.

От слушателей предполагается знакомство с основами семантики Крипке.

Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.

#матлог #наука #конференция

Ломоносовские чтения 2026

Кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова

1 апреля 2026 г., среда, 18:30

Главное здание, сектор "А", ауд. 14-08

Локальные правила и подстановочные замощения. Доклад профессора Верещагина Н. К.

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk

30.03.2026
А. А. Оноприенко (МГУ, https://www.mathnet.ru/person111160): Алгоритмическая сложность кооперативной игры «Ханаби» (очный доклад)

С середины XX столетия игры рассматриваются в качестве полигона для тестирования возможностей компьютера. Сейчас явные алгоритмы уступили место ИИ, который успешно играет в игры с противоположными интересами участников (типа шахмат или го). «Ханаби» является примером игры сотрудничества, в которой участники совместно достигают общей цели. На данный момент успехи ИИ в игре «Ханаби» довольно скромные: компьютер уступает даже командам из игроков-новичков. Очевидное препятствие для «лобового» решения задачи автоматизации игры – «экспоненциальный взрыв». С одной стороны, такой «взрыв» очевиден на практике при попытке запрограммировать игру, а с другой стороны, математически это выражается в виде утверждения об NP-трудности соответствующих вычислительных задач. Я расскажу об NP-полноте игры «Ханаби» в простейшем её варианте - случае одного игрока, который пытается «выложить пасьянс». Установлена точная граница параметров игры «Ханаби», при которой она всё ещё остаётся NP-полной, а при уменьшении любого из этих чисел игра «Ханаби» перестаёт быть NP-трудной (разумеется, если P не равно NP). Эти значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.

#матлог #наука #премии

Заявки на соискание премии Правительства Российской Федерации 2026 года в области математики имени Андрея Николаевича Колмогорова принимаются Министерством науки и высшего образования Российской Федерации до 1 апреля 2026 года.

Информация для соискателей премии представлена на сайте правпремии.рф

📝 Приложения
📝 Порядок оформления

#матлог #учёба #просеминар

💥В пятницу 27 марта состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: Принцип Лефшеца и теорема Акса-Гротендика (Л.В.Дворкин, аспирант кафедры)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 ax-groth.pdf

анализа уязвимостей программного обеспечения
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института AIRI, Пчелина К.К.
7. Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов
Доклад вед. программиста ИМИСС МГУ Колосова А.М.
8. Формирование торговых сигналов из новостного потока с помощью LLM
Доклад студ. Изместьева А.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
9. Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы
Доклад студ. Жаркова Н.И. (Механико-математический факультет), ст.науч.сотр. ИМИСС МГУ Зубаревой Е.В.
10. От «одного промпта» к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в 3D-среде
Доклад студ. Александрова К.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
11. Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями
Доклад студ. Егорова Я.Г. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.

#матлог #наука #конференция

💥 27 и 30 марта 2026 года состоится заседание секции ИМИСС на конференции «Ломоносовские чтения-2026»

😎 27 марта будут представлены доклады нашей кафедры

Место проведения: МГУ, ул. Ленинские горы, д. 1, стр. 54, 1 этаж (корпус факультета ИИ).

Заседание секции ИМИСС проходит два дня: 27 и 30 марта.

Подробная информация и программа опубликована на сайте https://conf.msu.ru/rus/event/10430/

Доклады 27 марта (10:00-13:00):
1. Обучение больших языковых моделей соблюдению национальных этических стандартов
Доклад студ. Ковалева Г.П. (Факультет вычислительной математики и кибернетики), ст.науч.сотр. НИВЦ МГУ Тихомирова М.М., вед.науч.сотр. ИМИСС МГУ Лукашевич Н.В.
2. Автоматическая генерация объяснений в задаче исправления грамматических ошибок с помощью обучения с подкреплением
Доклад асс. Сорокина А.А. (Механико-математический факультет), ст.науч.сотр. Центра ИИ МГУ
3. RusHalluRAG: разработка набора данных и методов для обнаружения галлюцинаций в системах поиска и генерации ответов (RAG) на русском языке
Доклад асп. Садковского Ф.А. (Филологический факультет), мл.науч.сотр. Центра ИИ МГУ
4. Панорамирование изображений с интегрированной оптимизацией, специфичной для микроскопии
Доклад мл.науч.сотр. Центра ИИ МГУ, студ. (Факультет вычислительной математики и кибернетики) Николаева Г.В.; науч.сотр. Центра ИИ МГУ, ст.науч.сотр. (Факультет вычислительной математики и кибернетики) Хвостикова А.В.
5. Реляционные модели исчисления Ламбека с субэкспоненциалом локального сокращения
Доклад асп. (Механико-математический факультет) Валинкина М.В., профессора (Механико-математический факультет) Кузнецова С.Л.
6. Алгоритмическая модель развития стволовой клетки на основе случайных процессов и кластеризация клеток на основе нейронных сетей
Доклад асп. (Механико-математический факультет) Гонзюх М.Е., профессора (Механико-математический факультет), зав.лаб. (ИППИ РАН) Любецкого В.А.
7. Полудуплексная коммуникационная сложность с честным противником
Доклад асп. (Механико-математический факультет) Купцова Т.В., профессора (Механико-математический факультет) Верещагина Н.К.
8. Локальные правила и иерархические замощения
Доклад профессора (Механико-математический факультет) Верещагина Н.К.
9. Арифметическая семантика строго позитивных логик
Доклад студ. Еремина А.В. (Философский факультет), академика РАН, Беклемишева Л.Д.
10. Физически-информированные алгоритмы стохастической оптимизации и прогнозирования в задачах с редкими событиями
Доклад асп. (Механико-математический факультет) Булкина А.М., член-корр. РАН, гл.науч.сотр. ИМИСС МГУ, Шамолина М.В. (НИИ механики МГУ)

Доклады 30 марта (12:00 - 17:00):
1. Анатомия «разучивания»: двойное воздействие значимости фактов и типа обучения модели
Доклад науч.сотр. Института AIRI, Борисюк А.О. (Сколтех); науч. директора Sber AI Lab, науч.сотр. ИСП РАН, Савченко А.В.; руководителя группы «Вычислительная семантика» Института AIRI, доцента и руководителя группы NLP Сколтех Панченко А.И.; руководителя группы «Прикладное NLP» Института AIRI, ст.науч.сотр. ИСП РАН Тутубалиной Е.В.
2. Методы сертификации моделей глубокого обучения
Доклад науч.сотр. группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Коржа Д.С.
3. Непреднамеренное рассогласование посредством обучения в контексте: узкие контекстные примеры могут приводить к широкому рассогласованию больших языковых моделей
Доклад исследователя группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Андриянова Н.А.
4. Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Зиборова К.В., студ. (Механико-математический факультет) Бондарева Н.С., доцента Яновича Ю.А. (Сколтех)
5. Усиление больших языковых моделей с помощью методов обучения с подкреплением: новые подходы и перспективы
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Гаджиева Ш.М.
6. Применение больших языковых моделей для

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД #отмены

Заседание семинара отдела математической логики МИАН, Logic Online Seminar, 23.03.2026 (доклад А.Л. Таламбуцы) ОТМЕНЯЕТСЯ.
Следующее заседание состоится 30.03.2026.

Страница семинара: www.mathnet.ru/rus/conf876

#матлог #учёба #спецсеминар

25 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Н.В. Лукашов (НИУ ВШЭ)

Вычислительные аспекты для модальных логик

Аннотация:

Рассказ будет посвящён исследованию разрешимости и вычислительной сложности нормальных модальных логик. В первой части будут рассмотрены различные методы доказательства разрешимости для логик, обладающих свойством конечных моделей. Будет показано, что наличие этого свойства само по себе не гарантирует существование эффективных алгоритмов: будет приведена конструкция несчётного семейства даже полиномиально аппроксимируемых логик с неразрешимой проблемой принадлежности. Затем мы обсудим различные семантические и синтаксические ограничения, при наложении которых удаётся установить разрешимость в целом, без оценки требуемых вычислительных ресурсов.

Далее мы сосредоточимся на границах сложности. После краткого напоминания классов P, NP и PSPACE будет изложен общий метод установления NP-полноты для нормальных модальных логик и, в частности, продемонстрировано, что логика S5 является таковой. Затем будет приведена общая конструкция, показывающая, что такие модальные логики, как K, K4, S4 и GL, не являются полиномиально аппроксимируемыми, что будет означать необходимость принципиально иных подходов к установлению их принадлежности к PSPACE (об этом пойдёт речь в последующих докладах Л.В. Дворкина). В заключение, используя приведённую конструкцию для задачи TQBF, мы также воспроизведем доказательство классической теоремы Р. Ладнера (1979), утверждающей, что любая нормальная модальная логика в интервале между K и S4 является PSPACE-трудной.

Некоторая литература:

P. Blackburn, M. De Rijke, Y. Venema. Modal Logic. Cambridge University Press, 2001.
R.E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6(3), 467–480, 1977.

#мехмат_студентам #мехмат_сотрудникам

В четверг 26 марта на мехмате состоится заседание научно-образовательного семинара «Колмогоровские беседы».
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ
Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта,
оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.

С лекцией «Колмогоров в цифровом мире» выступит академик Алексей Львович Семенов.

❗ Заседание состоится в 16:45 в аудитории 1503.

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 20.03.2026 в 16:20

Докладчик: Лев Дворкин

Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках

Аннотация:

Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.

В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.

Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.

Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:

* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.

От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.

Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.

Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.