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

11 и 18 февраля 2025 г., в 16:00 на семинаре НОЦ МИАН «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова и С.О. Сперанского будет следующий доклад (в двух частях):

С.Л. Кузнецов, Т.Г. Пшеницын (МИАН)

Исчисление Ламбека с операцией круллева пересечения

Исчисление Ламбека — это субструктурная логика, т. е. логика без правил сокращения, ослабления и перестановки. Одним из естественных классов моделей для исчисления Ламбека являются модели на алгебрах бинарных отношений (R-модели). В рамках доклада будет рассмотрено расширение исчисления Ламбека с помощью операции круллева пересечения, т. е. пересечения степеней данного элемента (начиная с первой). Эта операция в некотором смысле двойственна операции взятия транзитивного замыкания (положительной итерации Клини). В первой части доклада будут доказаны теоремы об устранении сечения, о полноте относительно R-моделей, а также верхняя оценка алгоритмической сложности для исчисления Ламбека с операцией круллева пересечения. Вторая часть будет посвящена доказательству нижней оценки сложности.

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

🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&


➰ ВК

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

В этом семестре В.Е.Плиско прочитает спецкурс "Конструктивная логика".

Первая лекция: 14 февраля

Место проведения: МГУ, ауд. 425

Время проведения: пятница, 18:30 - 20:05

Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/7193

🔗 Конструктивная логика | Спецкурсы и спецсеминары механико-математического факультета МГУ


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 12 февраля.
Время проведения семинара 14:30.

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.

МФТИ, радиотехнический корпус, ауд. РТ 113
Институтский пер., 9, стр. 1, Долгопрудный

Ссылка на яндекс-карту с пешим маршрутом от ст. Новодачная:
https://yandex.ru/maps/213/moscow/?ll=37.519439%2C55.929820&mode=routes&rtext=55.924397%2C37.527944~55.929869%2C37.516242&rtt=mt&ruri=ymapsbm1%3A%2F%2Ftransit%2Fstop%3Fid%3Dstation__lh_9601261~ymapsbm1%3A%2F%2Forg%3Foid%3D1109621791&utm_source=share&z=16

Заседание пройдет очно без трансляции.

Докладчик: Александр Колпащиков

Название: Введение в логику норм: проблемы и примеры.

Доклад представляет собой изложение наиболее известных вопросов деонтической логики - раздела логики, исследующего формализацию таких нормативных концепций, как моральный долг, обязательства, правовые нормы и т.д. Также будут рассмотрены основные системы аксиом, некоторые их модификации и соответствующие семантические структуры.

➰ ВК

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

В этом семестре В.А.Любецкий продолжит чтение годового спецкурса "Современные методы обработки данных".

Первая лекция: 24 февраля

Место проведения: удалённо

Время проведения: понедельник, 16:45 - 18:30

Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6467

Можно сдавать как годовой спецкурс, так и полугодовую "половинку".
Название полугодовой "половинки": "Компьютерный анализ клеточных типов"
Страница в базе мехмата: https://scs.math.msu.ru/ru/node/6471

Аннотация.
Будет рассмотрен весьма сложный эвристический алгоритм, который ставит много математических проблем и также широко применяется в прикладных задачах из многих предметных областей (желательно программирование и счёт реальных прикладных задач, которые будут предложены).
Предварительных знаний не требуется.

❗До начала курса каждому слушателю записаться у К.Ю. Горбунова gorbunov@iitp.ru, сообщив ФИО, группу, почту, мобильный.
Студенты, работающие с Любецким В.А. (курсовая, дипломная, аспирантура), обязательно посещают курс!

🔗 Современные методы обработки данных | Спецкурсы и спецсеминары механико-математического факультета М


➰ ВК

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

В этом семестре В.Б.Шехтман прочитает спецкурс "Временные логики”".

Первая лекция: 13 февраля

Место проведения: МГУ, 2 гум. корп., ауд. 424

Время проведения: четверг, 16:45 - 18:05

Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6979

Аннотация.
Временные логики составляют класс модальных логик, в которых модальности интерпретируются как временные связки (“всегда будет”, “было вчера” и др.). Эти логики часто оказываются разрешимыми и успешно применяются в компьютерных науках. В курсе дается введение в эту обширную область. Рассматриваются различные логики дискретного, непрерывного и ветвящегося времени. Доказываются результаты об аксиоматизируемости, разрешимости и определимости.

Пререквизиты: основной курс "Введение в математическую логику и теорию алгоритмов".

🔗 Временные логики | Спецкурсы и спецсеминары механико-математического факультета МГУ


➰ ВК

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

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

