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

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

Дата и время: 19.09.2025 в 16:20

Семинар пройдет в очном формате на Математическом факультете ВШЭ,
аудитория 213 (ул. Усачева, д. 6)

Дата и время: 19.09.2025 в 16:20

Докладчик: М.Р. Пентус

Название: Синтаксическое исчисление Ламбека.

Аннотация:

В докладе представлены основные определения и некоторые теоремы про исчисление Ламбека — математическую систему, предназначенную для формализации синтаксиса естественных языков.
Исчисление Ламбека относится к неклассической логике.
 
Предварительных знаний о логике не требуется.

Мы очень постараемся параллельно вещать в ZOOM, но может не получиться, так что приходите! Для получения ссылки пишите на почту kudinov.andrey@gmail.com.

➰ ВК