#матлог #учёба #просеминар
💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
💥В пятницу 17 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
🔥1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, 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.
Семинар отдела математической логики МИАН, 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
В дополнение к объявлению о просеминаре 17 апреля выкладываем листочек с задачами!
📝 Булевы алгебры.pdf
#матлог #учёба #спецсеминар
22 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
А. С. Закиров, С. А. Славнов, М. А. Чурилов
Совместная логика задач и высказываний и поляризованные логики
Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.
Докладчик: Сергей Славнов.
22 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
А. С. Закиров, С. А. Славнов, М. А. Чурилов
Совместная логика задач и высказываний и поляризованные логики
Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.
Докладчик: Сергей Славнов.
#матлог #не_мехмат #ВШЭ
57-е заседание Математического семинара ФКН состоится 24 апреля в 18:10.
На семинаре выступит Станислав Сперанский с докладом "Элементарные теорий классов вероятностных пространств и их сложность".
Доклад будет посвящён элементарным теориям различных классов вероятностных пространств (конечных, дискретных, безатомных) и сопутствующим алгоритмическим проблемам. Более того, будут рассмотрены «слабые» пространства, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными: они используются в семантике многих вероятностных логических систем, возникающих в теоретической информатике. Стоит отметить, что хотя основное внимание будет сосредоточено на языках, близких к традиционно изучаемым элементарным языкам полей и решёток, у практически всех сопутствующих результатов имеются естественные аналоги для «первопорядковых логик вероятности», которые возникли в работах Дж. Хальперна и чьи варианты продолжают активно изучаться.
Рассказ будет ориентирован на широкую математическую аудиторию. В частности, понятия элементарного языка и теории будут пояснены на примерах, связанных с алгоритмическими проблемами над кольцами и полями, включая 10-ую проблему Гильберта. Кроме того, будет дано определение сводимости посредством вычислимых функций, используемой для сравнения различных теорий по сложности, и приведены примеры проблем, соответствующих некоторым часто возникающим сложностным классам, или «степеням (алгоритмической) неразрешимости».
Семинар пройдет по адресу Покровский бульвар 11, аудитория R306.
Информация о семинаре и аннотация предстоящего доклада: https://cs.hse.ru/seminatfkn/
Регистрация: https://cs.hse.ru/big-data/polls/788384338.html
57-е заседание Математического семинара ФКН состоится 24 апреля в 18:10.
На семинаре выступит Станислав Сперанский с докладом "Элементарные теорий классов вероятностных пространств и их сложность".
Доклад будет посвящён элементарным теориям различных классов вероятностных пространств (конечных, дискретных, безатомных) и сопутствующим алгоритмическим проблемам. Более того, будут рассмотрены «слабые» пространства, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными: они используются в семантике многих вероятностных логических систем, возникающих в теоретической информатике. Стоит отметить, что хотя основное внимание будет сосредоточено на языках, близких к традиционно изучаемым элементарным языкам полей и решёток, у практически всех сопутствующих результатов имеются естественные аналоги для «первопорядковых логик вероятности», которые возникли в работах Дж. Хальперна и чьи варианты продолжают активно изучаться.
Рассказ будет ориентирован на широкую математическую аудиторию. В частности, понятия элементарного языка и теории будут пояснены на примерах, связанных с алгоритмическими проблемами над кольцами и полями, включая 10-ую проблему Гильберта. Кроме того, будет дано определение сводимости посредством вычислимых функций, используемой для сравнения различных теорий по сложности, и приведены примеры проблем, соответствующих некоторым часто возникающим сложностным классам, или «степеням (алгоритмической) неразрешимости».
Семинар пройдет по адресу Покровский бульвар 11, аудитория R306.
Информация о семинаре и аннотация предстоящего доклада: https://cs.hse.ru/seminatfkn/
Регистрация: https://cs.hse.ru/big-data/polls/788384338.html
#матлог #наука #спецсеминар
В четверг 23 апреля 2026 года состоится заседание научно-образовательного семинара КОЛМОГОРОВСКИЕ БЕСЕДЫ
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта, оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «О понятии Интеграла» выступит член-корреспондент РАН Евгений Витальевич Щепин
Заседание состоится в 17:00 в Библиотеке А.Н.Колмогорова (ауд. 439-440, 4 этаж Лабораторного корпуса А на территории Биофака МГУ)
В четверг 23 апреля 2026 года состоится заседание научно-образовательного семинара КОЛМОГОРОВСКИЕ БЕСЕДЫ
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта, оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «О понятии Интеграла» выступит член-корреспондент РАН Евгений Витальевич Щепин
Заседание состоится в 17:00 в Библиотеке А.Н.Колмогорова (ауд. 439-440, 4 этаж Лабораторного корпуса А на территории Биофака МГУ)
Forwarded from Формальная философия
22 апреля в 18:10 состоится 120-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Семантика и синтаксис абстрактного языка.
Докладчик: В.В. Булыгин.
Аннотация: Языков много, но есть общее, что присуще им всем. Это общее (абстрактный язык) - суть универсалии (термин лингвистики). С другой стороны, большая языковая модель (LLM) оперирует векторами. Как именно группируются вектора в языковые универсалии - тема доклада.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1150879364.html
Тема доклада: Семантика и синтаксис абстрактного языка.
Докладчик: В.В. Булыгин.
Аннотация: Языков много, но есть общее, что присуще им всем. Это общее (абстрактный язык) - суть универсалии (термин лингвистики). С другой стороны, большая языковая модель (LLM) оперирует векторами. Как именно группируются вектора в языковые универсалии - тема доклада.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1150879364.html
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com
Докладчик: Андрей Кудинов
Название: Окрестностная полнота некоторых модальных предикатных логик
Аннотация.
Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 22 апреля в 14:15.
Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com
Докладчик: Андрей Кудинов
Название: Окрестностная полнота некоторых модальных предикатных логик
Аннотация.
Доклад посвящен окрестностной семантике (neighbourhood semantics) для предикатных модальных логик. Хорошо известны результаты о полноте относительно окрестностных шкал с постоянными областями для логик QK и QS4. В докладе будет доказана полнота для более широкого класса логик: так называемых направленных предтранзитивных модальных предикатных логик (определение будет дано в докладе). Результаты о полноте для модальных предикатных логик остаются на данный момент довольно разрозненными и теоремы типа теоремы Салквиста пока не удается доказать. Для направленных предтранзитивных логик была известна полнота относительно шкал Крипке с расширяющимися областями. Мы покажем, что для этих логик в окрестностной семантике можно обойтись постоянным областями, при этом аксиома Баркан, которая для шкал Крипке соответствует постоянным областям, в окрестностных шкалах опровергается даже на шкалах с постоянными областями.
#матлог #учёба #просеминар
💥В пятницу 24 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры - продолжение (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✨ Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 Булевы алгебры.pdf
💥В пятницу 24 апреля состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Булевы алгебры - продолжение (А.А.Запрягаев)
✨Аннотация. Мы познакомимся с булевыми алгебрами — красивой и полезной алгебраической структурой, глубоко связанной с теорией множеств и логикой. Мы покажем, что булевы алгебры являются великолепной альтернативной семантикой для логики высказываний, а также поймём, как булевы алгебры естественно возникают на подмножествах произвольных множеств.
✨ Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 Булевы алгебры.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.04.2026 в 16:20
Докладчики:
И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ)
Тема:
Минимальная вполне-определённая логика
Аннотация:
Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. Таковыми являются, например, все суперинтуиционистские логики. Содержательно, вполне-определённые логики позволяют выражать логическое следование в них. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, и затем нашёл критерий дедуктивности.
Нами был получен эффективный критерий дедуктивности. На его основе была найдена наименьшая вполне-определённая логика W, о которой мы и расскажем. Мы покажем, что логика W не обладает дедуктивным свойством, а также опишем её в виде исчисления. Также будет предложена семантика, относительно которой W корректна и полна. Кроме того, мы представим результаты о финитной аппроксимируемости и разрешимости логики W. Отметим, что множество тавтологий логики W полиномиально разрешимо.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 24.04.2026 в 16:20
Докладчики:
И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ)
Тема:
Минимальная вполне-определённая логика
Аннотация:
Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. Таковыми являются, например, все суперинтуиционистские логики. Содержательно, вполне-определённые логики позволяют выражать логическое следование в них. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, и затем нашёл критерий дедуктивности.
Нами был получен эффективный критерий дедуктивности. На его основе была найдена наименьшая вполне-определённая логика W, о которой мы и расскажем. Мы покажем, что логика W не обладает дедуктивным свойством, а также опишем её в виде исчисления. Также будет предложена семантика, относительно которой W корректна и полна. Кроме того, мы представим результаты о финитной аппроксимируемости и разрешимости логики W. Отметим, что множество тавтологий логики W полиномиально разрешимо.
Forwarded from Мастерская Лингвистических задач | Летняя школа
Нравится решать математические задачи? А пробовали ли вы решать... языки?
Приглашаем на Мастерскую Лингвистических задач, где вы познакомитесь с лингвистикой через решение задач!
Каждый язык – это некоторая система правил. Лингвистические задачи просят от решающего выявить систему в незнакомом языковом материале, опираясь исключительно на логику и языковую интуицию. Решая задачу, вы также изучаете то, как работает некоторое языковое явление.
Хочешь провести две недели на природе, решая интересные задачи в компании единомышленников? – выполняй вступительные испытания и жди приглашения на берег Волги!
https://letnyayashkola.org/linguistics/
И подписывайтесь на канал, чтобы не пропускать обновления: @lsh_linguistics
Приглашаем на Мастерскую Лингвистических задач, где вы познакомитесь с лингвистикой через решение задач!
Каждый язык – это некоторая система правил. Лингвистические задачи просят от решающего выявить систему в незнакомом языковом материале, опираясь исключительно на логику и языковую интуицию. Решая задачу, вы также изучаете то, как работает некоторое языковое явление.
Хочешь провести две недели на природе, решая интересные задачи в компании единомышленников? – выполняй вступительные испытания и жди приглашения на берег Волги!
https://letnyayashkola.org/linguistics/
И подписывайтесь на канал, чтобы не пропускать обновления: @lsh_linguistics
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
27.04.2026
В. М. Макаров (СПбГУ, https://www.mathnet.ru/person237482): Ограниченные языки, задаваемые GF(2)-грамматиками (очный доклад)
В этом докладе я расскажу о выразительной мощности GF(2)-грамматик: специального семейства формальных грамматик, введённого около 8 лет назад Бакиновой и др. Простыми словами, я про одни семейства языков докажу, что они задаются GF(2)-грамматиками, а про некоторые другие докажу, что они ими не задаются. Семейство GF(2)-грамматик примечательно тем, что у него есть много полезных алгебраических свойств, которыми не обладает семейство обыкновенных бесконтекстных грамматик. Более того, GF(2)-грамматики обобщают однозначные грамматики, что позволяет использовать их хорошие алгебраические свойства для доказательства существенной неоднозначности языков (то есть отсутствия для языка задающей его однозначной грамматики).
В основном доклад будет посвящён задаваемости GF(2)-грамматиками ограниченных языков, то есть подмножеств $w_1^* w_2^* \ldots w_k^*$, где $w_1, w_2, \ldots, w_k$ --- любые фиксированные строки. Я докажу сильные необходимые и сильные достаточные условия задаваемости таких языков GF(2)-грамматиками. С помощью полученных результатов я покажу существенную неоднозначность нескольких языков, в том числе языка $\{a^n b^m c^k \mid n \neq m \text{ или } m \neq k \}$, чья существенная неоднозначность долго была открытым вопросом.
Все необходимые определения, включая определение GF(2)-грамматик, будут даны в процессе доклада.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
27.04.2026
В. М. Макаров (СПбГУ, https://www.mathnet.ru/person237482): Ограниченные языки, задаваемые GF(2)-грамматиками (очный доклад)
В этом докладе я расскажу о выразительной мощности GF(2)-грамматик: специального семейства формальных грамматик, введённого около 8 лет назад Бакиновой и др. Простыми словами, я про одни семейства языков докажу, что они задаются GF(2)-грамматиками, а про некоторые другие докажу, что они ими не задаются. Семейство GF(2)-грамматик примечательно тем, что у него есть много полезных алгебраических свойств, которыми не обладает семейство обыкновенных бесконтекстных грамматик. Более того, GF(2)-грамматики обобщают однозначные грамматики, что позволяет использовать их хорошие алгебраические свойства для доказательства существенной неоднозначности языков (то есть отсутствия для языка задающей его однозначной грамматики).
В основном доклад будет посвящён задаваемости GF(2)-грамматиками ограниченных языков, то есть подмножеств $w_1^* w_2^* \ldots w_k^*$, где $w_1, w_2, \ldots, w_k$ --- любые фиксированные строки. Я докажу сильные необходимые и сильные достаточные условия задаваемости таких языков GF(2)-грамматиками. С помощью полученных результатов я покажу существенную неоднозначность нескольких языков, в том числе языка $\{a^n b^m c^k \mid n \neq m \text{ или } m \neq k \}$, чья существенная неоднозначность долго была открытым вопросом.
Все необходимые определения, включая определение GF(2)-грамматик, будут даны в процессе доклада.
🔥1
#матлог #учёба #спецсеминар
29 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
А. С. Закиров, С. А. Славнов, М. А. Чурилов
Совместная логика задач и высказываний и поляризованные логики (продолжение доклада)
Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.
29 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
А. С. Закиров, С. А. Славнов, М. А. Чурилов
Совместная логика задач и высказываний и поляризованные логики (продолжение доклада)
Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.
#матлог #наука #спецсеминар
29 апреля в 15:00 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»).
Тема доклада: Минимальная вполне-определённая логика.
Докладчик: И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ).
Аннотация: Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. Таковыми являются, например, все суперинтуиционистские логики. Содержательно, вполне-определённые логики позволяют выражать логическое следование в них. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, и затем нашёл критерий дедуктивности.
Нами был получен эффективный критерий дедуктивности. На его основе была найдена наименьшая вполне-определённая логика W, о которой мы и расскажем. Мы покажем, что логика W не обладает дедуктивным свойством, а также опишем её в виде исчисления. Также будет предложена семантика, относительно которой W корректна и полна. Кроме того, мы представим результаты о финитной аппроксимируемости и разрешимости логики W. Отметим, что множество тавтологий логики W полиномиально разрешимо.
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1151057313.html
29 апреля в 15:00 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»).
Тема доклада: Минимальная вполне-определённая логика.
Докладчик: И.А.Горбунов (ТвГУ, ВШЭ) и М.Н.Рыбаков (МФТИ, ТвГУ, ВШЭ).
Аннотация: Понятие вполне-определённой логики (well-determined logic) было введено Рышардом Вуйцицким: это логика, обладающая слабым дедуктивным свойством (т.е. для неё выполняется слабая теорема о дедукции) и свойством конъюнкции. Таковыми являются, например, все суперинтуиционистские логики. Содержательно, вполне-определённые логики позволяют выражать логическое следование в них. Благодаря устройству таких логик, для их задания можно не требовать семантики с сильной полнотой, достаточно иметь слабую полную семантику, т.е. полную семантику для множества их тавтологий. Множество тавтологий вполне-определённой логики Р.Вуйцицкий назвал дедуктивным множеством, и затем нашёл критерий дедуктивности.
Нами был получен эффективный критерий дедуктивности. На его основе была найдена наименьшая вполне-определённая логика W, о которой мы и расскажем. Мы покажем, что логика W не обладает дедуктивным свойством, а также опишем её в виде исчисления. Также будет предложена семантика, относительно которой W корректна и полна. Кроме того, мы представим результаты о финитной аппроксимируемости и разрешимости логики W. Отметим, что множество тавтологий логики W полиномиально разрешимо.
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1151057313.html
#матлог #спецсеминар #нпммвя
В четверг 30 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского
с докладом Филиппа Григорьевича Шушурина (НИУ ВШЭ) "О теориях порядка слов в современных формальных моделях синтаксиса".
Время: 30.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/NX2X2mKrVtGic8586
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: О теориях порядка слов в современных формальных моделях синтаксиса
Анонс:
В докладе будут рассмотрены современные подходы к проблеме порядка слов в рамках минимализма, где наблюдаемые в естественном языке порядки моделируются как результат линеаризации неупорядоченных синтаксических структур. Будут рассмотрены две основные группы подходов к порядку слов: параметрические и непараметрические. Параметрические подходы исходят из предположения, что у языков существует параметр, отвечающий за направление ветвления, при этом признавая, что часть линеаризационных процессов, например линеаризация спецификаторов, является непараметрической. К этой группе относятся, например, классическая Х’-теория, а также работы Sheehan (2017), Zeijlstra&Branan (2025) и другие. Основным представителем непараметрического подхода является теория Антисимметричности (Kayne (1994), Cinque (2005, 2023)), которая исключает наличие параметра направления ветвления и объясняет различия в поверхностном порядке слов с помощью параметрически заданных фразовых передвижений. Будет рассмотрен ряд эмпирических типологических обобщений, связанных с порядком слов, таких как правило падежного соположения (Chomsky, 1965, 1986; Janke & Neeleman, 2012), правило адъективного соположения (Giurgea, 2008; Belk & Neeleman, 2017), 20 Универсалия (Greenberg 1963, Cinque 2005), импликация эргативность-->SOV и FOFC. Будет обсуждаться, насколько успешно современные подходы могут объяснить эти обобщения. Наконец, будет предложен новая модель линеаризации, которая опирается на параметрический подход, но предполагает принципиальную некомплементарность параметрических и непараметрических линеаризационных механизмов.
Литература
1. Belk, Z., & Neeleman, A. (2017). AP adjacency as a precedence constraint. Linguistic Inquiry, 48(1), 1-45.
2. Chomsky, N. (1965). 1971. Aspects de la théorie syntaxique.
3. Chomsky, N. (1986). Barriers (Vol. 13). MIT press.
4. Cinque, G. (2005). Deriving Greenberg's Universal 20 and its exceptions. Linguistic inquiry, 36(3), 315-332.
5. Cinque, G. (2023). On linearization: Toward a restrictive theory. MIT Press.
6. Giurgea, I. (2008). Adjective placement and linearization. Alternatives to cartography, 275-324.
7. Greenberg, J. H. (1963). Some universals of grammar with particular reference to the order of meaningful elements. Universals of language, 2(1), 73-113.
8. Kayne, R. S. (1994). The antisymmetry of syntax (Vol. 25). MIT press.
9. Sheehan, M., Biberauer, T., Roberts, I., & Holmberg, A. (Eds.). (2017). The final-over-final condition: A syntactic universal (Vol. 76). MIT Press.
В четверг 30 апреля в Институте языкознания РАН (с возможностью подключения онлайн) состоится состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского
с докладом Филиппа Григорьевича Шушурина (НИУ ВШЭ) "О теориях порядка слов в современных формальных моделях синтаксиса".
Время: 30.04.2026, 18:00-19:30.
Место: Институт языкознания РАН, Большой Кисловский пер., 1, стр. 1, конференц-зал. Для прохода необходимо зарегистрироваться по ссылке ниже и взять с собой паспорт.
Ссылка для регистрации: https://forms.gle/NX2X2mKrVtGic8586
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
Тема: О теориях порядка слов в современных формальных моделях синтаксиса
Анонс:
В докладе будут рассмотрены современные подходы к проблеме порядка слов в рамках минимализма, где наблюдаемые в естественном языке порядки моделируются как результат линеаризации неупорядоченных синтаксических структур. Будут рассмотрены две основные группы подходов к порядку слов: параметрические и непараметрические. Параметрические подходы исходят из предположения, что у языков существует параметр, отвечающий за направление ветвления, при этом признавая, что часть линеаризационных процессов, например линеаризация спецификаторов, является непараметрической. К этой группе относятся, например, классическая Х’-теория, а также работы Sheehan (2017), Zeijlstra&Branan (2025) и другие. Основным представителем непараметрического подхода является теория Антисимметричности (Kayne (1994), Cinque (2005, 2023)), которая исключает наличие параметра направления ветвления и объясняет различия в поверхностном порядке слов с помощью параметрически заданных фразовых передвижений. Будет рассмотрен ряд эмпирических типологических обобщений, связанных с порядком слов, таких как правило падежного соположения (Chomsky, 1965, 1986; Janke & Neeleman, 2012), правило адъективного соположения (Giurgea, 2008; Belk & Neeleman, 2017), 20 Универсалия (Greenberg 1963, Cinque 2005), импликация эргативность-->SOV и FOFC. Будет обсуждаться, насколько успешно современные подходы могут объяснить эти обобщения. Наконец, будет предложен новая модель линеаризации, которая опирается на параметрический подход, но предполагает принципиальную некомплементарность параметрических и непараметрических линеаризационных механизмов.
Литература
1. Belk, Z., & Neeleman, A. (2017). AP adjacency as a precedence constraint. Linguistic Inquiry, 48(1), 1-45.
2. Chomsky, N. (1965). 1971. Aspects de la théorie syntaxique.
3. Chomsky, N. (1986). Barriers (Vol. 13). MIT press.
4. Cinque, G. (2005). Deriving Greenberg's Universal 20 and its exceptions. Linguistic inquiry, 36(3), 315-332.
5. Cinque, G. (2023). On linearization: Toward a restrictive theory. MIT Press.
6. Giurgea, I. (2008). Adjective placement and linearization. Alternatives to cartography, 275-324.
7. Greenberg, J. H. (1963). Some universals of grammar with particular reference to the order of meaningful elements. Universals of language, 2(1), 73-113.
8. Kayne, R. S. (1994). The antisymmetry of syntax (Vol. 25). MIT press.
9. Sheehan, M., Biberauer, T., Roberts, I., & Holmberg, A. (Eds.). (2017). The final-over-final condition: A syntactic universal (Vol. 76). MIT Press.
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
04.05.2026, совместное заседание с семинаром С. И. Адяна
Г. А. Калеева (www.mathnet.ru/person133934): Универсальная эквивалентность линейных групп над кольцами (очный доклад)
В этом докладе я расскажу про универсальную эквивалентность линейных групп. Две алгебраических структуры одной сигнатуры называются универсально эквивалентными, если их универсальные теории (множества всех универсальных формул, истинных в данных структурах) совпадают. Мы обсудим критерии универсальной эквивалентность для полных (и специальных) линейных групп над полями, а также локальными (в том числе некоммутативными) кольцами и ответим на вопрос, верно ли, что универсальная эквивалентность двух линейных групп одного типа (например, GL_n(R_1) и GL_m(R_2)) равносильна универсальной эквивалентности колец R_1 и R_2 и совпадению порядков групп n = m.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
04.05.2026, совместное заседание с семинаром С. И. Адяна
Г. А. Калеева (www.mathnet.ru/person133934): Универсальная эквивалентность линейных групп над кольцами (очный доклад)
В этом докладе я расскажу про универсальную эквивалентность линейных групп. Две алгебраических структуры одной сигнатуры называются универсально эквивалентными, если их универсальные теории (множества всех универсальных формул, истинных в данных структурах) совпадают. Мы обсудим критерии универсальной эквивалентность для полных (и специальных) линейных групп над полями, а также локальными (в том числе некоммутативными) кольцами и ответим на вопрос, верно ли, что универсальная эквивалентность двух линейных групп одного типа (например, GL_n(R_1) и GL_m(R_2)) равносильна универсальной эквивалентности колец R_1 и R_2 и совпадению порядков групп n = m.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Next meeting of the seminar will happen in unusual day/time: Tuesday 5 may 17:00 Moscow time
LINES AND POINTS (discussion)
An effective dimension of a point in a plane is the liminf of the Kolmogorov complexity of its $2^{-n}$ approximations divided by $n$. The dimension of a line is defined similary (lines are dual to points). It turns out that if a line has dimension d<1, then its points have all dimension in the interval [d,d+1], and for d>=1 the interval is [1,2]. Trying to understand this result, I thought that it would be instructive to consider the finite case (of lines and points over a finite field with $2^n$ elements - there is another finite version, with approximations to reals, but this is another story). Indeed, Don Stull (who will come to the meeting, I hope) managed to prove the first part (for lines of small complexity), whilt the second case remains open (AFAIK). We will try to discuss his argument (starting with simpler result about the maximal complexity of line points).
📝 lines.pdf
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
Next meeting of the seminar will happen in unusual day/time: Tuesday 5 may 17:00 Moscow time
LINES AND POINTS (discussion)
An effective dimension of a point in a plane is the liminf of the Kolmogorov complexity of its $2^{-n}$ approximations divided by $n$. The dimension of a line is defined similary (lines are dual to points). It turns out that if a line has dimension d<1, then its points have all dimension in the interval [d,d+1], and for d>=1 the interval is [1,2]. Trying to understand this result, I thought that it would be instructive to consider the finite case (of lines and points over a finite field with $2^n$ elements - there is another finite version, with approximations to reals, but this is another story). Indeed, Don Stull (who will come to the meeting, I hope) managed to prove the first part (for lines of small complexity), whilt the second case remains open (AFAIK). We will try to discuss his argument (starting with simpler result about the maximal complexity of line points).
📝 lines.pdf
#матлог #учёба #спецсеминар
6 мая 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Ю. Д. Теляковская
Алгебраические методы изучения звёздной высоты регулярных языков
Аннотация:
Звёздная высота регулярного языка — минимальное число вложенных итераций Клини ("звёздочек" Клини), необходимое для описания этого языка регулярным выражением.
В докладе я сконцентрируюсь на "extended star height" — варианте, допускающем использование в регулярном выражении операций дополнения, объединения, итерации Клини и конкатенации. Основным имеющимся инструментом для изучения свойств регулярных языков при таком определении являются синтаксические моноиды.
В докладе будут рассмотрены основные взаимосвязи между звёздной высотой регулярных языков и структурой их синтаксических моноидов. Кроме того, будут упомянуты перспективы использования алгебраических свойств регулярных языков в зависимости от того, существуют ли языки звёздной высоты больше 1.
6 мая 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Ю. Д. Теляковская
Алгебраические методы изучения звёздной высоты регулярных языков
Аннотация:
Звёздная высота регулярного языка — минимальное число вложенных итераций Клини ("звёздочек" Клини), необходимое для описания этого языка регулярным выражением.
В докладе я сконцентрируюсь на "extended star height" — варианте, допускающем использование в регулярном выражении операций дополнения, объединения, итерации Клини и конкатенации. Основным имеющимся инструментом для изучения свойств регулярных языков при таком определении являются синтаксические моноиды.
В докладе будут рассмотрены основные взаимосвязи между звёздной высотой регулярных языков и структурой их синтаксических моноидов. Кроме того, будут упомянуты перспективы использования алгебраических свойств регулярных языков в зависимости от того, существуют ли языки звёздной высоты больше 1.
❤1
#матлог #спецсеминар #нпммвя
В четверг 7 мая в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского
с докладом Ани Шатских (МГУ) "Автоматическая морфологическая классификация для осетинского языка".
Время: 07.05.2026, 18:00-19:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/ZXFQwBmdL4bytWAs8
(все зарегистрировавшиеся получат ссылку для онлайн-подключения; указавшие очное участие будут внесены в список на проход)
Анонс:
Доклад посвящён созданию датасета и нейросетевой модели для автоматической морфологической классификации в осетинском языке. Осетинский язык – иранский язык индоевропейской семьи, распространённый на Северном Кавказе. Этот язык является родным для по меньшей мере 550 тыс. человек и обладает долгой письменной традицией: так, литературный корпус осетинского языка содержит около 12 млн словоупотреблений. Тем не менее, до недавнего времени для осетинского языка не существовало инструментов контекстной морфологической классификации. Эта задача состоит в определении для словоформы её части речи и грамматических признаков (таких как число или падеж) с учётом контекста и является незаменимым уровнем разметки языковых корпусов.
В докладе будет описано создание обучающего корпуса с морфологической аннотацией в системе Universal Dependencies версии 2 (Nivre и др., 2020). Будут рассмотрены вызовы, которые типологические особенности осетинского ставят перед универсальными конвенциями аннотации, и расширения системы UD, принятые в ответ на них. Наконец, будет представлена первая в истории языковая модель архитектуры BERT (Devlin и др., 2019) для осетинского языка и морфологический классификатор на её основе, а также результаты экспериментов, проведённых в ходе создания и улучшения этих моделей.
Литература:
1. Devlin, Jacob и др. (2019). BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. URL: https://arxiv.org/abs/1810.04805v2
2. Nivre, Joakim и др. (2020). Universal Dependencies v2: An Evergrowing Multilingual Treebank Collection. URL: https://arxiv.org/abs/2004.10643
В четверг 7 мая в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара «Некоторые применения математических методов в языкознании» им. В.А. Успенского
с докладом Ани Шатских (МГУ) "Автоматическая морфологическая классификация для осетинского языка".
Время: 07.05.2026, 18:00-19:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/ZXFQwBmdL4bytWAs8
(все зарегистрировавшиеся получат ссылку для онлайн-подключения; указавшие очное участие будут внесены в список на проход)
Анонс:
Доклад посвящён созданию датасета и нейросетевой модели для автоматической морфологической классификации в осетинском языке. Осетинский язык – иранский язык индоевропейской семьи, распространённый на Северном Кавказе. Этот язык является родным для по меньшей мере 550 тыс. человек и обладает долгой письменной традицией: так, литературный корпус осетинского языка содержит около 12 млн словоупотреблений. Тем не менее, до недавнего времени для осетинского языка не существовало инструментов контекстной морфологической классификации. Эта задача состоит в определении для словоформы её части речи и грамматических признаков (таких как число или падеж) с учётом контекста и является незаменимым уровнем разметки языковых корпусов.
В докладе будет описано создание обучающего корпуса с морфологической аннотацией в системе Universal Dependencies версии 2 (Nivre и др., 2020). Будут рассмотрены вызовы, которые типологические особенности осетинского ставят перед универсальными конвенциями аннотации, и расширения системы UD, принятые в ответ на них. Наконец, будет представлена первая в истории языковая модель архитектуры BERT (Devlin и др., 2019) для осетинского языка и морфологический классификатор на её основе, а также результаты экспериментов, проведённых в ходе создания и улучшения этих моделей.
Литература:
1. Devlin, Jacob и др. (2019). BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. URL: https://arxiv.org/abs/1810.04805v2
2. Nivre, Joakim и др. (2020). Universal Dependencies v2: An Evergrowing Multilingual Treebank Collection. URL: https://arxiv.org/abs/2004.10643
⚡2👍2🔥2👏1🍓1
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в четверг 07.05, начало в 18:30, состоится доклад
Дворкин Лев
Монотонность vs позитивность в модальных логиках
Формула называется монотонной, если её истинность сохраняется при увеличении оценок входящих в неё переменной, и позитивной, если она построена из переменных при помощи позитивных связок (в случае модальной логики это константы ложь и истина, конъюнкция, дизъюнкция, ромб и бокс). Хорошо известно, что в классической логике высказываний любая монотонная формула эквивалентна позитивной. Аналогичный результат для классического исчисления предикатов доказал Линдон [Lynd59]. В общем случае, мы говорим, что логика L обладает свойством позитивности Линдона (LPP), если любая монотонная в L формула L-эквивалентна позитивной формуле. Воспользовавшись методом из работы [Lynd59], можно легко показать, что для нормальных модальных логик интерполяционное свойство Линдона (LIP) влечёт LPP. Однако в случае логик без LIP ситуация становится сложнее. В частности, среди табличных расширений S4 есть бесконечно много логик как с LPP, так и без него. В докладе мы рассмотрим новые результаты [Dvo26] относительно LPP и его связи с другими свойствами модальных логик.
[Lynd59] Lyndon R.C. Properties preserved under homomorphism. Pacific Journal of Mathematics, 9(1):143–154, 1959.
[Dvo26] Dvorkin L. Monotonicity vs positivity in modal logics. arXiv:2602.02837, 2026.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту lev_135@mail.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в четверг 07.05, начало в 18:30, состоится доклад
Дворкин Лев
Монотонность vs позитивность в модальных логиках
Формула называется монотонной, если её истинность сохраняется при увеличении оценок входящих в неё переменной, и позитивной, если она построена из переменных при помощи позитивных связок (в случае модальной логики это константы ложь и истина, конъюнкция, дизъюнкция, ромб и бокс). Хорошо известно, что в классической логике высказываний любая монотонная формула эквивалентна позитивной. Аналогичный результат для классического исчисления предикатов доказал Линдон [Lynd59]. В общем случае, мы говорим, что логика L обладает свойством позитивности Линдона (LPP), если любая монотонная в L формула L-эквивалентна позитивной формуле. Воспользовавшись методом из работы [Lynd59], можно легко показать, что для нормальных модальных логик интерполяционное свойство Линдона (LIP) влечёт LPP. Однако в случае логик без LIP ситуация становится сложнее. В частности, среди табличных расширений S4 есть бесконечно много логик как с LPP, так и без него. В докладе мы рассмотрим новые результаты [Dvo26] относительно LPP и его связи с другими свойствами модальных логик.
[Lynd59] Lyndon R.C. Properties preserved under homomorphism. Pacific Journal of Mathematics, 9(1):143–154, 1959.
[Dvo26] Dvorkin L. Monotonicity vs positivity in modal logics. arXiv:2602.02837, 2026.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту lev_135@mail.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
🔥1
#матлог #учёба #просеминар
💥В пятницу 8 мая состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Вполне упорядоченные множества (Яна Захарова, студентка кафедры)
✨Аннотация. Вполне упорядоченные множества (вумы) представляют собой структуры, для которых работает аналог принципа наименьшего числа, верный для множества натуральных чисел. В частности, это свойство вумов позволяет доказывать, что разнообразные процессы не могут длиться бесконечно долго. На просеминаре мы разберём примеры таких задач и обсудим свойства вумов.
✨ Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ВУМы.pdf
💥В пятницу 8 мая состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: Вполне упорядоченные множества (Яна Захарова, студентка кафедры)
✨Аннотация. Вполне упорядоченные множества (вумы) представляют собой структуры, для которых работает аналог принципа наименьшего числа, верный для множества натуральных чисел. В частности, это свойство вумов позволяет доказывать, что разнообразные процессы не могут длиться бесконечно долго. На просеминаре мы разберём примеры таких задач и обсудим свойства вумов.
✨ Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 ВУМы.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤1🔥1