14 февраля 2025 г.
Г. Г. Черевиченко
Интерпретация Гёделя.
Гёдель предложил некий способ устранения кванторов, похожий на введение скулемовских функций, но пригодный для интуиционистской арифметики. Арифметика при этом "погружается" в некоторую теорию без кванторов, но содержащую гораздо больше функциональных символов (в частности, для всех примитивно рекурсивных функций, но не только для них). Это даёт очень ясное описание, о каких вычислимых функциях можно говорить в арифметике (какие функции доказуемо общерекурсивны). Кроме того, Гёдель рассматривал эту интерпретацию как некоторое доказательство непротиворечивости арифметики.

➰ ВК

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

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

On Monday February 17, Time: 18:30 (MSK), 16:30 (CET) we have a talk of Sasha Kozachinskiy on computable online learning.

In the online learning setting, a learner receives an input x_1 to an unknown function f from a known hypothesis class H. The learner has to guess f(x_1). Then the learner receives the real value f(x_1), and the process repeats for x_2, x_3, and so on. The minimal number of mistakes that one can achieve on a hypothesis class H is known to be equal to the so-called Littlestone dimension of H.

What if the learner has to be computable? Or if the Littlestone dimension ''effective''? We will establish relationships between different versions of online learning when we impose computability conditions. Joint with Valentino Delle Rose and Tomasz Steifer.

➰ ВК

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

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

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

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Кирилл Александров

Название: Сложность линейно аппроксимируемых расширений базисной пропозициональной логики

Аннотация:
Изучение алгоритмических свойств логик исторически было связано с оцениванием размера наименьших шкал Крипке, отделяющих формулы от логик. Для логики L, полной относительно некоторого класса конечных шкал Крипке, оценка размера наименьших шкал Крипке логики L, опровергающих формулы определенной длины, проводится с помощью функции сложности, которая по длине формулы говорит, какого размера шкалы Крипке логики L достаточно использовать , чтобы опровергнуть формулы не из L данной длины.
Интерес к функции сложности логики связан с долгим убеждением, что ее характер (полиномиальный, экспоненциальный и др.) напрямую связан со сложностью логики, однако Хемаспаандра установила существование нормальных модальных логик с линейной функцией сложности и неразрешимым унарным фрагментом. М.Н. Рыбаков и Д.П. Шкатов расширили её результаты, а именно показали, что для любой степени неразрешимости существуют нормальные расширения модальных логик KTB, K4, GL, Grz с линейными функциями сложности и константными или унарными фрагментами с данной степенью неразрешимости, а также доказали существование суперинтуиционистских пропозициональных логик с похожими свойствами. Мы расширим данный результат на случай базисной пропозициональной логики BPL, которая представляет собой логику класса шкал Крипке с транзитивным и антисимметричным отношением достижимости, а именно покажем, что для любой степени неразрешимости существует линейно аппроксимируемая логика, расширяющая BPL, константный фрагмент которой имеет данную степень неразрешимости.

🔗 Логика в Москве


➰ ВК

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

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)

17.02.2025, jointly with S.I. Adian seminar

Alexei Miasnikov (Stevens Institute of Technology): First-order classification, non-standard models, and interpretations (online)

In this talk I will focus on three things:

1. First-order classification: in particular, how one can describe ALL groups which are first-order equivalent to a given one.

2. Non-standard models of groups: in particular, I will describe non-standard models of the finitely generated groups with decidable or recursively enumerable (or arithmetic) word problems and explain how they naturally appear as non-standard Z-points of the general algebraic schemes.

3. Theory of interpretations: it seems a new rich theory is emerging right now. I will show several interesting results based on interpretations.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК

#матлог #не_мехмат #ВШЭ

В пятницу 21 февраля 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Л.Д. Беклемишева на тему "Циклические доказательства".

Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/

Место проведения: Покровский бульвар 11, аудитория R205.

🔗 Математический семинар


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 февраля.
Время проведения семинара 14:30.

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.

‼ВНИМАНИЕ Место поменялось.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

Докладчик: М.Н.Рыбаков (ВШМ МФТИ, НИУ ВШЭ, ТвГУ)
Тема: Погружение интуиционистской и близких логик в их фрагменты от одной-двух переменных

Аннотация:

