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

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

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

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

Язык доклада: английский.

Докладчик: Стас Кикоть

Название: Переформулировка запросов относительно представлений и интерполяция Крейга.

Аннотация.

В докладе пойдет речь о задаче "по набору представлений базы данных и запросу в терминах базовых таблиц определить, можно ли переформулировать запрос в терминах таблиц-представлений" и её связи с интерполяцией Крейга. Все необходимые понятия будут введены по ходу доклада.

➰ ВК