анализа уязвимостей программного обеспечения
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института AIRI, Пчелина К.К.
7. Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов
Доклад вед. программиста ИМИСС МГУ Колосова А.М.
8. Формирование торговых сигналов из новостного потока с помощью LLM
Доклад студ. Изместьева А.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
9. Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы
Доклад студ. Жаркова Н.И. (Механико-математический факультет), ст.науч.сотр. ИМИСС МГУ Зубаревой Е.В.
10. От «одного промпта» к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в 3D-среде
Доклад студ. Александрова К.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
11. Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями
Доклад студ. Егорова Я.Г. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института AIRI, Пчелина К.К.
7. Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов
Доклад вед. программиста ИМИСС МГУ Колосова А.М.
8. Формирование торговых сигналов из новостного потока с помощью LLM
Доклад студ. Изместьева А.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
9. Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы
Доклад студ. Жаркова Н.И. (Механико-математический факультет), ст.науч.сотр. ИМИСС МГУ Зубаревой Е.В.
10. От «одного промпта» к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в 3D-среде
Доклад студ. Александрова К.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
11. Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями
Доклад студ. Егорова Я.Г. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
#матлог #учёба #просеминар
💥В пятницу 27 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Принцип Лефшеца и теорема Акса-Гротендика (Л.В.Дворкин, аспирант кафедры)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ax-groth.pdf
💥В пятницу 27 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Принцип Лефшеца и теорема Акса-Гротендика (Л.В.Дворкин, аспирант кафедры)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ax-groth.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #наука #премии
Заявки на соискание премии Правительства Российской Федерации 2026 года в области математики имени Андрея Николаевича Колмогорова принимаются Министерством науки и высшего образования Российской Федерации до 1 апреля 2026 года.
Информация для соискателей премии представлена на сайте правпремии.рф
📝 Приложения
📝 Порядок оформления
Заявки на соискание премии Правительства Российской Федерации 2026 года в области математики имени Андрея Николаевича Колмогорова принимаются Министерством науки и высшего образования Российской Федерации до 1 апреля 2026 года.
Информация для соискателей премии представлена на сайте правпремии.рф
📝 Приложения
📝 Порядок оформления
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, 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). Эти значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.
Семинар отдела математической логики МИАН, 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). Эти значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.
🔥4
#матлог #наука #конференция
Ломоносовские чтения 2026
Кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
1 апреля 2026 г., среда, 18:30
Главное здание, сектор "А", ауд. 14-08
Локальные правила и подстановочные замощения. Доклад профессора Верещагина Н. К.
Ломоносовские чтения 2026
Кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
1 апреля 2026 г., среда, 18:30
Главное здание, сектор "А", ауд. 14-08
Локальные правила и подстановочные замощения. Доклад профессора Верещагина Н. К.
#матлог #учёба #спецсеминар
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.
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.
❤2
#матлог #спецсеминар #нпммвя
В четверг 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.
В четверг 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.
#матлог #наука #конференция
Молодёжный коллоквиум по математической логике и её приложениям
(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 рабочих дней с момента подачи.
Молодёжный коллоквиум по математической логике и её приложениям
(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 рабочих дней с момента подачи.
👍1
#матлог #учёба #просеминар
💥В пятницу 3 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Принцип Лефшеца и теорема Акса-Гротендика - продолжение (Л.В.Дворкин, А.А.Оноприенко)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ax-groth.pdf
💥В пятницу 3 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Принцип Лефшеца и теорема Акса-Гротендика - продолжение (Л.В.Дворкин, А.А.Оноприенко)
✨Аннотация. Теорема Акса-Гротендика утверждает, что любое полиномиальное отображение из C^n в C^n (где C - поле комплексных чисел или, более общо, любое алгебраически замкнутое поле) сюръективно. Мы подробно разберём доказательство данного факта с использованием принципа Лефшеца - логического принципа, позволяющего перенести утверждения со случая полей положительной характеристики на случай нулевой характеристики.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ax-groth.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 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.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 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.
YouTube
Лев Дворкин//Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Дата и время: 20.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и…
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и…
🔥2
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, 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.
Семинар отдела математической логики МИАН, 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.
#матлог #учёба #спецсеминар
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).
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).
Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_сотрудникам #лекция #видео
Выкладываем лекцию академика РАН Алексея Львовича Семенова "Колмогоров в цифровом мире", прочитанную 26 марта 2026 года на заседании научно-образовательного семинара «Колмогоровские беседы» на механико-математическом факультете МГУ.
Выкладываем лекцию академика РАН Алексея Львовича Семенова "Колмогоров в цифровом мире", прочитанную 26 марта 2026 года на заседании научно-образовательного семинара «Колмогоровские беседы» на механико-математическом факультете МГУ.
#матлог #учёба #спецсеминар
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.
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.
Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_кафедры
Уважаемые студенты второго курса!
Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.
Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.
Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.
Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.
Сайт кафедры
Страница ВК
Канал в Телеграм
Уважаемые студенты второго курса!
Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.
Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.
Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.
Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.
Сайт кафедры
Страница ВК
Канал в Телеграм
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 8 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Денис Савельев
Название: Решение проблемы 61 Харта – ван Милла
Аннотация:
Естественный вопрос, появившийся как проблема 61 в списке Харта и ван Милла открытых проблем, касающихся βω (2025), состоит в следующем: всякий ли конечный частичный порядок изоморфно вложим в порядок Рудина – Кейслера на ультрафильтрах над счётным множеством? Хотя положительный ответ, даже для всех счётных частичных порядков, был получен в предположении континуум-гипотезы (CH) в диссертации Бласса (1970), в теории ZFC без дополнительных предположений вопрос до сих пор оставался открытым. Решение получено докладчиком совместно с Поляковым (2025). Мы показываем, что теории ZFC достаточно для доказательства не только результата Бласса, но и следующего гораздо более сильного утверждения: упорядоченная по включению решётка конечных подмножеств множества мощности 2^𝔠 вложима в множество ультрафильтров с любым отношением, лежащим между порядками Рудина – Кейслера и Комфорта, и то же самое верно для решётки счётных подмножеств множества мощности ℵ₁.
[1] K. P. Hart, J. van Mill, “Problems on βN”, Topology Appl., 364:1 (2025), 109092, 24 pp. arXiv:2205.11204.
[2] N. L. Poliakov, D. I. Saveliev, “On embedding of partially ordered sets in (βω,⩽_RK)”, 2025, arXiv: 2511.19354.
[3] N. L. Poliakov, D. I. Saveliev, “Solution to Hart–van Mill’s problem 61”, Russ. Math. Surv., 81:1 (487) (2026), 205–206.
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 8 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Денис Савельев
Название: Решение проблемы 61 Харта – ван Милла
Аннотация:
Естественный вопрос, появившийся как проблема 61 в списке Харта и ван Милла открытых проблем, касающихся βω (2025), состоит в следующем: всякий ли конечный частичный порядок изоморфно вложим в порядок Рудина – Кейслера на ультрафильтрах над счётным множеством? Хотя положительный ответ, даже для всех счётных частичных порядков, был получен в предположении континуум-гипотезы (CH) в диссертации Бласса (1970), в теории ZFC без дополнительных предположений вопрос до сих пор оставался открытым. Решение получено докладчиком совместно с Поляковым (2025). Мы показываем, что теории ZFC достаточно для доказательства не только результата Бласса, но и следующего гораздо более сильного утверждения: упорядоченная по включению решётка конечных подмножеств множества мощности 2^𝔠 вложима в множество ультрафильтров с любым отношением, лежащим между порядками Рудина – Кейслера и Комфорта, и то же самое верно для решётки счётных подмножеств множества мощности ℵ₁.
[1] K. P. Hart, J. van Mill, “Problems on βN”, Topology Appl., 364:1 (2025), 109092, 24 pp. arXiv:2205.11204.
[2] N. L. Poliakov, D. I. Saveliev, “On embedding of partially ordered sets in (βω,⩽_RK)”, 2025, arXiv: 2511.19354.
[3] N. L. Poliakov, D. I. Saveliev, “Solution to Hart–van Mill’s problem 61”, Russ. Math. Surv., 81:1 (487) (2026), 205–206.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 10.04.2026 в 16:20
Докладчик: Павел Разумный
Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.
Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 10.04.2026 в 16:20
Докладчик: Павел Разумный
Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.
Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.
👍1
#матлог #учёба #просеминар
💥В пятницу 10 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: By myself (А.А.Оноприенко)
✨Аннотация. Центральное место в математической логике занимает тема самореферентности - то есть предложений, говорящих о самих себе. Занятие представляет собой введение в теоремы Гёделя о неполноте через серию занимательных задач.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 by-myself.pdf
💥В пятницу 10 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: By myself (А.А.Оноприенко)
✨Аннотация. Центральное место в математической логике занимает тема самореферентности - то есть предложений, говорящих о самих себе. Занятие представляет собой введение в теоремы Гёделя о неполноте через серию занимательных задач.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 by-myself.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
🔥2
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
13.04.2026
Ф. Н. Пахомов (МИАН, Universiteit Gent, www.mathnet.ru/person64334): О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами (очный доклад)
В этом докладе я расскажу об интуиционистской теории множеств Крипке-Платека с праэлементами (KPU^i) и двух её приложениях. Основное концептуальное наблюдение здесь состоит в том, что, с одной стороны, как и в случае классической теории KPU, эта теория позволяет развить теорию обобщенной вычислимости, основанной на понятии Σ-определимости и имеющей многие привычные свойства обычной вычислимости. С другой стороны, KPU^i обладает большим разнообразием моделей, чем KPU, и тем самым может быть увязана с большим разнообразием альтернативных понятий вычислимости.
Одно приложение связано с построением понятия функционалов конечных порядков над интерпретациями. Второе приложение связано с разработкой удобного формализма для построения β-доказательств. Для второго приложения требуется развитие определенного варианта семантики реализуемости и её использование для доказательства аналога теоремы Бухгольца об интуиционистских теориях неподвижных точек строго позитивных операторов.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
13.04.2026
Ф. Н. Пахомов (МИАН, Universiteit Gent, www.mathnet.ru/person64334): О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами (очный доклад)
В этом докладе я расскажу об интуиционистской теории множеств Крипке-Платека с праэлементами (KPU^i) и двух её приложениях. Основное концептуальное наблюдение здесь состоит в том, что, с одной стороны, как и в случае классической теории KPU, эта теория позволяет развить теорию обобщенной вычислимости, основанной на понятии Σ-определимости и имеющей многие привычные свойства обычной вычислимости. С другой стороны, KPU^i обладает большим разнообразием моделей, чем KPU, и тем самым может быть увязана с большим разнообразием альтернативных понятий вычислимости.
Одно приложение связано с построением понятия функционалов конечных порядков над интерпретациями. Второе приложение связано с разработкой удобного формализма для построения β-доказательств. Для второго приложения требуется развитие определенного варианта семантики реализуемости и её использование для доказательства аналога теоремы Бухгольца об интуиционистских теориях неподвижных точек строго позитивных операторов.
#матлог #учёба #спецсеминар
15 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение — часть 3)
Аннотация:
Доклад посвящён доказательству 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.
15 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение — часть 3)
Аннотация:
Доклад посвящён доказательству 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.
#матлог #спецсеминар #нпммвя
В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".
Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: Устройство санскритской грамматики Панини
Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.
В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".
Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: Устройство санскритской грамматики Панини
Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.
👍2