Известно, что интуиционистская пропозициональная логика Int PSPACE-полна, причём PSPACE-полным является даже её импликативный фрагмент (R.Statman, 1979). Чуть ранее А.В.Кузнецов высказывал предположение, что Int полиномиально финитно аппроксимируема шкалами Крипке (и, как следствие, полиномиально погружается в классическую логику Cl). Это оказалось не так, что следует как из доказательства PSPACE-трудности Int, так и из результатов М.В.Захарьящева о сложности аппроксимации Int шкалами Крипке, полученных примерно в то же время. Тем не менее, фрагмент Int от одной переменной полиномиально финитно аппроксимируем и полиномиально разрешим (благодаря т.н. лестнице Ригера--Нишимуры). А.В.Чагров высказывал гипотезу о том, что полиномиально разрешимым будет любой фрагмент Int от конечного множества переменных (заметим, что для Cl это именно так и есть). В монографии [A.Chagrov, M.Zakharyaschev. Modal Logic. 1997] сформулирована соответствующая проблема (Problem 18.4), где вопросы о полиномиальной финитной аппроксимируемости и полиномиальной разрешимости ставятся для фрагмента Int от двух переменных и фрагментов S4, Grz и других стандартных модальных логик от одной переменной. На момент публикации этой монографии сложность фрагментов от одной переменной логик K, T, S4 была установлена (E.Spaan, 1993; J.Halpern, 1995), а в отношении Int долгое время ответа не было. Ответ для Int был получен докладчиком в 2004 году. В доказательстве возникла конструкция, позволившая обосновать PSPACE-трудность фрагментов от двух переменных всех логик между Int и логикой слабого закона исключённого третьего. Много позже эта конструкция была использована в решении алгоритмических вопросов для суперинтуиционистских предикатных логик, а недавно — для модальных интуиционистских логик, таких как MIPC (известна как IK — интуиционистская K), FS (известна как IS5) и других. Некоторые из полученных результатов опубликованы в совместных работах с Д.П.Шкатовым, в частности, касающиеся модальных интуиционистских логик.

В докладе предполагается (а) представить и обсудить используемую в доказательствах конструкцию, позволяющую полиномиально погрузить всю логику в её фрагмент от одной-двух переменных, (б) представить недавно полученные совместно с Д.П.Шкатовым результаты, а также (в) рассказать о некоторых следствиях, в т.ч. полученных совместно с А.А.Оноприенко (касаются логики HC, 2024г.) и М.И.Щербаковым (касаются логики GL.2, 2025г.).

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия

21 февраля (пятница) в 19.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"

Тема доклада: Applying the theory of quasi-truth for clarification of cognitive distortions

Докладчики: Ricardo Peraça Cavassane (University of Campinas), Виктория Денисова (НИУ ВШЭ)

Аннотация: We begin by examining Beck's cognitive model, focusing on its three key components: the cognitive triad, schemas, and cognitive errors. Our analysis emphasizes cognitive errors, particularly cognitive distortions, as a subset of these errors. The presentation then delves into a systematic review of Beck's identified thinking errors. We argue that many cognitive distortions can be understood as errors in deductive reasoning, often stemming from invalid premises or flawed logical forms. By applying principles of the theory of quasi-truth, we demonstrate how cognitive distortions can be reframed as instances of reasoning with inconsistent or incomplete information and negative assumptions. That is, by adding negative assumptions to the set of primary sentences P of a simple pragmatic structure A, the individual can only construct the A-normal structures which are consistent with those assumptions and, therefore, can only come to negative quasi-true conclusions. This approach provides a more nuanced understanding of how individuals with depression process information and make inferences about themselves, their experiences, and their future

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1016973796.html

➰ ВК

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

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

21 февраля 2025 г.
Г. Г. Черевиченко
Трудности с определением подстановки.
Подстановку мы обычно не пишем явно и поэтому не замечаем. При попытке же что-то о ней строго доказать неожиданно оказывается, что это мучительно трудно. В большинстве случаев трудности замалчивают (например, почти никто не проверяет кванторные правила при определении моделей Крипке). На примере моделей Крипке докладчик опишет трудности и предложит свой подход к их решению.

➰ ВК

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

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)

24.02.2025 Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I

Н. Л. Поляков, Д. И. Савельев (докладчик)

