#матлог #наука #не_мехмат #ВШЭ
Уважаемые коллеги!
Приглашаем вас на Однодневный семинар по математической логике, который пройдет 24 июня с 11:00 до 18:00.
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
Семинар пройдет по адресу Большой Трёхсвятительский пер., 3, в актовом зале.
Страница семинара: https://cs.hse.ru/big-data/seminatfknlogic24 (программа будет уточняться).
Регистрация открыта до 20 июня: https://cs.hse.ru/big-data/polls/925304111.html (регистрация необходима в том числе для прохода в здание).
Видеозапись семинара прошлого года можно найти на странице: https://cs.hse.ru/big-data/seminatfknlogic
🔗 Семинар по математической логике
➰ ВК
Уважаемые коллеги!
Приглашаем вас на Однодневный семинар по математической логике, который пройдет 24 июня с 11:00 до 18:00.
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
Семинар пройдет по адресу Большой Трёхсвятительский пер., 3, в актовом зале.
Страница семинара: https://cs.hse.ru/big-data/seminatfknlogic24 (программа будет уточняться).
Регистрация открыта до 20 июня: https://cs.hse.ru/big-data/polls/925304111.html (регистрация необходима в том числе для прохода в здание).
Видеозапись семинара прошлого года можно найти на странице: https://cs.hse.ru/big-data/seminatfknlogic
🔗 Семинар по математической логике
➰ ВК
cs.hse.ru
Семинар по математической логике
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.06.2024 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Елена Попова
Название: Логика свидетельств первого порядка со связывающей модальностью
Аннотация.
Доклад будет посвящен логике свидетельств первого порядка (Яворская 1998; Артемов, Яворская, 2001). Первопорядковая логика свидетельств дает возможность различать глобальные и локальные параметры в доказательствах. Например, для формулы F(x) с параметром x следует различать следующие утверждения:
«t - доказательство формулы F(x), содержащей x свободно»,
«t - доказательство формулы F(x) для конкретного значения x», где x рассматривается как параметр.
В языке модальной логики первого порядка тоже можно различать глобальные и локальные параметры с помощью связывающих модальностей (Артемов, Яворская, 2016). В докладе будет представлена логика свидетельств первого порядка одновременно со свидетельскими термами и связывающими модальностями. Будет рассмотрена семантика Крипке для данной логики, а также изложена теорема о сильной полноте.
Литература:
S.N. Artemov and T.L. Yavorskaya. On first order logic of proofs. Moscow Mathematical Journal, 1:475–490, 2001.
S.N. Artemov & T.L. Yavorskaya. Binding modalities. Journal of Logic and Computation, 26(1):451–461, 2016.
T.L. Yavorskaya. Nonaxiomatizability of predicate logics of proofs. Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, (6):18–22, 1998.
S.N. Artemov & M. Fitting. Justification Logic: Reasoning with Reasons, New York: Cambridge University Press. 2019.
🔗 Логика в Москве - YouTube
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.06.2024 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале:
https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Елена Попова
Название: Логика свидетельств первого порядка со связывающей модальностью
Аннотация.
Доклад будет посвящен логике свидетельств первого порядка (Яворская 1998; Артемов, Яворская, 2001). Первопорядковая логика свидетельств дает возможность различать глобальные и локальные параметры в доказательствах. Например, для формулы F(x) с параметром x следует различать следующие утверждения:
«t - доказательство формулы F(x), содержащей x свободно»,
«t - доказательство формулы F(x) для конкретного значения x», где x рассматривается как параметр.
В языке модальной логики первого порядка тоже можно различать глобальные и локальные параметры с помощью связывающих модальностей (Артемов, Яворская, 2016). В докладе будет представлена логика свидетельств первого порядка одновременно со свидетельскими термами и связывающими модальностями. Будет рассмотрена семантика Крипке для данной логики, а также изложена теорема о сильной полноте.
Литература:
S.N. Artemov and T.L. Yavorskaya. On first order logic of proofs. Moscow Mathematical Journal, 1:475–490, 2001.
S.N. Artemov & T.L. Yavorskaya. Binding modalities. Journal of Logic and Computation, 26(1):451–461, 2016.
T.L. Yavorskaya. Nonaxiomatizability of predicate logics of proofs. Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, (6):18–22, 1998.
S.N. Artemov & M. Fitting. Justification Logic: Reasoning with Reasons, New York: Cambridge University Press. 2019.
🔗 Логика в Москве - YouTube
➰ ВК
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(
14 июня (пятница) в 18.30 состоится очередное заседание исследовательского семинара «From the Logical Point of View».
Тема доклада: "Как решать философские проблемы: концептуальное предложение на основе эмпирических данных".
Докладчик: Вячеслав Пятаков (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/932064086.html
🔗 Доклад Вячаслава Пятакова «Как решать философские проблемы: концептуальное предложение на основе эмп
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(
12.06.2024 12:51)14 июня (пятница) в 18.30 состоится очередное заседание исследовательского семинара «From the Logical Point of View».
Тема доклада: "Как решать философские проблемы: концептуальное предложение на основе эмпирических данных".
Докладчик: Вячеслав Пятаков (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/932064086.html
🔗 Доклад Вячаслава Пятакова «Как решать философские проблемы: концептуальное предложение на основе эмп
➰ ВК
#матлог #наука #семинар #не_мехмат
Ближайший доклад на семинаре «Математические основы искусственного интеллекта» (https://www.mathnet.ru/conf2402) в Математическом институте им. В.А. Стеклова РАН:
Время и место: МИАН (ул. Губкина 8), 9 этаж, конференц-зал + Zoom, среда, 19 июня 2024 г., 17:00-18:00.
А. А. Разборов (University of Chicago, МИАН):
О вопросах сходимости и генерализации нейронных сетей малой глубины
Аннотация: Объяснение причин сходимости и (в особенности) генерализации нейронных сетей при их обучении методом (возможно стохастического) градиентного спуска - одна из наиболее фундаментальных открытых проблем в области математических основ ИИ. Оба феномена вполне проявляются уже для простейшей возможной архитектуры: вполне связные ReLU схемы глубины 2, и уже для этого случая удовлетворительное объяснение в настоящий момент отсутствует. В докладе будет дан (заведомо неполный) обзор некоторых частичных результатов в этом направлении.
🔗 Семинар «Математические основы искусственного интеллекта»
➰ ВК
Ближайший доклад на семинаре «Математические основы искусственного интеллекта» (https://www.mathnet.ru/conf2402) в Математическом институте им. В.А. Стеклова РАН:
Время и место: МИАН (ул. Губкина 8), 9 этаж, конференц-зал + Zoom, среда, 19 июня 2024 г., 17:00-18:00.
А. А. Разборов (University of Chicago, МИАН):
О вопросах сходимости и генерализации нейронных сетей малой глубины
Аннотация: Объяснение причин сходимости и (в особенности) генерализации нейронных сетей при их обучении методом (возможно стохастического) градиентного спуска - одна из наиболее фундаментальных открытых проблем в области математических основ ИИ. Оба феномена вполне проявляются уже для простейшей возможной архитектуры: вполне связные ReLU схемы глубины 2, и уже для этого случая удовлетворительное объяснение в настоящий момент отсутствует. В докладе будет дан (заведомо неполный) обзор некоторых частичных результатов в этом направлении.
🔗 Семинар «Математические основы искусственного интеллекта»
➰ ВК
#матлог #наука #не_мехмат #миан
UPD: Dear Students and Colleagues,
Unfortunately, the visit of Walter Carnielli to Steklov Institute and, in particular, his mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics" and the seminar talk, got cancelled due to personal reasons.
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(
Walter Carnielli mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics"
(13–15 августа 2024 г., МИАН, ауд. 110 + Zoom, г. Москва), https://m.mathnet.ru/php/conference.phtml?confid=2464&option_lang=
🔗 Walter Carnielli mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics"
➰ ВК
UPD: Dear Students and Colleagues,
Unfortunately, the visit of Walter Carnielli to Steklov Institute and, in particular, his mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics" and the seminar talk, got cancelled due to personal reasons.
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(
06.08.2024 08:46)Walter Carnielli mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics"
(13–15 августа 2024 г., МИАН, ауд. 110 + Zoom, г. Москва), https://m.mathnet.ru/php/conference.phtml?confid=2464&option_lang=
🔗 Walter Carnielli mini course "A Glimpse of The Brazilian School of Logic: its Philosophy and Mathematics"
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://t.me/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #учёба #спецкурс
Поздравляем всех с новым учебным годом!!!
В течение ближайших дней в группе будет серия постов о спецкурсах кафедры и спецкурсах по логике, читаемых в МИАН.
Первый пост будет про самый базовый спецкурс "Математическая логика". Это годовой спецкурс по выбору кафедры, он обязателен для сдачи всеми студентами, поступившими к нам на кафедру. То, что на нём рассказывают (но не только это), должен знать каждый уважающий себя логик!!!
Спецкурс читается по средам с 12:30 до 14:05, аудитория 464.
Доступны видеозаписи прошлых лет на teach-in:
первая часть https://teach-in.ru/course/matlog-yavorskaya-p1
вторая часть https://teach-in.ru/course/mathematical-logic-kuznetsov2
По этим же ссылкам можно найти конспект спецкурса.
➰ ВК
Поздравляем всех с новым учебным годом!!!
В течение ближайших дней в группе будет серия постов о спецкурсах кафедры и спецкурсах по логике, читаемых в МИАН.
Первый пост будет про самый базовый спецкурс "Математическая логика". Это годовой спецкурс по выбору кафедры, он обязателен для сдачи всеми студентами, поступившими к нам на кафедру. То, что на нём рассказывают (но не только это), должен знать каждый уважающий себя логик!!!
Спецкурс читается по средам с 12:30 до 14:05, аудитория 464.
Доступны видеозаписи прошлых лет на teach-in:
первая часть https://teach-in.ru/course/matlog-yavorskaya-p1
вторая часть https://teach-in.ru/course/mathematical-logic-kuznetsov2
По этим же ссылкам можно найти конспект спецкурса.
➰ ВК
teach-in.ru
Математическая логика. Часть 1
Обязательный курс для студентов кафедры математической логики и теории алгоритмов. Часть 1.
❤2
#матлог #новости
Для тех, кому удобнее читать нас в телеграме, мы создали канал!
Туда будут автоматически репоститься все посты из этой группы, что-то уникальное выкладывать не планируем.
Читайте логические новости там, где вам удобно!
https://t.me/msu_mathlog
➰ ВК
Для тех, кому удобнее читать нас в телеграме, мы создали канал!
Туда будут автоматически репоститься все посты из этой группы, что-то уникальное выкладывать не планируем.
Читайте логические новости там, где вам удобно!
https://t.me/msu_mathlog
➰ ВК
Telegram
Кафедра математической логики и теории алгоритмов мехмата МГУ
Учёный секретарь кафедры @ansidiana
Ушла из жизни Лилия Алексеевна Чагрова https://www.mathnet.ru/php/person.phtml?personid=208921&option_lang=rus&ysclid=m0qj92at9y921336892.
Прощание состоится завтра, 7 сентября, в морге 4-й горбольницы Твери в 9:45. Там же в церкви будет отпевание.
🔗 Персоналии: Чагрова Лилия Алексеевна
➰ ВК
Прощание состоится завтра, 7 сентября, в морге 4-й горбольницы Твери в 9:45. Там же в церкви будет отпевание.
🔗 Персоналии: Чагрова Лилия Алексеевна
➰ ВК
🕊6
#матлог #учёба #спецкурс
И.Г. Лысенок прочитает спецкурс «Алгоритмические вопросы алгебры». Спецкурс читается в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.
Первая лекция: 9 сентября
Место проведения: МИАН, первая лекция (9 сентября) — ком. 530, остальные лекции — ком. 104
Время проведения: понедельник, первая лекция (9 сентября) — 16:25–17:50, остальные лекции — 14:45–16:10.
Страница спецкурса: https://www.mathnet.ru/conf2480.
Аннотация.
Цель курса — ознакомление с классическими разрешимыми и неразрешимыми алгоритмическими проблемами алгебры. Предполагается вводная часть, в которой будут рассмотрены различные вычислительные модели, приводящие к формализации понятий алгоритма и вычислимой функции. Будет доказана неразрешимость ряда алгоритмических проблем, в частности, неразрешимость проблемы равенства в конечно определенных полугруппах. С другой стороны, будут приведены примеры разрешимых проблем с описанием соответствующих алгоритмов, например проблемы равенства и изоморфизма для конечно порожденных абелевых групп. От слушателей не требуется специальной подготовки, хотя желательно знакомство с основными понятиями алгебры: группы, кольца, гомоморфизма и т.п.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Алгоритмические вопросы алгебры
➰ ВК
И.Г. Лысенок прочитает спецкурс «Алгоритмические вопросы алгебры». Спецкурс читается в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.
Первая лекция: 9 сентября
Место проведения: МИАН, первая лекция (9 сентября) — ком. 530, остальные лекции — ком. 104
Время проведения: понедельник, первая лекция (9 сентября) — 16:25–17:50, остальные лекции — 14:45–16:10.
Страница спецкурса: https://www.mathnet.ru/conf2480.
Аннотация.
Цель курса — ознакомление с классическими разрешимыми и неразрешимыми алгоритмическими проблемами алгебры. Предполагается вводная часть, в которой будут рассмотрены различные вычислительные модели, приводящие к формализации понятий алгоритма и вычислимой функции. Будет доказана неразрешимость ряда алгоритмических проблем, в частности, неразрешимость проблемы равенства в конечно определенных полугруппах. С другой стороны, будут приведены примеры разрешимых проблем с описанием соответствующих алгоритмов, например проблемы равенства и изоморфизма для конечно порожденных абелевых групп. От слушателей не требуется специальной подготовки, хотя желательно знакомство с основными понятиями алгебры: группы, кольца, гомоморфизма и т.п.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Алгоритмические вопросы алгебры
➰ ВК
#матлог #учёба #спецкурс
С.О.Сперанский прочитает спецкурс НОЦ МИАН «Универсальная алгебра и алгебраическая логика».
Первая лекция: 10 сентября
Место проведения: МИАН, ком. 303
Время проведения: вторник 16:20-17:50
Страница спецкурса: https://www.mathnet.ru/conf2470
Цель курса — познакомить слушателей с универсальной алгеброй и её применениями в изучении семейств логических систем. Содержание курса можно условно разделить на три части:
I) элементы универсальной алгебры;
II) булевы алгебры и их представления;
III) алгебраическая семантика для неклассических логик.
I. Под (абстрактной) алгеброй понимают произвольную структуру в сигнатуре, где единственным предикатным символом является равенство. Многообразиями — от англ. variety; не следует путать с manifold — называют классы алгебр, аксиоматизируемые посредством тождеств, т.е. равенств между термами. Например, можно говорить о многообразии всех групп или колец. В первом приближении универсальная алгебра — наука о многообразиях. Мы познакомимся с основными понятиями и методами универсальной алгебры, применяемыми в логике. В частности, с помощью так называемых свободных алгебр (которые также представляют интерес сами по себе) мы докажем знаменитую теорему Бирхоффа: класс алгебр является многообразием, если и только если он замкнут относительно гомоморфных образов, подструктур и прямых произведений.
II. Под решёткой понимают частично упорядоченное множество, в котором у всякого непустого конечного подмножества есть супремум и инфимум. На самом деле, решётки можно воспринимать как алгебры. Более того, они занимают центральное место в универсальной алгебре. Булевы алгебры — особый класс решёток, играющий важную роль в математике. Мы докажем основные результаты, связанные с булевыми алгебрами. В частности, среди них будут различные версии теоремы о представлении булевых алгебр, одна из которых устанавливает тесную связь между булевыми алгебрами и особого рода топологическими пространствами. Эту связь называют дуальностью Стоуна.
III. Известно, что реляционной семантики, также известной как семантика возможных миров или семантика Крипке, нередко не хватает для полной характеризации логических систем: для таких систем нельзя получить теоремы о полноте относительно реляционной семантики. С другой стороны, практически любая разумная система сильно полна относительно подходящей алгебраической семантики. Несмотря на то что этот тип семантики является существенно более абстрактным, он оказывается весьма удобен с математической точки зрения, поскольку открывает путь к широкому применению методов универсальной алгебры. Мы обсудим алгебраические семантики для (пропозициональных) модальной логики K и интуиционистской логики Int. Эти семантики индуцируют тесные связи между логическими и алгебраическими свойствами. Например, оказывается, что расширение Int обладает интерполяционным свойством Крейга тогда и только тогда, когда соответствующее ему многообразие алгебр является амальгамируемым. Такого рода связи позволяют получать многочисленные яркие результаты.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
➰ ВК
С.О.Сперанский прочитает спецкурс НОЦ МИАН «Универсальная алгебра и алгебраическая логика».
Первая лекция: 10 сентября
Место проведения: МИАН, ком. 303
Время проведения: вторник 16:20-17:50
Страница спецкурса: https://www.mathnet.ru/conf2470
Цель курса — познакомить слушателей с универсальной алгеброй и её применениями в изучении семейств логических систем. Содержание курса можно условно разделить на три части:
I) элементы универсальной алгебры;
II) булевы алгебры и их представления;
III) алгебраическая семантика для неклассических логик.
I. Под (абстрактной) алгеброй понимают произвольную структуру в сигнатуре, где единственным предикатным символом является равенство. Многообразиями — от англ. variety; не следует путать с manifold — называют классы алгебр, аксиоматизируемые посредством тождеств, т.е. равенств между термами. Например, можно говорить о многообразии всех групп или колец. В первом приближении универсальная алгебра — наука о многообразиях. Мы познакомимся с основными понятиями и методами универсальной алгебры, применяемыми в логике. В частности, с помощью так называемых свободных алгебр (которые также представляют интерес сами по себе) мы докажем знаменитую теорему Бирхоффа: класс алгебр является многообразием, если и только если он замкнут относительно гомоморфных образов, подструктур и прямых произведений.
II. Под решёткой понимают частично упорядоченное множество, в котором у всякого непустого конечного подмножества есть супремум и инфимум. На самом деле, решётки можно воспринимать как алгебры. Более того, они занимают центральное место в универсальной алгебре. Булевы алгебры — особый класс решёток, играющий важную роль в математике. Мы докажем основные результаты, связанные с булевыми алгебрами. В частности, среди них будут различные версии теоремы о представлении булевых алгебр, одна из которых устанавливает тесную связь между булевыми алгебрами и особого рода топологическими пространствами. Эту связь называют дуальностью Стоуна.
III. Известно, что реляционной семантики, также известной как семантика возможных миров или семантика Крипке, нередко не хватает для полной характеризации логических систем: для таких систем нельзя получить теоремы о полноте относительно реляционной семантики. С другой стороны, практически любая разумная система сильно полна относительно подходящей алгебраической семантики. Несмотря на то что этот тип семантики является существенно более абстрактным, он оказывается весьма удобен с математической точки зрения, поскольку открывает путь к широкому применению методов универсальной алгебры. Мы обсудим алгебраические семантики для (пропозициональных) модальной логики K и интуиционистской логики Int. Эти семантики индуцируют тесные связи между логическими и алгебраическими свойствами. Например, оказывается, что расширение Int обладает интерполяционным свойством Крейга тогда и только тогда, когда соответствующее ему многообразие алгебр является амальгамируемым. Такого рода связи позволяют получать многочисленные яркие результаты.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
➰ ВК
#матлог #учёба #спецкурс
Д.В. Мусатов прочитает спецкурс "Введение в теорию сложности". Спецкурс читается в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.
Первая лекция: 9 сентября
Место проведения: МИАН, ком. 430.
Время проведения: понедельник, 14:45–16:10.
Страница спецкурса: https://www.mathnet.ru/conf2479
К посту прикреплён конспект лектора этого спецкурса, читавшегося несколькими годами ранее!
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Введение в теорию сложности
📝 compl-book.pdf
➰ ВК
Д.В. Мусатов прочитает спецкурс "Введение в теорию сложности". Спецкурс читается в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.
Первая лекция: 9 сентября
Место проведения: МИАН, ком. 430.
Время проведения: понедельник, 14:45–16:10.
Страница спецкурса: https://www.mathnet.ru/conf2479
К посту прикреплён конспект лектора этого спецкурса, читавшегося несколькими годами ранее!
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Введение в теорию сложности
📝 compl-book.pdf
➰ ВК
❤1
#матлог #учёба #спецкурс
А.В.Кудинов прочитает спецкурс НОЦ МИАН «Сложность неклассических логик».
Первая лекция: 10 сентября
Место проведения: МИАН, ком. 303
Время проведения: вторник 18:00-19:30
Страница спецкурса: https://www.mathnet.ru/conf2469
Аннотация. В курсе мы сделаем краткое введение в теорию сложности и неклассические логики. Далее мы докажем все основные результаты о сложности неклассических логик, среди которых встречаются как и относительно несложные логики, так и очень сложные, вплоть до неразрешимых.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Курс А. В. Кудинова "Сложность неклассических логик"
➰ ВК
А.В.Кудинов прочитает спецкурс НОЦ МИАН «Сложность неклассических логик».
Первая лекция: 10 сентября
Место проведения: МИАН, ком. 303
Время проведения: вторник 18:00-19:30
Страница спецкурса: https://www.mathnet.ru/conf2469
Аннотация. В курсе мы сделаем краткое введение в теорию сложности и неклассические логики. Далее мы докажем все основные результаты о сложности неклассических логик, среди которых встречаются как и относительно несложные логики, так и очень сложные, вплоть до неразрешимых.
Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
🔗 Курс А. В. Кудинова "Сложность неклассических логик"
➰ ВК
VK
Кафедра математической логики МГУ. Запись со стены.
#матлог #учёба #спецкурс
А.В.Кудинов прочитает спецкурс НОЦ МИАН «Сложность неклассических ло... Смотрите полностью ВКонтакте.
А.В.Кудинов прочитает спецкурс НОЦ МИАН «Сложность неклассических ло... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецкурс
Н.К.Верещагин прочитает спецкурс «Апериодические замощения». Это полугодовой спецкурс по выбору кафедры.
Первая лекция: 10 сентября
Место проведения: зум
Время проведения: вторник 18:30–20:05
Страница спецкурса: http://logic.math.msu.ru/staff/ver/old/tilings/tilings2024/
Аннотация.
Пусть задан набор плиток, каждая из которых является многоугольником, и заданы локальные правила их соединения друг с другом. Такой набор называется апериодическим, если с его помощью можно замостить всю плоскость, но любое такое замощение непериодично. Интерес к апериодическим замощениям у логиков возник потому, что с их помощью можно доказать неразрешимость некоторых фрагментов исчисления предикатов. Сейчас известно около двух десятков апериодических наборов. Наиболее известными из них являются замощения Пенроуза, предположительно, связанные с квазикристаллами.
🔗 Курс «Апериодические замощения». Осень 2024 — Кафедра математической логики и теории алгоритмов меха
➰ ВК
Н.К.Верещагин прочитает спецкурс «Апериодические замощения». Это полугодовой спецкурс по выбору кафедры.
Первая лекция: 10 сентября
Место проведения: зум
Время проведения: вторник 18:30–20:05
Страница спецкурса: http://logic.math.msu.ru/staff/ver/old/tilings/tilings2024/
Аннотация.
Пусть задан набор плиток, каждая из которых является многоугольником, и заданы локальные правила их соединения друг с другом. Такой набор называется апериодическим, если с его помощью можно замостить всю плоскость, но любое такое замощение непериодично. Интерес к апериодическим замощениям у логиков возник потому, что с их помощью можно доказать неразрешимость некоторых фрагментов исчисления предикатов. Сейчас известно около двух десятков апериодических наборов. Наиболее известными из них являются замощения Пенроуза, предположительно, связанные с квазикристаллами.
🔗 Курс «Апериодические замощения». Осень 2024 — Кафедра математической логики и теории алгоритмов меха
➰ ВК
👍1