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

Уважаемые коллеги!

Приглашаем вас на Однодневный семинар по математической логике, который пройдет 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

🔗 Семинар по математической логике


➰ ВК

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

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

Дата и время: 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


➰ ВК

#матлог #наука #семинар #не_мехмат

Ближайший доклад на семинаре «Математические основы искусственного интеллекта» (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.

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
(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"


➰ ВК

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

Поздравляем всех с новым учебным годом!!!
В течение ближайших дней в группе будет серия постов о спецкурсах кафедры и спецкурсах по логике, читаемых в МИАН.

Первый пост будет про самый базовый спецкурс "Математическая логика". Это годовой спецкурс по выбору кафедры, он обязателен для сдачи всеми студентами, поступившими к нам на кафедру. То, что на нём рассказывают (но не только это), должен знать каждый уважающий себя логик!!!

Спецкурс читается по средам с 12:30 до 14:05, аудитория 464.

Доступны видеозаписи прошлых лет на teach-in:
первая часть https://teach-in.ru/course/matlog-yavorskaya-p1
вторая часть https://teach-in.ru/course/mathematical-logic-kuznetsov2

По этим же ссылкам можно найти конспект спецкурса.

➰ ВК

#матлог #новости

Для тех, кому удобнее читать нас в телеграме, мы создали канал!

Туда будут автоматически репоститься все посты из этой группы, что-то уникальное выкладывать не планируем.

Читайте логические новости там, где вам удобно!

https://t.me/msu_mathlog

➰ ВК

Ушла из жизни Лилия Алексеевна Чагрова https://www.mathnet.ru/php/person.phtml?personid=208921&option_lang=rus&ysclid=m0qj92at9y921336892.

Прощание состоится завтра, 7 сентября, в морге 4-й горбольницы Твери в 9:45. Там же в церкви будет отпевание.

🔗 Персоналии: Чагрова Лилия Алексеевна


➰ ВК