#матлог #спецсеминар #нпммвя
В четверг 23 октября в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании" с продолжением доклада "База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных".
Время: 23 октября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/SSCTfuuTVwGMs4TS8
Докладчики:
Сердобольская Наталья Вадимовна (ИЯз РАН),
Кобозева Ирина Михайловна (МГУ, ИЯз РАН),
Тимошенко Светлана Петровна (ИППИ РАН, РГГУ)
Тема: «Составные коннекторы в базе Рускон: союзы, коннекторы и свободные сочетания»
Анонс:
Вторая часть доклада посвящена проблемам выделения класса составных коннекторов русского языка в базе Рускон. Академические словари и грамматики серьезно расходятся в мнениях по поводу трактовки конкретных сочетаний – как в плане их лексико-грамматического статуса, так и, шире, в плане включения их в базовый инвентарь. В изданиях используются термины «в значении союза», «аналог союза», «союзное соединение» и т.п. Это связано с трудностью разграничения единых союзов (потому что) и окказиональных сочетаний (а из-за этого) – условно говоря, единиц, которые содержатся в памяти как единое целое или порождаются в ходе речепроизводства.
Мы рассматриваем критерии определения составных коннекторов, которые работают на различных уровнях языка – фонетические, морфологические, синтаксические и семантические критерии. В некоторых случаях эти лингвистически обоснованные критерии не дают однозначного ответа. Был проведен ряд экспериментов, в ходе которых коннекторы ранжировались с помощью различных метрик устойчивости словосочетаний. Наилучшие результаты показали метрики, производные от меры точечной взаимной информации (Pointwise Mutual Information, сокращенно PMI). Мы предлагаем использовать при решении аналогичных задач модификацию MMI (Modified Mutual Information), адаптированную для оценки словосочетаний произвольной длины.
➰ ВК
В четверг 23 октября в Математическом институте им. В.А. Стеклова РАН состоится заседание семинара "Некоторые применения математических методов в языкознании" с продолжением доклада "База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных".
Время: 23 октября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/SSCTfuuTVwGMs4TS8
Докладчики:
Сердобольская Наталья Вадимовна (ИЯз РАН),
Кобозева Ирина Михайловна (МГУ, ИЯз РАН),
Тимошенко Светлана Петровна (ИППИ РАН, РГГУ)
Тема: «Составные коннекторы в базе Рускон: союзы, коннекторы и свободные сочетания»
Анонс:
Вторая часть доклада посвящена проблемам выделения класса составных коннекторов русского языка в базе Рускон. Академические словари и грамматики серьезно расходятся в мнениях по поводу трактовки конкретных сочетаний – как в плане их лексико-грамматического статуса, так и, шире, в плане включения их в базовый инвентарь. В изданиях используются термины «в значении союза», «аналог союза», «союзное соединение» и т.п. Это связано с трудностью разграничения единых союзов (потому что) и окказиональных сочетаний (а из-за этого) – условно говоря, единиц, которые содержатся в памяти как единое целое или порождаются в ходе речепроизводства.
Мы рассматриваем критерии определения составных коннекторов, которые работают на различных уровнях языка – фонетические, морфологические, синтаксические и семантические критерии. В некоторых случаях эти лингвистически обоснованные критерии не дают однозначного ответа. Был проведен ряд экспериментов, в ходе которых коннекторы ранжировались с помощью различных метрик устойчивости словосочетаний. Наилучшие результаты показали метрики, производные от меры точечной взаимной информации (Pointwise Mutual Information, сокращенно PMI). Мы предлагаем использовать при решении аналогичных задач модификацию MMI (Modified Mutual Information), адаптированную для оценки словосочетаний произвольной длины.
➰ ВК
Google Docs
НПММвЯ 11.12.2025
Заседание пройдет в четверг 11 декабря в 14:00 очно в Институте языкознания РАН с возможностью онлайн-подключения.
Проход в здание осуществляется по паспорту.
Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
Проход в здание осуществляется по паспорту.
Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL, Часть II
Докладчик: Никита Лукашов
Аннотация:
В первой части доклада мы подробно рассмотрели проблему унификации для логик, обсудили определение типа унификации для них, а также привели полное доказательство того, что классическая пропозициональная логика CL обладает унитарным типом унификации. Для установления последнего результата мы использовали так называемые проективные формулы, определение которых мы привели для произвольных логик и доказали их основные свойства.
Во второй части доклада мы продолжим доказательство семантической характеризации С. Гилярди (2000 г.) проективных формул для модальных логик на примере конкретной модальной логике доказуемости GL. Я коротко напомню про семантический подход к проблеме унификации из первой части, а затем перейду к рассказу доказательства того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Если останется время, то я также расскажу, как из полученной семантической характеризации проективных формул доказать конечный тип унификации логики GL (соответственно, рассуждение из второй части статьи ниже).
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.10.2025 в 16:20
Название: Проективность и свойство расширения для логики GL, Часть II
Докладчик: Никита Лукашов
Аннотация:
В первой части доклада мы подробно рассмотрели проблему унификации для логик, обсудили определение типа унификации для них, а также привели полное доказательство того, что классическая пропозициональная логика CL обладает унитарным типом унификации. Для установления последнего результата мы использовали так называемые проективные формулы, определение которых мы привели для произвольных логик и доказали их основные свойства.
Во второй части доклада мы продолжим доказательство семантической характеризации С. Гилярди (2000 г.) проективных формул для модальных логик на примере конкретной модальной логике доказуемости GL. Я коротко напомню про семантический подход к проблеме унификации из первой части, а затем перейду к рассказу доказательства того, что формула A является проективной в логике GL тогда и только тогда, когда класс MOD(A) конечных GL-моделей Крипке с корнем формулы A обладает некоторым определённым свойством расширения.
Если останется время, то я также расскажу, как из полученной семантической характеризации проективных формул доказать конечный тип унификации логики GL (соответственно, рассуждение из второй части статьи ниже).
Доклад основан на статье: Ghilardi S. Best solving modal equations //Annals of Pure and Applied Logic. – 2000. – Т. 102. – №. 3. – С. 183-198.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
27 September, 18:30 MSK
Fedor Kiselyov will discuss randomized and deterministic reductions between problems in TFNP (a more detailed abstract is attached).
📝 Kiselyov.pdf
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
27 September, 18:30 MSK
Fedor Kiselyov will discuss randomized and deterministic reductions between problems in TFNP (a more detailed abstract is attached).
📝 Kiselyov.pdf
➰ ВК
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)
27.10.2025 А.С. Морозов (ИМ СО РАН, https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=19694): Представимость алгебраических структур над вещественными числами.
Изучаются два обобщения понятия вычислимой структуры: $\Sigma$-представимости алгебраических структур в наследственно конечной надстройке HF(R) над вещественными числами, а также для представимости с помощью машин Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимости). Особое внимание уделено вопросам существования таких представлений для несчётных структур и количества таких представлений.
➰ ВК
Logic Online Seminar (www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk (online only)
27.10.2025 А.С. Морозов (ИМ СО РАН, https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=19694): Представимость алгебраических структур над вещественными числами.
Изучаются два обобщения понятия вычислимой структуры: $\Sigma$-представимости алгебраических структур в наследственно конечной надстройке HF(R) над вещественными числами, а также для представимости с помощью машин Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимости). Особое внимание уделено вопросам существования таких представлений для несчётных структур и количества таких представлений.
➰ ВК
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
1 ноября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).
Тема доклада: Abstract and Variable Sets in Category Theory.
Докладчик: John L. Bell (Emeritus Professor, FRSC Department of Philosophy Western University London, Ontario Canada).
Аннотация: In 1895 Cantor gave a definitive formulation of the concept of set, namely,
A collection to a whole of definite, well-differentiated objects of our intuition or thought.
Let us call such a collection a concrete set. More than a decade earlier, Cantor had introduced the notion of cardinal number by appeal to a process of abstraction:
If we abstract not only from the nature of the elements of a set, and also from the order in which they are given, then there arises in us a definite general concept which I call the cardinal number of the set.
Lawvere has suggested calling Cantor’s cardinal numbers abstract sets. An abstract set may be considered as arising from a concrete set when each element has been purged of all intrinsic qualities aside from the quality which distinguishes that element from all the others. An abstract set is thus an embodiment of pure discreetness.
In my talk I will describe how category theory provides the natural framework for understanding abstract sets, conceived of as static or as undergoing change.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094081809.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
1 ноября (суббота) в 18:00 (GMT+3) состоится заседание научно-учебного семинара «Математическая логика и теория категорий» (online).
Тема доклада: Abstract and Variable Sets in Category Theory.
Докладчик: John L. Bell (Emeritus Professor, FRSC Department of Philosophy Western University London, Ontario Canada).
Аннотация: In 1895 Cantor gave a definitive formulation of the concept of set, namely,
A collection to a whole of definite, well-differentiated objects of our intuition or thought.
Let us call such a collection a concrete set. More than a decade earlier, Cantor had introduced the notion of cardinal number by appeal to a process of abstraction:
If we abstract not only from the nature of the elements of a set, and also from the order in which they are given, then there arises in us a definite general concept which I call the cardinal number of the set.
Lawvere has suggested calling Cantor’s cardinal numbers abstract sets. An abstract set may be considered as arising from a concrete set when each element has been purged of all intrinsic qualities aside from the quality which distinguishes that element from all the others. An abstract set is thus an embodiment of pure discreetness.
In my talk I will describe how category theory provides the natural framework for understanding abstract sets, conceived of as static or as undergoing change.
_________________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1094081809.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
❤5
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 30 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк
В.А. Нестеров (МФТИ)
Название:
Верифицированное вычисление асимптотик вещественных функций (продолжение)
Аннотация:
Вычисление асимптотик функций - одна из нетривиальных математических задач, которая однако под силу компьютеру. Исследования в этом направлении были начаты Г. Харди и доведены до практического алгоритма Дж. Шекеллом в 1990 году.
В докладе я расскажу о своей имплементации алгоритма Шекелла (с некоторыми модификациями) в системе интерактивных доказательств Lean. Системы доказательств дают возможность писать доказательства на формальном языке с последующей автоматической проверкой компьютером. В своей работе я имплементировал алгоритм в виде так называемой тактики - программы, которая не только возвращает результат (например, предел функции на бесконечности), но и формальное доказательство его корректности (например, того, что функция действительно стремится к найденному значению). Такая тактика, будучи использованной как подпрограмма, позволяет сократить формальные доказательства других результатов в анализе и комбинаторике.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/).
Время: 30 октября (четверг), 16:00
Место: МИАН, ауд. 530 + Контур.Толк
В.А. Нестеров (МФТИ)
Название:
Верифицированное вычисление асимптотик вещественных функций (продолжение)
Аннотация:
Вычисление асимптотик функций - одна из нетривиальных математических задач, которая однако под силу компьютеру. Исследования в этом направлении были начаты Г. Харди и доведены до практического алгоритма Дж. Шекеллом в 1990 году.
В докладе я расскажу о своей имплементации алгоритма Шекелла (с некоторыми модификациями) в системе интерактивных доказательств Lean. Системы доказательств дают возможность писать доказательства на формальном языке с последующей автоматической проверкой компьютером. В своей работе я имплементировал алгоритм в виде так называемой тактики - программы, которая не только возвращает результат (например, предел функции на бесконечности), но и формальное доказательство его корректности (например, того, что функция действительно стремится к найденному значению). Такая тактика, будучи использованной как подпрограмма, позволяет сократить формальные доказательства других результатов в анализе и комбинаторике.
Если планируете посетить заседание (очно или онлайн через Контур.Толк), пожалуйста, зарегистрируйтесь по ссылке в верхней части страницы семинара:
https://www.mathnet.ru/conf2533
➰ ВК
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
31 октября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация"
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
31 октября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация"
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар #отмены
6, 13 и 20 ноября заседаний семинара «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) не будет.
Следующее заседание планируется 27 ноября.
➰ ВК
6, 13 и 20 ноября заседаний семинара «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) не будет.
Следующее заседание планируется 27 ноября.
➰ ВК
👍1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
5 ноября в 18:10 состоится 104-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.
Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1097887604.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
5 ноября в 18:10 состоится 104-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Объекты "с секретами" по принципу "если - то" в экспериментах психологов.
Докладчик: Поддьяков Александр Николаевич (доктор психологических наук, ведущий научный сотрудник МЛ ЛогЛинФФ).
Аннотация: Один из путей познания новых объектов в самых разных областях – экспериментирование с ними на предмет выявления скрытых эффектов и зависимостей. Психологи занимаются экспериментированием с этим экспериментированием. Для своих экспериментов они создают разнообразные «проблемные ящики» с секретами, которые предлагают обследовать участникам – детям и взрослым. Сами объекты своей работой призваны удивлять, озадачивать, создавать условия для выдвижения гипотез, проб, ошибок и «ага»-реакций. Ведется наблюдение за этой деятельностью, выделяются стратегии и пр. В докладе будут рассмотрены особенности этих объектов в контексте их основной функции – делать наблюдаемыми некоторые составляющие мыслительной деятельности. В качестве демонстрационного материала будут представлены некоторые их таких объектов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1097887604.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #спецсеминар #нпммвя
UPD: Доклад С.А. Славнова сегодня на семинаре НПММвЯ состоится в аудитории 530 (5-й этаж).
В четверг 6 ноября в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара "Некоторые применения математических методов в языкознании" с докладом Сергея Андреевича Славнова "Логика тензорных термов для категориальных грамматик".
Время: 6 ноября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/Ztoemh3HubwPN1Js8
(зарегистрировавшиеся слушатели получат ссылку для подключения и будут внесены в список на проход)
Аннотация:
Классические категориальные грамматики — такие как грамматика Ламбека — с математической точки зрения представляют собой исчисления, основанные на некоммутативном варианте интуиционистской линейной логики. Однако давно замечено, что одних некоммутативных логических операций часто оказывается недостаточно для моделирования даже очень простых феноменов естественного языка, связанных с нелокальными зависимостями и передвижением составляющих. Поэтому в литературе обсуждается множество других вариантов категориальных грамматик — как использующих чисто "коммутативную" линейную логику, так и объединяющих (в той или иной степени) коммутативную и некоммутативную структуры. Логика тензорных термов, которую мы предлагаем, — один из вариантов такого объединения. Это логическая система специально сконструирована для определения категориальных грамматик. В ней легко кодируется как исчисление Ламбека, так и коммутативная линейная логика. При этом, по сравнению с другими исчислениями такого рода, она обладает довольно простым синтаксисом.
➰ ВК
UPD: Доклад С.А. Славнова сегодня на семинаре НПММвЯ состоится в аудитории 530 (5-й этаж).
В четверг 6 ноября в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара "Некоторые применения математических методов в языкознании" с докладом Сергея Андреевича Славнова "Логика тензорных термов для категориальных грамматик".
Время: 6 ноября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/Ztoemh3HubwPN1Js8
(зарегистрировавшиеся слушатели получат ссылку для подключения и будут внесены в список на проход)
Аннотация:
Классические категориальные грамматики — такие как грамматика Ламбека — с математической точки зрения представляют собой исчисления, основанные на некоммутативном варианте интуиционистской линейной логики. Однако давно замечено, что одних некоммутативных логических операций часто оказывается недостаточно для моделирования даже очень простых феноменов естественного языка, связанных с нелокальными зависимостями и передвижением составляющих. Поэтому в литературе обсуждается множество других вариантов категориальных грамматик — как использующих чисто "коммутативную" линейную логику, так и объединяющих (в той или иной степени) коммутативную и некоммутативную структуры. Логика тензорных термов, которую мы предлагаем, — один из вариантов такого объединения. Это логическая система специально сконструирована для определения категориальных грамматик. В ней легко кодируется как исчисление Ламбека, так и коммутативная линейная логика. При этом, по сравнению с другими исчислениями такого рода, она обладает довольно простым синтаксисом.
➰ ВК
👍1
#матлог #учёба #просеминар
💥В среду 5 ноября состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Модальная логика" (Оноприенко А.А.).
✨Аннотация. Модальная логика - неклассическая логика, в которой к стандартным классическим связкам (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Мы обсудим модальное исчисление, семантику Крипке для модальных логик, разные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 modal2025.pdf
➰ ВК
💥В среду 5 ноября состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Модальная логика" (Оноприенко А.А.).
✨Аннотация. Модальная логика - неклассическая логика, в которой к стандартным классическим связкам (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Мы обсудим модальное исчисление, семантику Крипке для модальных логик, разные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 modal2025.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤4👍1
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
7 ноября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
7 ноября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
👍2
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 07.11.2025 в 16:20
Название: Коммуникационная сложность функции равенства и коды, исправляющие ошибки.
Докладчик: Владимир Подольский
Аннотация:
В этом докладе мы обсудим основные понятия коммуникационной сложности с двумя игроками, как детерминированного варианта этой модели вычислений, так и вероятностного. Затем мы обсудим базовые понятия теории кодов, исправляющих ошибки. Наконец, мы обсудим связь между вероятностной коммуникационной сложностью функции равенства и кодами, исправляющими ошибки.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 109 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 07.11.2025 в 16:20
Название: Коммуникационная сложность функции равенства и коды, исправляющие ошибки.
Докладчик: Владимир Подольский
Аннотация:
В этом докладе мы обсудим основные понятия коммуникационной сложности с двумя игроками, как детерминированного варианта этой модели вычислений, так и вероятностного. Затем мы обсудим базовые понятия теории кодов, исправляющих ошибки. Наконец, мы обсудим связь между вероятностной коммуникационной сложностью функции равенства и кодами, исправляющими ошибки.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
👍1🔥1
#матлог #учёба #спецсеминар #отмены
7 ноября 2025 г. заседание семинара "Вычислимость и неклассические логики" не состоится.
Продолжение доклада Г. Г. Черевиченко "Номинальная унификация" переносится на 14 ноября.
➰ ВК
7 ноября 2025 г. заседание семинара "Вычислимость и неклассические логики" не состоится.
Продолжение доклада Г. Г. Черевиченко "Номинальная унификация" переносится на 14 ноября.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар #отмены
7 ноября 2025 г. заседание семинара "Вычислимость и некла... Смотрите полностью ВКонтакте.
7 ноября 2025 г. заседание семинара "Вычислимость и некла... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #просеминар
💥В среду 12 ноября состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Модальная логика, продолжение" (Оноприенко А.А.).
✨Аннотация. Модальная логика - неклассическая логика, в которой к стандартным классическим связкам (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Мы обсудим модальное исчисление, семантику Крипке для модальных логик, разные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 modal2025.pdf
➰ ВК
💥В среду 12 ноября состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Модальная логика, продолжение" (Оноприенко А.А.).
✨Аннотация. Модальная логика - неклассическая логика, в которой к стандартным классическим связкам (конъюнкция, дизъюнкция, импликация, отрицание) добавляется "модальность", которую в зависимости от контекста можно понимать по-разному: "необходимо", "доказуемо", "известно" и др. Мы обсудим модальное исчисление, семантику Крипке для модальных логик, разные примеры модальных логик, взаимосвязь модальных формул и свойств шкал Крипке, которые они задают.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 modal2025.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤2👍1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 12 ноября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
Докладчик: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)
Название: Доказательства полноты по Крипке для предикатных модальных логик
Аннотация.
Будут изложены основные идеи, на которых основываются доказательства полноты по Крипке для предикатных модальных логик. Будут приведены примеры канонических и неканонических, но полных по Крипке, логик.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 12 ноября в 14:00.
Место проведения: ОНЛАЙН. Для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Можно подключиться самостоятельно, а можно подойти по адресу, МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
Докладчик: Д.П. Шкатов (Университет Йоханнесбурга, ЮАР)
Название: Доказательства полноты по Крипке для предикатных модальных логик
Аннотация.
Будут изложены основные идеи, на которых основываются доказательства полноты по Крипке для предикатных модальных логик. Будут приведены примеры канонических и неканонических, но полных по Крипке, логик.
➰ ВК
👍1
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
14 ноября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.
14 ноября 2025 г.
Г. Г. Черевиченко
"Номинальная унификация" (продолжение доклада от 31 октября)
Унификация в простейшем случае — это решение уравнений в свободных алгебраических системах. Например, рассмотрим алфавит из двух символов a,b и уравнение aX=Yb, где X и Y обозначают слова в этом алфавите (которые надо найти). Слова с операцией приписывания образуют свободную полугруппу. Решение выглядит так: берём произвольное слово Z и полагаем X=Zb, Y=aZ, тогда aX=aZb=Yb. Мы как бы подобрали слово (aZb), подходящее под оба шаблона aX и Yb, от этого слово "унификация". В более хитрых случаях слова (например, формулы логики первого порядка или лямбда-термы) могут содержать связывающие операции (кванторы, лямбды) и рассматривать их надо с точностью до переименования связанных переменных. Проблема унификации в этом случае имеет неожиданное красивое решение.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
Семинар "Вычислимость и неклассические логики" работает по пятниц... Смотрите полностью ВКонтакте.
❤1👍1
#матлог #учёба #миникурсы
На следующей неделе С.Л. Кузнецов и С.О. Сперанский (МИАН) в рамках своего визита в Новосибирский университет прочтут мини-курсы.
Лекции пройдут очно в НГУ, возможно также подключение онлайн. Для получения ссылки нужно зарегистрироваться на соответствующий мини-курс на странице 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
➰ ВК
На следующей неделе С.Л. Кузнецов и С.О. Сперанский (МИАН) в рамках своего визита в Новосибирский университет прочтут мини-курсы.
Лекции пройдут очно в НГУ, возможно также подключение онлайн. Для получения ссылки нужно зарегистрироваться на соответствующий мини-курс на странице 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
➰ ВК
Google
МЦА
Мини-курс С.Л. Кузнецова "Бесконечные доказательства для неклассических логик" (17-21 ноября 2025 г.) / Форма для регистрации
Мини-курс С.О. Сперанского "Аксиоматизация теории слабых вероятностных пространств" (17-21 ноября 2025 г.) / Форма для регистрации…
Мини-курс С.О. Сперанского "Аксиоматизация теории слабых вероятностных пространств" (17-21 ноября 2025 г.) / Форма для регистрации…
❤1🔥1