При рассмотрении канонических ультрарасширений многоместных операций естественно возникают отношения на ультрафильтрах, обобщающие классический предпорядок Рудин – Кейслера (задающийся одноместными операциями). Возрастающую цепь этих отношений можно продолжить трансфинитно. Оказывается, что объединение всех полученных отношений даёт другое хорошо известное отношение на ультрафильтрах – предпорядок Комфорта. Будет показано, как вычисляется композиция этих отношений; как следствие, будет установлено, что отношение является предпорядком тогда, и только тогда, когда его индекс является мультипликативно неразложимым ординалом. Также будут представлены некоторые теоретико-модельные приложения, значительно обобщающие ранее известные результаты.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК

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

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (https://www.mathnet.ru/eng/conf876)

03 March 2025, 13:00 UTC, the Proof Society Seminar

Speaker: Henry Towsner (University of Pennsylvania, https://www.sas.upenn.edu/~htowsner/)

Title: Proofs that Modify Proofs

Abstract: In this talk, we outline an approach to cut-elimination for full second order arithmetic using a modified form of the Buchholz Omega-rule. The usual Buchholz Omega-rule is a rule branching over ("small") deductions; this method works for systems around the strength of Pi11-comprehension, but breaks down approaching Pi12-comprehension.

We describe an extended sequent calculus in which the cut-elimination functions can themselves be represented by non-well-founded deductions. The Omega-rule can then be reinterpreted as a rule which takes a function as a premise. The extension to Pi12-comprehension then requires us to work with functionals---that is, functions on functions---and iterating through the finite types extends the method to full second order arithmetic. We will also briefly describe how to assign "ordinals" to non-well-founded deductions to extract an ordinal analysis from the cut-elimination algorithm.

🔗 Seminars "Proof Theory" and "Logic Online Seminar"


➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 февраля.
‼ВНИМАНИЕ Время поменялось.
Время проведения семинара 14:00.

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Докладчик:
В.Б. Шехтман (ВШМ МФТИ)

Тема: Полупроизведения модальных логик

Аннотация:
Наряду с соединением (fusion) и произведением, полупроизведение представляет собой операцию над модальными логиками, которая объединяет их модальности и добавляет новые аксиомы. Соответствующая операция над шкалами Крипке - взятие подмножеств произведений, устойчивых по первой координате. Полупроизведения также связаны с модальными логиками предикатов и топологическими модальными логиками.

Свойства полупроизведений еще недостаточно изучены. В докладе будет дан обзор известных результатов, в том числе полученных в последние годы совместно с Д. Шкатовым.

➰ ВК

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

Семинар «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (https://homepage.mi-ras.ru/~sk/) и С.О. Сперанского (https://homepage.mi-ras.ru/~speranski/)

Время: 4 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк

А.В. Грефенштейн (МИАН)

Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов

Первопорядковая логика вероятности с распределением на носителе — известный формальный язык для рассуждения о вероятностях в теоретической информатике, предложенный Дж. Хальперном. В односортной версии этой логики имеются кванторы по элементам носителя, а в двухсортной добавляются кванторы по вещественным числам. Известно, что при почти всех сигнатурах двухсортная версия имеет как минимум ту же сложность, что и полная арифметика второго порядка, а потому для неё невозможность построить адекватное (даже слабо) полное инфинитарное исчисление.

Нас будет интересовать односортная версия вышеупомянутой логики. Первый доклад будет посвящён построению сильно полного инфинитарного исчисления для неё. Здесь «инфинитарность» означает, что наше исчисление будет содержать омега-правила, т.е. правила со счётным числом посылок; однако сами формулы будут конечными. На втором докладе мы рассмотрим различные естественные фрагменты данной логики.

❗Просьба ко всем потенциальным участникам зарегистрироваться на странице семинара. Ссылка для Контур.Толк будет отправлена зарегистрированным участникам накануне заседания.

🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&


➰ ВК

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

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

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

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Федор Пахомов

Название: Инфинитарная логика доказуемости

В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны, будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны, будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.

🔗 Логика в Москве


➰ ВК

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

--------------------------------------------------------------
↪ Международный молодежный научный форум ЛОМОНОСОВ

🔥 ОТКРЫТА РЕГИСТРАЦИЯ на Международную конференцию «ЛОМОНОСОВ – 2025»

Дорогие коллеги, уже открыта регистрация на некоторые секции XXXII Международной научной конференции студентов, аспирантов и молодых учёных «Ломоносов»!

✅ Дедлайн подачи заявок: до 3 марта (включительно).
✅ Подробная информация и регистрация на портале: lomonosov-msu.ru/rus/event/10000/

В этом году Международный молодёжный научный форум «Ломоносов» будет проходить с 11 по 25 апреля 2025 💫

Что Вас ждёт:
💠 Более 40 секций, отражающих все основные направления современной фундаментальной и прикладной науки;
💠 Работа региональных площадок научно-образовательных консорциумов «Вернадский» и на базе зарубежных и российских филиалов МГУ для всех заинтересованных.
💠 Дискуссионные площадки, лекторий и многое другое!

Присоединяйтесь к самому масштабному сообществу талантливых молодых исследователей, делайте первые шаги в науке и находите единомышленников!

Ваше будущее в науке начинается здесь! 🚀

#МГУ #270летМГУ #MSU #Ломоносов2025 #Lomonosov
#Lomonosov2025 #ФорумЛомоносов
#СтудсоюзМГУ #СНО_МГУ #ВСК_Вернадский
#наука #образование

➰ ВК