#матлог #учёба #спецкурс
В понедельник (02 марта) в 16:45 состоится первая лекция курса В.А. Любецкого «Современные методы обработки данных» (полугодовой по выбору кафедры). Страница спецкурса: https://scs.math.msu.ru/ru/node/13460
Каждому слушателю нужно послать свои ФИО и личную электронную почту по адресу 'Konstantin Gorbunov' gorbunov@iitp.ru.
Аннотация.
Дан набор буквенных последовательностей. Синтенией называется набор их коротких подпоследовательностей, которые подобны по взаиморасположению букв и по их гомологии (которая возникает из того, что каждая буква обозначает сложный объект, например, ген). Изложение не использует материал 1-го семестра (https://scs.math.msu.ru/ru/node/8581) и не требует предварительных знаний. Сейчас этот материал доступен в рукописи. Курс может сдаваться как «годовой» (объединение материала 1-го и 2-го семестров), так и как «полугодовой» (материал весеннего семестра). Эта тема нуждается в компьютерной программе, и широко востребована в мировой практике.
➰ ВК
В понедельник (02 марта) в 16:45 состоится первая лекция курса В.А. Любецкого «Современные методы обработки данных» (полугодовой по выбору кафедры). Страница спецкурса: https://scs.math.msu.ru/ru/node/13460
Каждому слушателю нужно послать свои ФИО и личную электронную почту по адресу 'Konstantin Gorbunov' gorbunov@iitp.ru.
Аннотация.
Дан набор буквенных последовательностей. Синтенией называется набор их коротких подпоследовательностей, которые подобны по взаиморасположению букв и по их гомологии (которая возникает из того, что каждая буква обозначает сложный объект, например, ген). Изложение не использует материал 1-го семестра (https://scs.math.msu.ru/ru/node/8581) и не требует предварительных знаний. Сейчас этот материал доступен в рукописи. Курс может сдаваться как «годовой» (объединение материала 1-го и 2-го семестров), так и как «полугодовой» (материал весеннего семестра). Эта тема нуждается в компьютерной программе, и широко востребована в мировой практике.
➰ ВК
#матлог #учёба #МФК
🔥КУРСЫ МФК ПО ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ🔥
В МГУ разрабатывается проект "Ковчег знаний" для решения крайне непростой задачи: разработка когнитивной инфраструктуры знаний. Сейчас при открытии поисковика вы получаете кучу вкладок с текстом. Чтобы получить ответ на конкретный вопрос, нужно перелопатить гору этой информации. Ключевая идея "Ковчега знаний": знание - это не набор текстов, а управляемая структура: сущности (что?), связи (как связано?) и контекст (при каких условиях?), с проверяемым происхождением каждого факта.
Более подробно о проекте можно почитать на странице https://arc.msu.ru/obrazovanie/kovcheg-znanij-mgu-studentam/
💯 ОТКРЫТ НАБОР НА ДВА МФК: один от мехмата, второй - от ВМК! Если вы - студент МГУ любого факультета, можно записаться хотя бы на один из них.
✅МФК «Инженерия знаний и проект “Ковчег знаний МГУ”» от мехмата
https://lk.msu.ru/course/view?id=4113
❓Кому подойдёт курс?
Тем, кто хочет научиться описывать предметные области инженерно: не “пересказом”, а моделью (сущности, связи, типовые вопросы). Подходит студентам разных направлений — от технарей до гуманитариев.
❓Нужно ли программирование?
Жёстких требований нет. Мы учим логике моделирования знаний и требованиям к качеству результата. Технические детали даются ровно в том объёме, который нужен для грамотной постановки и оформления модели.
❓Что именно я сделаю “руками”?
Вы соберете мини-проект: выберете домен, зададите границы, построите ядро модели (8-15 сущностей, 8-20 связей), оформите схему и подготовите 5-7 запросов к будущему графу знаний. отчёт + презентация и защита.
Работа накапливается по шагам: каждую неделю вы дополняете один и тот же проект, а не “сдаёте разрозненные задания”.
❓Что получу в итоге?
Портфолио-результат и понятный навык: как превращать знания в модель, пригодную для аналитики и интеллектуальных сервисов.
✅МФК «Графы знаний в ИТ, ИИ и кибербезопасности» от ВМК https://lk.msu.ru/course/view?id=4118
❓Кому подойдёт курс?
Тем, кто хочет прикладную работу на стыке графовых моделей, анализа данных и кибербезопасности. Желательны базовые навыки программирования (например, Python), понимание сетей/ОС и базовых терминов ИБ.
Если вам интересна прикладная часть (графы, запросы, расследование, конвейеры данных, требования безопасной разработки) — приходите на курс и выбирайте домен для проектного результата.
❓Что будет в содержании?
Модель графа (сущности/связи/ограничения/качество), домен киберугроз (индикаторы компрометации, уязвимости, тактики и техники атак), разведка киберугроз и форматы обмена, расследование инцидентов через графовые запросы, применение ИИ для аналитики с проверяемостью, требования безопасной разработки и эксплуатационная безопасность (в т.ч. SBOM и связь с уязвимостями).
❓Что именно я сделаю “руками”?
• паспорт выбранного домена и реестр источников с ограничениями;
• схема (модель) графа и чек-лист качества;
• первичное наполнение кибер-графа (включая связки «уязвимость → компонент → инцидент → контрмера»);
• конвейер пополнения графа из учебных наборов данных;
• пакет графовых запросов (не менее 7) под сценарии расследования;
• прототип «граф + ИИ» для ответов с атрибуцией источников;
• сценарий учебных учений/мини-соревнования и отчёт прогона;
• финальный «Project Pack» (данные/схема/запросы/документация/демо) и защита.
В течение семестра вы не просто «изучаете темы», а собираете воспроизводимый проектный результат: фрагмент кибер-графа или инструмент анализа (запросы, правила, конвейер
🔥КУРСЫ МФК ПО ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ🔥
В МГУ разрабатывается проект "Ковчег знаний" для решения крайне непростой задачи: разработка когнитивной инфраструктуры знаний. Сейчас при открытии поисковика вы получаете кучу вкладок с текстом. Чтобы получить ответ на конкретный вопрос, нужно перелопатить гору этой информации. Ключевая идея "Ковчега знаний": знание - это не набор текстов, а управляемая структура: сущности (что?), связи (как связано?) и контекст (при каких условиях?), с проверяемым происхождением каждого факта.
Более подробно о проекте можно почитать на странице https://arc.msu.ru/obrazovanie/kovcheg-znanij-mgu-studentam/
💯 ОТКРЫТ НАБОР НА ДВА МФК: один от мехмата, второй - от ВМК! Если вы - студент МГУ любого факультета, можно записаться хотя бы на один из них.
✅МФК «Инженерия знаний и проект “Ковчег знаний МГУ”» от мехмата
https://lk.msu.ru/course/view?id=4113
❓Кому подойдёт курс?
Тем, кто хочет научиться описывать предметные области инженерно: не “пересказом”, а моделью (сущности, связи, типовые вопросы). Подходит студентам разных направлений — от технарей до гуманитариев.
❓Нужно ли программирование?
Жёстких требований нет. Мы учим логике моделирования знаний и требованиям к качеству результата. Технические детали даются ровно в том объёме, который нужен для грамотной постановки и оформления модели.
❓Что именно я сделаю “руками”?
Вы соберете мини-проект: выберете домен, зададите границы, построите ядро модели (8-15 сущностей, 8-20 связей), оформите схему и подготовите 5-7 запросов к будущему графу знаний. отчёт + презентация и защита.
Работа накапливается по шагам: каждую неделю вы дополняете один и тот же проект, а не “сдаёте разрозненные задания”.
❓Что получу в итоге?
Портфолио-результат и понятный навык: как превращать знания в модель, пригодную для аналитики и интеллектуальных сервисов.
✅МФК «Графы знаний в ИТ, ИИ и кибербезопасности» от ВМК https://lk.msu.ru/course/view?id=4118
❓Кому подойдёт курс?
Тем, кто хочет прикладную работу на стыке графовых моделей, анализа данных и кибербезопасности. Желательны базовые навыки программирования (например, Python), понимание сетей/ОС и базовых терминов ИБ.
Если вам интересна прикладная часть (графы, запросы, расследование, конвейеры данных, требования безопасной разработки) — приходите на курс и выбирайте домен для проектного результата.
❓Что будет в содержании?
Модель графа (сущности/связи/ограничения/качество), домен киберугроз (индикаторы компрометации, уязвимости, тактики и техники атак), разведка киберугроз и форматы обмена, расследование инцидентов через графовые запросы, применение ИИ для аналитики с проверяемостью, требования безопасной разработки и эксплуатационная безопасность (в т.ч. SBOM и связь с уязвимостями).
❓Что именно я сделаю “руками”?
• паспорт выбранного домена и реестр источников с ограничениями;
• схема (модель) графа и чек-лист качества;
• первичное наполнение кибер-графа (включая связки «уязвимость → компонент → инцидент → контрмера»);
• конвейер пополнения графа из учебных наборов данных;
• пакет графовых запросов (не менее 7) под сценарии расследования;
• прототип «граф + ИИ» для ответов с атрибуцией источников;
• сценарий учебных учений/мини-соревнования и отчёт прогона;
• финальный «Project Pack» (данные/схема/запросы/документация/демо) и защита.
В течение семестра вы не просто «изучаете темы», а собираете воспроизводимый проектный результат: фрагмент кибер-графа или инструмент анализа (запросы, правила, конвейер
👎1
пополнения), оформленный так, чтобы его можно было проверить, повторить и интегрировать в проектный контур. Итоговая аттестация — защита результата.
❗Материалы курсов и подробная информация выкладываются на сайте ИМИСС МГУ https://arc.msu.ru/mfk-0-inzheneriya-znanij-i-proekt-kovcheg-znanij-mgu/
❗Всем студентам МФК нужно присоединиться в чат ИМИСС https://t.me/+IkJPugRIGjs3NTAy
🔗 МФК-0: Инженерия знаний и проект «Ковчег знаний МГУ» — Ковчег знаний
➰ ВК
❗Материалы курсов и подробная информация выкладываются на сайте ИМИСС МГУ https://arc.msu.ru/mfk-0-inzheneriya-znanij-i-proekt-kovcheg-znanij-mgu/
❗Всем студентам МФК нужно присоединиться в чат ИМИСС https://t.me/+IkJPugRIGjs3NTAy
🔗 МФК-0: Инженерия знаний и проект «Ковчег знаний МГУ» — Ковчег знаний
➰ ВК
Telegram
МФК ИМИСС МГУ
Elena Zubareva invites you to join this group on Telegram.
👎1
#матлог #учёба #спецсеминар
4 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости
Аннотация:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
4 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости
Аннотация:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
🔥1
#матлог #учёба #просеминар
💥В пятницу 6 марта возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Лямбда-исчисление" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025.pdf
➰ ВК
💥В пятницу 6 марта возобновляется работа просеминара по математической логике и информатике!
✨Тема: "Лямбда-исчисление" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
👍1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 4 марта в 14:15.
Доклад будет в онлайн формате.
Будет организована трансляция на большом экране по адресу:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Название: Неочевидные различия между паранепротиворечивой и избыточной версиями конструктивной логики Нельсона
Докладчик: С.П. Одинцов
Аннотация.
Паранепротиворечивая логика Нельсона N4 получается из избыточной логики N3 путем отказа от аксиомы избыточности (или "взрыва"), утверждающей, что противоречие влечёт всё что угодно. Подобным образом возникают многие паранепротиворечивые логики. При этом реляционная и алгебраическая семантика непосредственным образом обобщаются на паранепротиворечивый случай, сохраняется такое свойство, как алгебраизуемость. Чтобы понять особенности паранепротиворечивой логики, нужно посмотреть, как проявляет себя отказ от аксиомы избыточности при переходе к другим языкам. Мы рассмотрим топологический и модальный языки. В первом случае будет определена дуальность Пристли для алгебр Гейтинга, Де Моргана, Клини, и затем на их основе мы определим дуальность Пристли для N3 и N4 и сравним особенности получающихся пространств. В случае модального языка будут определена конструкция, аналогичная алгебре открытых элементов топобулевой алгебры, и показано, как особенности данной конструкции позволяют доказать наличие модальных напарников у расширений логики N3, а также построить примеры расширений логики N4, которые не имеют модальных напарников (модальные напарники N4-расширений определяются как расширения логики BS4, четырёхзначной версии логики S4).
[1] S.P. Odintsov, Priestley duality for paraconsistent Nelson's logic, Studia Logica, (2010) 96:65-93.
[2] D.M. Anishenko, On modal companions of logics with strong negation, Studia Logica, February 2026 (https://link.springer.com/article/10.1007/s11225-025-10225-6).
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 4 марта в 14:15.
Доклад будет в онлайн формате.
Будет организована трансляция на большом экране по адресу:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Название: Неочевидные различия между паранепротиворечивой и избыточной версиями конструктивной логики Нельсона
Докладчик: С.П. Одинцов
Аннотация.
Паранепротиворечивая логика Нельсона N4 получается из избыточной логики N3 путем отказа от аксиомы избыточности (или "взрыва"), утверждающей, что противоречие влечёт всё что угодно. Подобным образом возникают многие паранепротиворечивые логики. При этом реляционная и алгебраическая семантика непосредственным образом обобщаются на паранепротиворечивый случай, сохраняется такое свойство, как алгебраизуемость. Чтобы понять особенности паранепротиворечивой логики, нужно посмотреть, как проявляет себя отказ от аксиомы избыточности при переходе к другим языкам. Мы рассмотрим топологический и модальный языки. В первом случае будет определена дуальность Пристли для алгебр Гейтинга, Де Моргана, Клини, и затем на их основе мы определим дуальность Пристли для N3 и N4 и сравним особенности получающихся пространств. В случае модального языка будут определена конструкция, аналогичная алгебре открытых элементов топобулевой алгебры, и показано, как особенности данной конструкции позволяют доказать наличие модальных напарников у расширений логики N3, а также построить примеры расширений логики N4, которые не имеют модальных напарников (модальные напарники N4-расширений определяются как расширения логики BS4, четырёхзначной версии логики S4).
[1] S.P. Odintsov, Priestley duality for paraconsistent Nelson's logic, Studia Logica, (2010) 96:65-93.
[2] D.M. Anishenko, On modal companions of logics with strong negation, Studia Logica, February 2026 (https://link.springer.com/article/10.1007/s11225-025-10225-6).
➰ ВК
#матлог #спецсеминар #нпммвя
💥Возобновляются заседания семинара "Некоторые применения математических методов в языкознании".
В четверг 5 марта в 18:00 (❗обратите внимание на новое время!) состоится доклад Олега Игоревича Беляева "ЛФГ и категориальные грамматики" в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 5 марта 2026, 18:00-19:30 (новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104.
Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: ЛФГ и категориальные грамматики
Анонс:
Лексико-функциональная грамматика (ЛФГ) [Dalrymple (ed.) 2023] — нетрансформационный лингвистический формализм, описывающий предложение как набор параллельных структур, связанных отношениями соответствия, важнейшими из которых являются две синтаксические репрезентации: структура составляющих (c-структура) и признаковая структура (f-структура). Стандартная ЛФГ основана на контекстно-свободных правилах, однако для семантической композиции применяются формулы линейной логики, связанные с лямбда-термами через изоморфизм Карри-Говарда (Glue Semantics) [Asudeh 2022]. Расширение категориальных механизмов на собственно синтаксическую сторону ЛФГ представляется достаточно перспективным направлением исследования, однако на сегодняшний день известна лишь одна такая попытка: предложенная Р. Мускенсом λ-LFG [Muskens 2001], которая не получила широкого применения. Основными препятствиями на пути развития категориальных подходов представляются следующие фундаментальные особенности архитектуры ЛФГ: (1) противопоставление структур и их описаний, в частности, механизм функциональной неопределённости (functional uncertainty); (2) нелексикализованность этой модели и связанная с этим неконфигурационность синтаксических репрезентаций. В докладе будет представлен общий обзор ЛФГ, Glue Semantics и λ-LFG, критический обзор этих подходов с целью начать дискуссию о возможности интеграции ЛФГ и категориальных грамматик.
Литература
1. Dalrymple, Mary (ed.). 2023. Handbook of Lexical Functional Grammar. (Empirically Oriented Theoretical Morphology and Syntax 13). Berlin: Language Science Press (главы 1–2, 22). URL: https://langsci-press.org/catalog/book/312
2. Asudeh, Ash. 2022. Glue Semantics. Annual Review Linguistics. 8:321-341. URL: https://www.annualreviews.org/content/journals/10.1146/annurev-linguistics-032521-053835
3. Muskens, Reinhard. 2001. Categorial Grammar and Lexical-Functional Grammar. Miriam Butt & Tracy Holloway King (eds.). Proceedings of the LFG01 Conference. Stanford: CSLI Publications. URL: https://web.stanford.edu/group/cslipublications/cslipublications/LFG/6/pdfs/lfg01muskens.pdf
➰ ВК
💥Возобновляются заседания семинара "Некоторые применения математических методов в языкознании".
В четверг 5 марта в 18:00 (❗обратите внимание на новое время!) состоится доклад Олега Игоревича Беляева "ЛФГ и категориальные грамматики" в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 5 марта 2026, 18:00-19:30 (новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104.
Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: ЛФГ и категориальные грамматики
Анонс:
Лексико-функциональная грамматика (ЛФГ) [Dalrymple (ed.) 2023] — нетрансформационный лингвистический формализм, описывающий предложение как набор параллельных структур, связанных отношениями соответствия, важнейшими из которых являются две синтаксические репрезентации: структура составляющих (c-структура) и признаковая структура (f-структура). Стандартная ЛФГ основана на контекстно-свободных правилах, однако для семантической композиции применяются формулы линейной логики, связанные с лямбда-термами через изоморфизм Карри-Говарда (Glue Semantics) [Asudeh 2022]. Расширение категориальных механизмов на собственно синтаксическую сторону ЛФГ представляется достаточно перспективным направлением исследования, однако на сегодняшний день известна лишь одна такая попытка: предложенная Р. Мускенсом λ-LFG [Muskens 2001], которая не получила широкого применения. Основными препятствиями на пути развития категориальных подходов представляются следующие фундаментальные особенности архитектуры ЛФГ: (1) противопоставление структур и их описаний, в частности, механизм функциональной неопределённости (functional uncertainty); (2) нелексикализованность этой модели и связанная с этим неконфигурационность синтаксических репрезентаций. В докладе будет представлен общий обзор ЛФГ, Glue Semantics и λ-LFG, критический обзор этих подходов с целью начать дискуссию о возможности интеграции ЛФГ и категориальных грамматик.
Литература
1. Dalrymple, Mary (ed.). 2023. Handbook of Lexical Functional Grammar. (Empirically Oriented Theoretical Morphology and Syntax 13). Berlin: Language Science Press (главы 1–2, 22). URL: https://langsci-press.org/catalog/book/312
2. Asudeh, Ash. 2022. Glue Semantics. Annual Review Linguistics. 8:321-341. URL: https://www.annualreviews.org/content/journals/10.1146/annurev-linguistics-032521-053835
3. Muskens, Reinhard. 2001. Categorial Grammar and Lexical-Functional Grammar. Miriam Butt & Tracy Holloway King (eds.). Proceedings of the LFG01 Conference. Stanford: CSLI Publications. URL: https://web.stanford.edu/group/cslipublications/cslipublications/LFG/6/pdfs/lfg01muskens.pdf
➰ ВК
Google Docs
НПММвЯ: доклад Ани Шатских 7 мая
Заседание пройдет в четверг 7 мая в 18:00 очно в Математическом институте им. В.А. Стеклова РАН с возможностью онлайн-подключения.
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
#матлог #конференции
🥳 Регистрация участников на конференцию "Ломоносов" продлена до 9 марта (включительно).
👉 Зарегистрироваться можно по ссылке https://lomonosov-msu.ru/rus/event/10500/
❗Вместе с заявкой участник также должен прикрепить тезисы своего выступления. Правила оформления тезисов Вы можете найти по ссылке: https://lomonosov-msu.ru/rus/event/10500/page/5067. Наличие тезисов - необходимое условие допуска к участию.
➰ ВК
🥳 Регистрация участников на конференцию "Ломоносов" продлена до 9 марта (включительно).
👉 Зарегистрироваться можно по ссылке https://lomonosov-msu.ru/rus/event/10500/
❗Вместе с заявкой участник также должен прикрепить тезисы своего выступления. Правила оформления тезисов Вы можете найти по ссылке: https://lomonosov-msu.ru/rus/event/10500/page/5067. Наличие тезисов - необходимое условие допуска к участию.
➰ ВК
#матлог #учёба #спецсеминар
6 марта (пятница) в 18:30 состоится заседание семинара "Mathematical Logic and Category Theory" (online)
Для получения ссылки для подключения пишите на почту azazanayupov@gmail.com
Страница семинара: https://mlct-seminar.online/
Тема доклада: The Mathematical Infinite as an Illusion.
Докладчик: Graham Priest (Distinguished Professor of the Graduate Center of the City University of New York).
Аннотация: In this talk I will describe a view of mathematical reality to the effect that:
- there is only a finite number of things
- that there is an infinite number of things is, in a sense to be made clear, an illusion
- paradox is an integral aspect of the illusion
The view is made possible by an important technical result in the model-theory of paraconsistent logic: the Collapsing Lemma.
➰ ВК
6 марта (пятница) в 18:30 состоится заседание семинара "Mathematical Logic and Category Theory" (online)
Для получения ссылки для подключения пишите на почту azazanayupov@gmail.com
Страница семинара: https://mlct-seminar.online/
Тема доклада: The Mathematical Infinite as an Illusion.
Докладчик: Graham Priest (Distinguished Professor of the Graduate Center of the City University of New York).
Аннотация: In this talk I will describe a view of mathematical reality to the effect that:
- there is only a finite number of things
- that there is an infinite number of things is, in a sense to be made clear, an illusion
- paradox is an integral aspect of the illusion
The view is made possible by an important technical result in the model-theory of paraconsistent logic: the Collapsing Lemma.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
6 марта (пятница) в 18:30 состоится заседание семинара "Mathemati... Смотрите полностью ВКонтакте.
6 марта (пятница) в 18:30 состоится заседание семинара "Mathemati... Смотрите полностью ВКонтакте.
🔥2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 06.03.2026 в 16:20
Язык доклада: английский.
Докладчик: Стас Кикоть
Название: Переформулировка запросов относительно представлений и интерполяция Крейга.
Аннотация.
В докладе пойдет речь о задаче "по набору представлений базы данных и запросу в терминах базовых таблиц определить, можно ли переформулировать запрос в терминах таблиц-представлений" и её связи с интерполяцией Крейга. Все необходимые понятия будут введены по ходу доклада.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 06.03.2026 в 16:20
Язык доклада: английский.
Докладчик: Стас Кикоть
Название: Переформулировка запросов относительно представлений и интерполяция Крейга.
Аннотация.
В докладе пойдет речь о задаче "по набору представлений базы данных и запросу в терминах базовых таблиц определить, можно ли переформулировать запрос в терминах таблиц-представлений" и её связи с интерполяцией Крейга. Все необходимые понятия будут введены по ходу доклада.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (www.mathnet.ru/rus/conf876), Monday 16:00 MSK (UTC+3), online only
09.03.2026, Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), Raheleh Jalali (Univeristy of Bath, https://sites.google.com/view/rahelehjalali): The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics (onilne)
A longstanding challenge in proof complexity is to prove lower bounds on proof size in the classical sequent calculus. This talk sheds new light on this problem by isolating the contribution of individual structural rules. We show that the combined strength of contraction and weakening rules far exceeds that of any one of them in isolation. By restricting these rules one at a time, we obtain exponential or sub-exponential proof-size lower bounds for formulas that nevertheless admit short classical proofs. The results demonstrate that classical proof efficiency arises from the combination of structural rules.
➰ ВК
Logic Online Seminar (www.mathnet.ru/rus/conf876), Monday 16:00 MSK (UTC+3), online only
09.03.2026, Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), Raheleh Jalali (Univeristy of Bath, https://sites.google.com/view/rahelehjalali): The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics (onilne)
A longstanding challenge in proof complexity is to prove lower bounds on proof size in the classical sequent calculus. This talk sheds new light on this problem by isolating the contribution of individual structural rules. We show that the combined strength of contraction and weakening rules far exceeds that of any one of them in isolation. By restricting these rules one at a time, we obtain exponential or sub-exponential proof-size lower bounds for formulas that nevertheless admit short classical proofs. The results demonstrate that classical proof efficiency arises from the combination of structural rules.
➰ ВК
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
9 March, 18:30 MSK
We will continue the talk of Alexey Milovanov
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here: https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
9 March, 18:30 MSK
We will continue the talk of Alexey Milovanov
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here: https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
➰ ВК
❤1
#матлог #наука #конференция
Ontology and Semantics at the Intersection of Linguistics, Computer Science, and Philosophy
Semantics and Philosophy in Europe (SPE 13) & OntoBRIX
PTH Brixen College, Bressanone, Italy, 8.–9. June 2026
Website:
https://sites.google.com/view/spe13-ontobrix2026/
============================
Since some decades, ontology is used for supporting semantic analysis, both in linguistics and computing. In both fields, this leads to intensive interdisciplinary discussions between these fields and philosophical ontology. This colloquium aims at providing an interdisciplinary forum for researchers from relevant disciplines such as linguistics, computing science, information science, and philosophy. It brings together instalments of two series of events:
The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics, and philosophy of mathematics).
This year's colloquium Semantics and Philosophy in Europe (SPE13) wants to foster the dialogue between applied ontology, linguistics, and philosophy.
The newly named OntoBRIX series intends to connect researchers from the Euroregio Tyrol–South Tyrol–Trentino and beyond; it has been inaugurated with a meeting in Brixen in 2023.
============================
Call for Abstracts
Deadline for submission: 10. March 2026
Notification of acceptance: 30. March 2026
Website: https://sites.google.com/view/spe13-ontobrix2026/call-for-abstracts
============================
Submissions
We invite submissions of two kinds:
SEP Regular Papers: Present your recent research results. For these submissions, we will assign slots of 30 minutes (plus discussion). Please submit a short abstract of ca. 500 words together with an extended abstract of at most two pages.
OntoBrix Flash Talks: Update the community on your ontology projects. This format is especially aimed at (but not restricted to) researchers from the Euregio Tyrol–South Tyrol–Trentino. We will assign 10–15 minutes for the flash talks. Please submit a short abstract of ca. 500 words.
Please submit your paper here (Google registration required): https://forms.gle/U2UjQ7Bkr2jxxa688
For more details on venue, accommodation, and conference fees and registration, please visit the colloquium:
https://sites.google.com/view/spe13-ontobrix2026/
For further information, please address all inquiries to ontobrix@gmail.com.
SPE13 and OntoBRIX Organisation Committee
Riccardo Baratella, University of Genova
Ludger Jansen, PTH Brixen College & University of Rostock
Christian Kanzian, University of Innsbruck
Giorgio Ubbiali, PTH Brixen College
Advisor for SPE:
Friederike Moltmann, Centre National de la Recherche Scientifique (CNRS), Nice
➰ ВК
Ontology and Semantics at the Intersection of Linguistics, Computer Science, and Philosophy
Semantics and Philosophy in Europe (SPE 13) & OntoBRIX
PTH Brixen College, Bressanone, Italy, 8.–9. June 2026
Website:
https://sites.google.com/view/spe13-ontobrix2026/
============================
Since some decades, ontology is used for supporting semantic analysis, both in linguistics and computing. In both fields, this leads to intensive interdisciplinary discussions between these fields and philosophical ontology. This colloquium aims at providing an interdisciplinary forum for researchers from relevant disciplines such as linguistics, computing science, information science, and philosophy. It brings together instalments of two series of events:
The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics, and philosophy of mathematics).
This year's colloquium Semantics and Philosophy in Europe (SPE13) wants to foster the dialogue between applied ontology, linguistics, and philosophy.
The newly named OntoBRIX series intends to connect researchers from the Euroregio Tyrol–South Tyrol–Trentino and beyond; it has been inaugurated with a meeting in Brixen in 2023.
============================
Call for Abstracts
Deadline for submission: 10. March 2026
Notification of acceptance: 30. March 2026
Website: https://sites.google.com/view/spe13-ontobrix2026/call-for-abstracts
============================
Submissions
We invite submissions of two kinds:
SEP Regular Papers: Present your recent research results. For these submissions, we will assign slots of 30 minutes (plus discussion). Please submit a short abstract of ca. 500 words together with an extended abstract of at most two pages.
OntoBrix Flash Talks: Update the community on your ontology projects. This format is especially aimed at (but not restricted to) researchers from the Euregio Tyrol–South Tyrol–Trentino. We will assign 10–15 minutes for the flash talks. Please submit a short abstract of ca. 500 words.
Please submit your paper here (Google registration required): https://forms.gle/U2UjQ7Bkr2jxxa688
For more details on venue, accommodation, and conference fees and registration, please visit the colloquium:
https://sites.google.com/view/spe13-ontobrix2026/
For further information, please address all inquiries to ontobrix@gmail.com.
SPE13 and OntoBRIX Organisation Committee
Riccardo Baratella, University of Genova
Ludger Jansen, PTH Brixen College & University of Rostock
Christian Kanzian, University of Innsbruck
Giorgio Ubbiali, PTH Brixen College
Advisor for SPE:
Friederike Moltmann, Centre National de la Recherche Scientifique (CNRS), Nice
➰ ВК
Google
OntoBRIX_2026
PTH Brixen College, Bressanone, Italy, 8-10 June 2026
❤1
#матлог #учёба #спецсеминар
11 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2
Аннотация:
Мы разберём результат об определимости сложения и умножения в структуре (N; s, |) — отношение делимости и покажем, что (N; +, *, =) интерпретируема в (N; s, \bot) [где \bot — отношение взаимной простоты, т.е. x \bot y означает, что x и y не имеют общих простых делителей]. Также мы обсудим связь определимости сложения и умножения в (N; s, \bot) с гипотезой Эрдёша–Вудса.
Общая аннотация серии:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
11 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2
Аннотация:
Мы разберём результат об определимости сложения и умножения в структуре (N; s, |) — отношение делимости и покажем, что (N; +, *, =) интерпретируема в (N; s, \bot) [где \bot — отношение взаимной простоты, т.е. x \bot y означает, что x и y не имеют общих простых делителей]. Также мы обсудим связь определимости сложения и умножения в (N; s, \bot) с гипотезой Эрдёша–Вудса.
Общая аннотация серии:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
#матлог #спецсеминар #нпммвя
В ближайший четверг 12 марта в 18:00 состоится продолжение доклада Олега Игоревича Беляева «ЛФГ и категориальные грамматики» на семинаре «Некоторые применения математических методов в языкознании» в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 12 марта, 18:00-19:30 (❗новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
➰ ВК
В ближайший четверг 12 марта в 18:00 состоится продолжение доклада Олега Игоревича Беляева «ЛФГ и категориальные грамматики» на семинаре «Некоторые применения математических методов в языкознании» в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 12 марта, 18:00-19:30 (❗новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
➰ ВК
Google Docs
НПММвЯ: доклад Ани Шатских 7 мая
Заседание пройдет в четверг 7 мая в 18:00 очно в Математическом институте им. В.А. Стеклова РАН с возможностью онлайн-подключения.
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
16.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, https://www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
➰ ВК
Семинар отдела математической логики МИАН, Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
16.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, https://www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 13.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.
Дата и время: 13.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.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #просеминар
💥В пятницу 13 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Лямбда-исчисление (продолжение)" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025_dop.pdf
➰ ВК
💥В пятницу 13 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Лямбда-исчисление (продолжение)" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025_dop.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #семинар #не_мехмат #ВШЭ #отмены
В эту пятницу 13.03.26 заседание НИСа "Современные проблемы математической логики" в ВШЭ ОТМЕНЯЕТСЯ.
Первый из двух докладов Льва Дворкина переносится на 20.03.26.
➰ ВК
В эту пятницу 13.03.26 заседание НИСа "Современные проблемы математической логики" в ВШЭ ОТМЕНЯЕТСЯ.
Первый из двух докладов Льва Дворкина переносится на 20.03.26.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ #отмены
В эту пятницу 13.03.26 заседание НИСа "Соврем... Смотрите полностью ВКонтакте.
В эту пятницу 13.03.26 заседание НИСа "Соврем... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
16 March, 18:30 MSK
We will have the third edition of Alexey Milovanov's talk.
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here:
https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
16 March, 18:30 MSK
We will have the third edition of Alexey Milovanov's talk.
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here:
https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
#матлог #учёба #спецсеминар
В среду 18 марта заседания Рабочего семинара по математической логике (www.mathnet.ru/conf2533) не будет.
Следующее заседание — 25 марта.
18 марта в 15:00 в МИАН + онлайн будет Коллоквиум МИАН — ПОМИ с докладом Д.В. Карпова (ПОМИ, г. Санкт-Петербург) «Вокруг гипотезы о 4 красках». Подробнее см. https://www.mathnet.ru/php/seminars.phtml?presentid=49518
Аннотация: Будет рассказано об истории знаменитой гипотезы о 4 красках, попытках ее решения – удачных и неудачных, об эквивалентных переформулировках и задачах. Кроме того, будет рассказано о родственных 4СС задачах, имеющих решение без компьютерного перебора, в частности, о раскраске графов, которые могут быть изображены на плоскости так, что каждое ребро пересекает одно или два других.
В среду 18 марта заседания Рабочего семинара по математической логике (www.mathnet.ru/conf2533) не будет.
Следующее заседание — 25 марта.
18 марта в 15:00 в МИАН + онлайн будет Коллоквиум МИАН — ПОМИ с докладом Д.В. Карпова (ПОМИ, г. Санкт-Петербург) «Вокруг гипотезы о 4 красках». Подробнее см. https://www.mathnet.ru/php/seminars.phtml?presentid=49518
Аннотация: Будет рассказано об истории знаменитой гипотезы о 4 красках, попытках ее решения – удачных и неудачных, об эквивалентных переформулировках и задачах. Кроме того, будет рассказано о родственных 4СС задачах, имеющих решение без компьютерного перебора, в частности, о раскраске графов, которые могут быть изображены на плоскости так, что каждое ребро пересекает одно или два других.
👍1