Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_сотрудникам
В четверг 26 марта на мехмате состоится заседание научно-образовательного семинара «Колмогоровские беседы».
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ
Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта,
оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «Колмогоров в цифровом мире» выступит академик Алексей Львович Семенов.
❗ Заседание состоится в 16:45 в аудитории 1503.
В четверг 26 марта на мехмате состоится заседание научно-образовательного семинара «Колмогоровские беседы».
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ
Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта,
оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «Колмогоров в цифровом мире» выступит академик Алексей Львович Семенов.
❗ Заседание состоится в 16:45 в аудитории 1503.
#матлог #учёба #спецсеминар
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.
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.
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД #отмены
Заседание семинара отдела математической логики МИАН, Logic Online Seminar, 23.03.2026 (доклад А.Л. Таламбуцы) ОТМЕНЯЕТСЯ.
Следующее заседание состоится 30.03.2026.
Страница семинара: www.mathnet.ru/rus/conf876
Заседание семинара отдела математической логики МИАН, Logic Online Seminar, 23.03.2026 (доклад А.Л. Таламбуцы) ОТМЕНЯЕТСЯ.
Следующее заседание состоится 30.03.2026.
Страница семинара: www.mathnet.ru/rus/conf876
#матлог #наука #конференция
💥 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. Применение больших языковых моделей для
💥 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. Применение больших языковых моделей для
❤1
анализа уязвимостей программного обеспечения
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института 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