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

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

31 октября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация"
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

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

6, 13 и 20 ноября заседаний семинара «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) не будет.

Следующее заседание планируется 27 ноября.

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
5 ноября в 18:10 состоится 104-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.

Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).

Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1097887604.html

➰ ВК

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

UPD: Доклад С.А. Славнова сегодня на семинаре НПММвЯ состоится в аудитории 530 (5-й этаж).

В четверг 6 ноября в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара "Некоторые применения математических методов в языкознании" с докладом Сергея Андреевича Славнова "Логика тензорных термов для категориальных грамматик".

Время: 6 ноября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.

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

Аннотация:
Классические категориальные грамматики — такие как грамматика Ламбека — с математической точки зрения представляют собой исчисления, основанные на некоммутативном варианте интуиционистской линейной логики. Однако давно замечено, что одних некоммутативных логических операций часто оказывается недостаточно для моделирования даже очень простых феноменов естественного языка, связанных с нелокальными зависимостями и передвижением составляющих. Поэтому в литературе обсуждается множество других вариантов категориальных грамматик — как использующих чисто "коммутативную" линейную логику, так и объединяющих (в той или иной степени) коммутативную и некоммутативную структуры. Логика тензорных термов, которую мы предлагаем, — один из вариантов такого объединения. Это логическая система специально сконструирована для определения категориальных грамматик. В ней легко кодируется как исчисление Ламбека, так и коммутативная линейная логика. При этом, по сравнению с другими исчислениями такого рода, она обладает довольно простым синтаксисом.

➰ ВК

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

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

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

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 modal2025.pdf

➰ ВК

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

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

7 ноября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

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

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

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

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

Название: Коммуникационная сложность функции равенства и коды, исправляющие ошибки.

Докладчик: Владимир Подольский

Аннотация:
В этом докладе мы обсудим основные понятия коммуникационной сложности с двумя игроками, как детерминированного варианта этой модели вычислений, так и вероятностного. Затем мы обсудим базовые понятия теории кодов, исправляющих ошибки. Наконец, мы обсудим связь между вероятностной коммуникационной сложностью функции равенства и кодами, исправляющими ошибки.

➰ ВК

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

7 ноября 2025 г. заседание семинара "Вычислимость и неклассические логики" не состоится.
Продолжение доклада Г. Г. Черевиченко "Номинальная унификация" переносится на 14 ноября.

➰ ВК

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

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

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

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 modal2025.pdf

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 12 ноября в 14:00.

Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.

Докладчик: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)

Название: Доказательства полноты по Крипке для предикатных модальных логик

Аннотация.

Будут изложены основные идеи, на которых основываются доказательства полноты по Крипке для предикатных модальных логик. Будут приведены примеры канонических и неканонических, но полных по Крипке, логик.

➰ ВК

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

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

14 ноября 2025 г.

Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.

➰ ВК

#матлог #учёба #миникурсы

На следующей неделе С.Л. Кузнецов и С.О. Сперанский (МИАН) в рамках своего визита в Новосибирский университет прочтут мини-курсы.

Лекции пройдут очно в НГУ, возможно также подключение онлайн. Для получения ссылки нужно зарегистрироваться на соответствующий мини-курс на странице https://sites.google.com/view/mca-logic/

На той же странице размещены аннотации курсов, а после их завершения будут опубликованы видеозаписи и файлы презентаций.

Расписание лекций
ВНИМАНИЕ! Время везде указано новосибирское, т.е. +4 часа от московского, GMT+7.

В рамках мини-курса С.Л. Кузнецова «Бесконечные доказательства для неклассических логик» запланировано три лекции:
(1) 17 ноября 2025 г. (понедельник), 16:20-17:55
(2) 20 ноября 2025 г. (четверг), 16:20-17:55
(3) 21 ноября 2025 г. (пятница), 16:20-17:55

В рамках мини-курса С.О. Сперанского «Аксиоматизация теории слабых вероятностных пространств» запланировано две лекции:
(1) 18 ноября 2025 г. (вторник), 16:20-17:55
(2) 19 ноября 2025 г. (среда), 16:20-17:55

➰ ВК

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

