Forwarded from Формальная философия
Forwarded from Формальная философия
Формальная философия
Photo
18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.
Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).
Аннотация: Доклад будет посвящен моделированию информационных каскадов с помощью байесианской эпистемологии и динамической эпистемической логики.
В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.
Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.
После рассмотрения формальной модели планируется обсуждение ее импликаций для социальной эпистемологии и байесианской философии науки. В частности, введение такого минимального правила идет вразрез с выводами авторов статьи о том, что ограничение коммуникации между научными сообществами может служить эффективным инструментом преодоления информационных каскадов. Исходя из расширенной модели мы делаем вывод, что публикация результатов («аудит» в модели), а не только мнений, позволяет устранить вероятность возникновения каскадов, не ограничивая при этом коммуникацию.
[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1137930227.html
Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.
Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).
Аннотация: Доклад будет посвящен моделированию информационных каскадов с помощью байесианской эпистемологии и динамической эпистемической логики.
В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.
Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.
После рассмотрения формальной модели планируется обсуждение ее импликаций для социальной эпистемологии и байесианской философии науки. В частности, введение такого минимального правила идет вразрез с выводами авторов статьи о том, что ограничение коммуникации между научными сообществами может служить эффективным инструментом преодоления информационных каскадов. Исходя из расширенной модели мы делаем вывод, что публикация результатов («аудит» в модели), а не только мнений, позволяет устранить вероятность возникновения каскадов, не ограничивая при этом коммуникацию.
[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1137930227.html
llfp.hse.ru
Доклад Арнольда Григоряна «Устранение информационных каскадов с помощью публичных аудитов»
18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».
❤1
#матлог #учёба #просеминар
💥В пятницу 20 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Определимые отношения и группы перестановок (Q,<)" (Александр Калинин, студент кафедры).
✨Аннотация. Теория n-транзитивных и n-однородных групп перестановок является основой доказательства теоремы о редуктах плотного порядка. На просеминаре будут изложены основные понятия теории и рассмотрены связанные с ними задачи.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 definabilityQ_2025.pdf
💥В пятницу 20 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Определимые отношения и группы перестановок (Q,<)" (Александр Калинин, студент кафедры).
✨Аннотация. Теория n-транзитивных и n-однородных групп перестановок является основой доказательства теоремы о редуктах плотного порядка. На просеминаре будут изложены основные понятия теории и рассмотрены связанные с ними задачи.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 definabilityQ_2025.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
23.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (продолжение, очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
23.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (продолжение, очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
23 March, 18:30 MSK
Georgi Potapov
If we have some experimental data, finite object x, and some statistical hypothesis saying that x is a result of a random experiment that has some distribution P, then the deficiency of x against P ("how unlikely is x assuming P") can (and usually is) defined as -log P(x) - K(x|P). If instead of one hypothesis P we have a class of hypotheses (e.g., "distribution is Bernoulli with some unknown p", or "distribution is Poisson with some unknown λ"), it is natural to choose p or λ that make the deficiency minimal. Can we get an explicit formula for that minimum? The talk will discuss this question for Poisson distribution.
Some additional context: consider finitely specified (say, finite rational-valued) distributions on N; one can consider (quite naturally from statistical viewpoint) "expectation bounded tests" t(x,P); here x is a natural number and P is the distribution, and the requirement is that the expected value of f(x,P) for every fixed P and P-distributed x is at most one. There is a maximal lower semicomputable function with this property, and this universal test is 2^{-\KP(x)}/P(x) (see the logarithmic version above). Then we can take a minimum over all measures from some class and get the so-called "class test" - the case for Bernoulli distributions was considered by Vovk, and in the talk (hopefully) we'll discuss the similar question also for the family of Poisson distributions. [Updated after a conversation with G.P.]
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
23 March, 18:30 MSK
Georgi Potapov
If we have some experimental data, finite object x, and some statistical hypothesis saying that x is a result of a random experiment that has some distribution P, then the deficiency of x against P ("how unlikely is x assuming P") can (and usually is) defined as -log P(x) - K(x|P). If instead of one hypothesis P we have a class of hypotheses (e.g., "distribution is Bernoulli with some unknown p", or "distribution is Poisson with some unknown λ"), it is natural to choose p or λ that make the deficiency minimal. Can we get an explicit formula for that minimum? The talk will discuss this question for Poisson distribution.
Some additional context: consider finitely specified (say, finite rational-valued) distributions on N; one can consider (quite naturally from statistical viewpoint) "expectation bounded tests" t(x,P); here x is a natural number and P is the distribution, and the requirement is that the expected value of f(x,P) for every fixed P and P-distributed x is at most one. There is a maximal lower semicomputable function with this property, and this universal test is 2^{-\KP(x)}/P(x) (see the logarithmic version above). Then we can take a minimum over all measures from some class and get the so-called "class test" - the case for Bernoulli distributions was considered by Vovk, and in the talk (hopefully) we'll discuss the similar question also for the family of Poisson distributions. [Updated after a conversation with G.P.]
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 20.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 20.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
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.