#мехмат_студентам #мехмат_кафедры

Уважаемые студенты второго курса!

Во вторник, 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.

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 10.04.2026 в 16:20

Докладчик: Павел Разумный

Тема: Слабая полнота логики QGL, расширенной нефундированными выводами, в сигнатуре с функциональными символами.

Аннотация: Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Ранее Д. С. Шамкановым и П. Разумным было доказано, что в случае чисто предикатной сигнатуры эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о слабой полноте для случая произвольной сигнатуры.

#матлог #учёба #просеминар

💥В пятницу 10 апреля состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: By myself (А.А.Оноприенко)
✨Аннотация. Центральное место в математической логике занимает тема самореферентности - то есть предложений, говорящих о самих себе. Занятие представляет собой введение в теоремы Гёделя о неполноте через серию занимательных задач.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 by-myself.pdf

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, 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.

#матлог #спецсеминар #нпммвя

В четверг 16 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского c докладом Евгения Александровича Уланского (Санскриториум) "Устройство санскритской грамматики Панини".

Время: 16.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.

Ссылка для регистрации: https://forms.gle/jTVnJdkxDHt6y8Wr9
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)

Тема: Устройство санскритской грамматики Панини

Анонс:
Древнеиндийский лингвист Панини в IV веке до н. э. составил грамматику санскрита, позже названную "Аштадхьяйи" (буквально "Восьмикнижие"). Это предписательная грамматика, составленная в жанре "сутра" (буквально "нить"), в котором на повествовательную нить словно жемчужины нанизываются краткие ёмкие формулировки правил грамматики, каждую из которых в отдельности также принято называть сутрой. Изложение носит алгоритмический характер, и иногда Панини называют первым в истории программистом.
В докладе будет представлен инвентарь и принципы устройства грамматики Панини, перечислены типы сутр, описаны грамматические темы, затронутые в "Восьмикнижии", и уровни абстракции правил.

#матлог #наука #конференция

В среду 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)”.
В языке модальной логики первого порядка аналогичное различие достигается посредством введения связывающей модальности. В докладе будет рассмотрена логика, объединяющая свидетельские термы и связывающие модальности. Мы определим модели Фиттинга для этой логики, позволяющие учитывать означивание переменных, а также приведем примеры явно построенных моделей. Будет сформулирована теорема о сильной полноте и представлена идея ее доказательства. Спецификой рассматриваемой логики является переопределённое понятие формулы, которое упрощает работу с семантикой.

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 17.04.2026 в 16:20

Докладчик: Елена Попова

Тема: Логики свидетельств. Введение

Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.

#матлог #учёба #просеминар

💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.

✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), online only

20.04.2026, Proof Society Seminar (https://www.proofsociety.org/activities-and-resources/proof-society-seminar/), Albert Visser (Utrecht University, https://www.uu.nl/staff/AVisser): Markov Coding (online talk)

In this talk, I discuss an alternative to coding sequences over arithmetic using the betafunction. We employ a basic insight, going back to Jacob Nielsen, that the monoid of SL_2(Z)-matrices with nonnegative integer coefficients is isomorphic to the free monoid of binary strings.This idea was employed by Andrej Markov jr for metamathematical purposes. The Markov coding allows us to do the first steps of arithmetisation in an entirely quantifier-free way. We discuss three basic results. First, the most important good properties that we have for the Markov coding over the integers generalise to arbitrary discretely ordered commutative rings. The non-trivial property in this context is Tarski’s Editor Property. This insight yields an alternative proof that PA^- is sequential. If time allows, we will have a brief look at how the coding behaves in some salient rings. Secondly, we have a variant of the incompleteness result by Amala Bezboruah and John Shepherdson. PA^- plus all true universal sentences does not prove the consistency of an extremely weak theory when proofs are coded Markov-style. Thirdly, we do not seem to get Löb’s Logic over PA^- when we use the Markov coding, but we still get a decent provability logic. For example, we have the uniqueness of modalised fixed points. So, e.g., modulo provable equivalence, there is just one Gödel sentence. A nice puzzle: I am more or less sure that the consistency statement for PA^- is not equivalent to its Gödel sentence, but I do not currently have a counterexample.

The Proof Society Seminar features leading researchers in proof theory and related areas of logic. Talks are held online via Zoom, usually on Mondays, approximately once per month. They begin at 13:00 UTC and last up to 75 minutes, followed by questions.

#матлог #учёба #просеминар

В дополнение к объявлению о просеминаре 17 апреля выкладываем листочек с задачами!

📝 Булевы алгебры.pdf

#матлог #учёба #спецсеминар

22 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

А. С. Закиров, С. А. Славнов, М. А. Чурилов

Совместная логика задач и высказываний и поляризованные логики

Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.

Докладчик: Сергей Славнов.