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

В МИАН будет работать семинар «Вероятностные и субструктурные логические системы» (рук. С.Л. Кузнецов и С.О. Сперанский), ориентированный на студентов и аспирантов.

Первое занятия: 11 февраля

Место проведения: МИАН, ком. 303

Время проведения: вторник 16:00-17:30

Страница спецсеминара: https://www.mathnet.ru/conf2533

Вероятностные логические системы играют важную роль в приложениях логики в компьютерных науках, где часто приходится иметь дело с данными вероятностной природы. Изучение вычислительных и теоретико-модельный свойств такого рода систем (как финитарных, так и инфинитарных) представляет собой актуальную задачу в логике и теоретической информатике. Кроме того, интерес представляют модальные обогащения вероятностных логических систем, позволяющие одновременно рассуждать о знании (моделируемом посредством S5-модальностей) и вероятности.

Субструктурные логики — это логические системы, в которых не принимаются все или некоторые из структурных правил. Такие логики используются для моделирования вычислений с ограниченными ресурсами (ресурс, в отличие от математического утверждения, нельзя использовать повторно), а их некоммутативные версии находят применения в математической лингвистике. Инфинитарные расширения субструктурных логик обладают интересными алгоритмическими и теоретико-доказательственными свойствами.

Предварительная программа
Предполагаемый формат семинара — доклады продолжительностью в 2–4 занятия. Каждый доклад будет посвящён некоторой вероятностной или субструктурной логической системе и включать разбор доказательств сопутствующих результатов. Докладчики будут выбираться руководителями семинара, в основном из числа студентов и аспирантов.
В качестве источников могут выступать статьи и главы из книг, а также собственные тексты докладчиков.

🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&


➰ ВК