The next Proof Society Seminar will take place on Monday 17 November 2025 at 14:00 CET. Our speaker will be Juliette Kennedy (https://www.mv.helsinki.fi/home/jkennedy/), from the University of Helsinki. Details can be found below.

How first order is first order logic?
Juliette Kennedy, University of Helsinki

Fundamental to the practice of logic is the dogma regarding the first order/second order logic distinction, namely that it is ironclad. Was it always so? The emergence of the set theoretic paradigm is an interesting test case. Early workers in foundations generally used higher order systems in the form of type theory; but then higher order systems were gradually abandoned in favour of first order set theory—a transition that was completed, more or less, by the 1930s.

In this talk I will look at first order logic from various points of view, arguing that the distinction between first order and higher order logics, such as second order logic, is somewhat context dependent. From the philosophical or foundational point of view this complicates the picture of first order logic as a canonical logic.

The Proof Society Seminar (https://www.proofsociety.org/proof-society-seminar/) is the official seminar of the Proof Society (https://www.proofsociety.org/), and it presents talks by leading researchers from all areas of proof theory. Everyone who is interested in the subject is warmly invited to attend! The talks take place online via Zoom, usually on Mondays, approximately once per month. They start at 13:00 UTC and may last up to 75 minutes plus questions.

➰ ВК

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

В четверг 20 ноября в Институте языкознания РАН (с возможностью подключения онлайн) состоится заседание семинара «Некоторые применения математических методов в языкознании» с докладом Максима Евгеньевича Вишникина "Категориальные грамматики с ограничением на количество присваиваемых категорий".

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

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

Тема: Категориальные грамматики с ограничением на количество присваиваемых категорий

Анонс:
В докладе будут рассмотрены три типа грамматических формализмов: грамматики Ламбека, AB-грамматики и базовые категориальные грамматики. Основное внимание будет уделено ограничению на количество присваиваемых категорий (параметр k) для каждого из них. Ключевой мотивацией для этого ограничения служит теория обучения грамматик по Голду, то есть задача идентификации грамматики по тексту. Эта концепция, введённая Марком Голдом в 1967 году, будет подробно изложена в первой части. Будут приведены известные результаты о том, что класс всех контекстно-свободных грамматик необучаем; однако при ограничении количества возможных правил полученный подкласс становится обучаемым (теорема Шинохары). Этот результат естественным образом распространяется на случай AB-грамматик (теорема Канадзавы).

В первой части доклада для трёх указанных формализмов будет представлен обзор результатов о классах грамматик с количеством категорий, ограниченным параметром k. Данное ограничение для AB-грамматик исследовал Канадзава, а для грамматик Ламбека — Форе. Также будут рассмотрены методы сведения языков, порождаемых различными грамматическими формализмами, друг к другу. В частности, теорема Сафиуллина, которая утверждает, что грамматики Ламбека с однозначным присвоением типов порождают все контекстно-свободные языки. Из данной теоремы сразу следует, что класс грамматик Ламбека с однозначным присвоением типов необучаем в смысле Голда.

Во второй части доклада будут рассмотрены алгоритмические свойства полученных классов грамматик. В частности, будут представлены результаты Форе, а также их усиление для AB-грамматик и базовых категориальных грамматик.

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
19 ноября в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Abstract Model Structures and Compactness Theorems.

Докладчик: Саянтан Рой (научный сотрудник МЛ ЛогЛинФФ).

Аннотация: The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this talk, using the notion of abstract model structures, we show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.
_____________________

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

Анонс и регистрация: https://llfp.hse.ru/announcements/1101848996.html

➰ ВК

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

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

17 November, 18:30 MSK

Tomorrow on the seminar there will be the final part of the presentation by Fyodor Kiselyov. We will discuss the definition of randomized reductions between search problems and some sort of "derandomization" result: any randomized reduction from PPP to some class may be transformed to a usual deterministic reduction.

➰ ВК

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

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

✨Тема: "Модальная логика, продолжение 2" (Лев Дворкин).
✨Аннотация. Модальная логика - неклассическая логика, в которой к стандартным классическим связкам (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Мы обсудим модальное исчисление, семантику Крипке для модальных логик, разные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 modal2025.pdf

➰ ВК

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

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 19 ноября в 15:00.
‼Время необычное‼

Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Можно подключиться самостоятельно, а можно подойти по адресу:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идете на семинар ВШМ и предъявить паспорт.

Докладчики: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)

Название: Введение в семантику первопорядковых модальных логик - часть 3

Аннотация.
Третий доклад из серии, основанной на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с В. Б. Шехтманом летом 2025 года в рамках ESSLLI 2025. Будут изложены некоторые методы доказательства полноты по Крипке неканонических логик и представлено краткое введение в семантику пучков Крипке.

➰ ВК

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

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

24.11.2025, jointly with S.I. Adian seminar, I.G. Lysenok (Steklov Mathematical Institute, https://www.mathnet.ru/person/8818): A sample iterated small cancellation theory for groups of Burnside type.

We develop yet another technique to present the free Burnside group B(m,n) of odd exponent n with m≥2 generators as a group satisfying a certain iterated small cancellation condition. Using the approach, we provide a reasonably accessible proof that B(m,n) is infinite with a moderate bound n2000 on the odd exponent n.

➰ ВК