#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Monday 06 April, 18:30 Msk
Sasha Kozachinskiy will give the following talk:
The language generation in the limit framework [Kleinberg, Mullainathnan, NeurIPS 2024] is as follows. There is a known family F of languages (subsets of {0,1}^*). An adversary elects one of the languages L from F and starts writing down its words in some order. In each step, our task is to indicate a word that belongs to L but hasn’t been written down so far by the adversary. It turns out that for any countable F there is an algorithm that achieves this goal for all but finitely many steps.
I will explain a recent work of Kleinberg and Wei [Focs 2025], where it is shown how to do this and make sure that the subset of L that we generate is dense in it. That is, I will explain a simple version of their result – one can make sure that for infinitely many n, among the first n words of L in the lexicographic order, we have generated at least 0.49n. They also show that this is possible for all but finitely many n (and for some small positive constant instead of 0.49).
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Monday 06 April, 18:30 Msk
Sasha Kozachinskiy will give the following talk:
The language generation in the limit framework [Kleinberg, Mullainathnan, NeurIPS 2024] is as follows. There is a known family F of languages (subsets of {0,1}^*). An adversary elects one of the languages L from F and starts writing down its words in some order. In each step, our task is to indicate a word that belongs to L but hasn’t been written down so far by the adversary. It turns out that for any countable F there is an algorithm that achieves this goal for all but finitely many steps.
I will explain a recent work of Kleinberg and Wei [Focs 2025], where it is shown how to do this and make sure that the subset of L that we generate is dense in it. That is, I will explain a simple version of their result – one can make sure that for infinitely many n, among the first n words of L in the lexicographic order, we have generated at least 0.49n. They also show that this is possible for all but finitely many n (and for some small positive constant instead of 0.49).
Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_сотрудникам #лекция #видео
Выкладываем лекцию академика РАН Алексея Львовича Семенова "Колмогоров в цифровом мире", прочитанную 26 марта 2026 года на заседании научно-образовательного семинара «Колмогоровские беседы» на механико-математическом факультете МГУ.
Выкладываем лекцию академика РАН Алексея Львовича Семенова "Колмогоров в цифровом мире", прочитанную 26 марта 2026 года на заседании научно-образовательного семинара «Колмогоровские беседы» на механико-математическом факультете МГУ.
#матлог #учёба #спецсеминар
8 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
8 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_кафедры
Уважаемые студенты второго курса!
Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.
Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.
Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.
Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.
Сайт кафедры
Страница ВК
Канал в Телеграм
Уважаемые студенты второго курса!
Во вторник, 7 апреля, в 16.45 в аудитории 1610 ГЗ МГУ состоится встреча с сотрудниками кафедры математической логики и теории алгоритмов.
Математическая логика занимает особое место среди математических дисциплин. Она отвечает на вопросы о самой математике и математической деятельности. Что такое доказательство, что такое алгоритм? Эти вопросы послужили фундаментом развития информационных и коммуникационных технологий.
Математическая логика и теория алгоритмов – это основная научная дисциплина, математически формализующая, описывающая и изучающая, с одной стороны, человеческие языки и мышление, с другой – их модели в цифровых, электронных устройствах.
Прикладные исследования кафедры относятся к естественному языку в системах искусственного интеллекта, моделированию биологических процессов, математическому образованию, цифровой трансформации образования.
Сайт кафедры
Страница ВК
Канал в Телеграм
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 8 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Денис Савельев
Название: Решение проблемы 61 Харта – ван Милла
Аннотация:
Естественный вопрос, появившийся как проблема 61 в списке Харта и ван Милла открытых проблем, касающихся βω (2025), состоит в следующем: всякий ли конечный частичный порядок изоморфно вложим в порядок Рудина – Кейслера на ультрафильтрах над счётным множеством? Хотя положительный ответ, даже для всех счётных частичных порядков, был получен в предположении континуум-гипотезы (CH) в диссертации Бласса (1970), в теории ZFC без дополнительных предположений вопрос до сих пор оставался открытым. Решение получено докладчиком совместно с Поляковым (2025). Мы показываем, что теории ZFC достаточно для доказательства не только результата Бласса, но и следующего гораздо более сильного утверждения: упорядоченная по включению решётка конечных подмножеств множества мощности 2^𝔠 вложима в множество ультрафильтров с любым отношением, лежащим между порядками Рудина – Кейслера и Комфорта, и то же самое верно для решётки счётных подмножеств множества мощности ℵ₁.
[1] K. P. Hart, J. van Mill, “Problems on βN”, Topology Appl., 364:1 (2025), 109092, 24 pp. arXiv:2205.11204.
[2] N. L. Poliakov, D. I. Saveliev, “On embedding of partially ordered sets in (βω,⩽_RK)”, 2025, arXiv: 2511.19354.
[3] N. L. Poliakov, D. I. Saveliev, “Solution to Hart–van Mill’s problem 61”, Russ. Math. Surv., 81:1 (487) (2026), 205–206.
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 8 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Денис Савельев
Название: Решение проблемы 61 Харта – ван Милла
Аннотация:
Естественный вопрос, появившийся как проблема 61 в списке Харта и ван Милла открытых проблем, касающихся βω (2025), состоит в следующем: всякий ли конечный частичный порядок изоморфно вложим в порядок Рудина – Кейслера на ультрафильтрах над счётным множеством? Хотя положительный ответ, даже для всех счётных частичных порядков, был получен в предположении континуум-гипотезы (CH) в диссертации Бласса (1970), в теории ZFC без дополнительных предположений вопрос до сих пор оставался открытым. Решение получено докладчиком совместно с Поляковым (2025). Мы показываем, что теории ZFC достаточно для доказательства не только результата Бласса, но и следующего гораздо более сильного утверждения: упорядоченная по включению решётка конечных подмножеств множества мощности 2^𝔠 вложима в множество ультрафильтров с любым отношением, лежащим между порядками Рудина – Кейслера и Комфорта, и то же самое верно для решётки счётных подмножеств множества мощности ℵ₁.
[1] K. P. Hart, J. van Mill, “Problems on βN”, Topology Appl., 364:1 (2025), 109092, 24 pp. arXiv:2205.11204.
[2] N. L. Poliakov, D. I. Saveliev, “On embedding of partially ordered sets in (βω,⩽_RK)”, 2025, arXiv: 2511.19354.
[3] N. L. Poliakov, D. I. Saveliev, “Solution to Hart–van Mill’s problem 61”, Russ. Math. Surv., 81:1 (487) (2026), 205–206.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 10.04.2026 в 16:20
Докладчик: Павел Разумный
Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.
Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 10.04.2026 в 16:20
Докладчик: Павел Разумный
Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.
Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.
👍1
#матлог #учёба #просеминар
💥В пятницу 10 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: By myself (А.А.Оноприенко)
✨Аннотация. Центральное место в математической логике занимает тема самореферентности - то есть предложений, говорящих о самих себе. Занятие представляет собой введение в теоремы Гёделя о неполноте через серию занимательных задач.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 by-myself.pdf
💥В пятницу 10 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: By myself (А.А.Оноприенко)
✨Аннотация. Центральное место в математической логике занимает тема самореферентности - то есть предложений, говорящих о самих себе. Занятие представляет собой введение в теоремы Гёделя о неполноте через серию занимательных задач.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 by-myself.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
🔥2
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
13.04.2026
Ф. Н. Пахомов (МИАН, Universiteit Gent, www.mathnet.ru/person64334): О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами (очный доклад)
В этом докладе я расскажу об интуиционистской теории множеств Крипке-Платека с праэлементами (KPU^i) и двух её приложениях. Основное концептуальное наблюдение здесь состоит в том, что, с одной стороны, как и в случае классической теории KPU, эта теория позволяет развить теорию обобщенной вычислимости, основанной на понятии Σ-определимости и имеющей многие привычные свойства обычной вычислимости. С другой стороны, KPU^i обладает большим разнообразием моделей, чем KPU, и тем самым может быть увязана с большим разнообразием альтернативных понятий вычислимости.
Одно приложение связано с построением понятия функционалов конечных порядков над интерпретациями. Второе приложение связано с разработкой удобного формализма для построения β-доказательств. Для второго приложения требуется развитие определенного варианта семантики реализуемости и её использование для доказательства аналога теоремы Бухгольца об интуиционистских теориях неподвижных точек строго позитивных операторов.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
13.04.2026
Ф. Н. Пахомов (МИАН, Universiteit Gent, www.mathnet.ru/person64334): О приложениях интуиционистской теории множеств Крипке–Платека с праэлементами (очный доклад)
В этом докладе я расскажу об интуиционистской теории множеств Крипке-Платека с праэлементами (KPU^i) и двух её приложениях. Основное концептуальное наблюдение здесь состоит в том, что, с одной стороны, как и в случае классической теории KPU, эта теория позволяет развить теорию обобщенной вычислимости, основанной на понятии Σ-определимости и имеющей многие привычные свойства обычной вычислимости. С другой стороны, KPU^i обладает большим разнообразием моделей, чем KPU, и тем самым может быть увязана с большим разнообразием альтернативных понятий вычислимости.
Одно приложение связано с построением понятия функционалов конечных порядков над интерпретациями. Второе приложение связано с разработкой удобного формализма для построения β-доказательств. Для второго приложения требуется развитие определенного варианта семантики реализуемости и её использование для доказательства аналога теоремы Бухгольца об интуиционистских теориях неподвижных точек строго позитивных операторов.
#матлог #учёба #спецсеминар
15 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение — часть 3)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
15 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение — часть 3)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
#матлог #спецсеминар #нпммвя
В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".
Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: Устройство санскритской грамматики Панини
Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.
В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".
Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: Устройство санскритской грамматики Панини
Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.
👍2
Forwarded from Мехмат МГУ
#мехмат_хроники #мехмат_кафедры
7 апреля состоялась встреча сотрудников кафедры математической логики и теории алгоритмов со студентами 2 курса.
Выкладываем фотографии со встречи.
7 апреля состоялась встреча сотрудников кафедры математической логики и теории алгоритмов со студентами 2 курса.
Выкладываем фотографии со встречи.
🔥7❤3
#матлог #наука #конференция
В среду 15 апреля 2026 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых учёных "Ломоносов - 2026".
Будут представлены доклады:
18:30-18:45 Зайцева Ульяна Дмитриевна
Применение ε-исчисления для формализации объектных кванторных групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668256/196732/uid833797_report.pdf
18:45-19:00 Рузимов Жавохир Отабекович
Полиномиальные и пунктуальные представления колец и алгебр
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1663018/195418/uid930752_report.pdf
19:00-19:15 Аллеманд Аллан Олегович
Метод Арнольда в топологической теории Галуа
тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1684904/203698/uid494087_report.pdf
19:15-19:30 Байрамян Арман Артурович
О росте свободных бернсайдовых групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1670608/197800/uid569902_report.pdf
19:30-19:45 Валинкин Михаил Валерьевич
Реляционные модели исчисления Ламбека с субэкспоенциалом локального сокращения
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1675377/200231/uid1165012_report.pdf
19:45-20:00 Гонзюх Михаил Евгеньевич
Модель индивидуального развития организма
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668117/196683/uid289095_report.pdf
20:00-20:15 Кондакова Елизавета Григорьевна
Условия обхода роботом с генератором случайных битов целочисленной многомерной решетки
https://lomonosov-msu.ru/file/uploaded/10500/report/request_1672220/198665/uid146215_report.pdf
20:15-20:30 Купцов Тимур Владиславович
Сравнение различных видов полудуплексной коммуникационной сложности
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1671385/198498/uid1164862_report.pdf
В среду 15 апреля 2026 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых учёных "Ломоносов - 2026".
Будут представлены доклады:
18:30-18:45 Зайцева Ульяна Дмитриевна
Применение ε-исчисления для формализации объектных кванторных групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668256/196732/uid833797_report.pdf
18:45-19:00 Рузимов Жавохир Отабекович
Полиномиальные и пунктуальные представления колец и алгебр
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1663018/195418/uid930752_report.pdf
19:00-19:15 Аллеманд Аллан Олегович
Метод Арнольда в топологической теории Галуа
тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1684904/203698/uid494087_report.pdf
19:15-19:30 Байрамян Арман Артурович
О росте свободных бернсайдовых групп
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1670608/197800/uid569902_report.pdf
19:30-19:45 Валинкин Михаил Валерьевич
Реляционные модели исчисления Ламбека с субэкспоенциалом локального сокращения
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1675377/200231/uid1165012_report.pdf
19:45-20:00 Гонзюх Михаил Евгеньевич
Модель индивидуального развития организма
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1668117/196683/uid289095_report.pdf
20:00-20:15 Кондакова Елизавета Григорьевна
Условия обхода роботом с генератором случайных битов целочисленной многомерной решетки
https://lomonosov-msu.ru/file/uploaded/10500/report/request_1672220/198665/uid146215_report.pdf
20:15-20:30 Купцов Тимур Владиславович
Сравнение различных видов полудуплексной коммуникационной сложности
Тезисы: https://lomonosov-msu.ru/file/uploaded/10500/report/request_1671385/198498/uid1164862_report.pdf
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 15 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Елена Попова
Название:
Семантика логики свидетельств первого порядка со связывающей модальностью.
Аннотация:
Доклад будет по совместной работе с Т.Л. Яворской.
Основная особенность логики свидетельств первого порядка заключается в возможности различать два типа утверждений:
“t есть доказательство формулы Ф(x) со свободной переменной x”;
“для конкретного значения x, t есть доказательство формулы Ф(x)”.
В языке модальной логики первого порядка аналогичное различие достигается посредством введения связывающей модальности. В докладе будет рассмотрена логика, объединяющая свидетельские термы и связывающие модальности. Мы определим модели Фиттинга для этой логики, позволяющие учитывать означивание переменных, а также приведем примеры явно построенных моделей. Будет сформулирована теорема о сильной полноте и представлена идея ее доказательства. Спецификой рассматриваемой логики является переопределённое понятие формулы, которое упрощает работу с семантикой.
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 15 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Елена Попова
Название:
Семантика логики свидетельств первого порядка со связывающей модальностью.
Аннотация:
Доклад будет по совместной работе с Т.Л. Яворской.
Основная особенность логики свидетельств первого порядка заключается в возможности различать два типа утверждений:
“t есть доказательство формулы Ф(x) со свободной переменной x”;
“для конкретного значения x, t есть доказательство формулы Ф(x)”.
В языке модальной логики первого порядка аналогичное различие достигается посредством введения связывающей модальности. В докладе будет рассмотрена логика, объединяющая свидетельские термы и связывающие модальности. Мы определим модели Фиттинга для этой логики, позволяющие учитывать означивание переменных, а также приведем примеры явно построенных моделей. Будет сформулирована теорема о сильной полноте и представлена идея ее доказательства. Спецификой рассматриваемой логики является переопределённое понятие формулы, которое упрощает работу с семантикой.
❤🔥1🔥1
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.04.2026 в 16:20
Докладчик: Елена Попова
Тема: Логики свидетельств. Введение
Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.04.2026 в 16:20
Докладчик: Елена Попова
Тема: Логики свидетельств. Введение
Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.
👍1
#матлог #учёба #просеминар
💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
🔥1