Семинар Добрушинской лаборатории
Когда: вторник 8 сентября
Где: Адм.корпус, ауд.322.
Состоится два доклада
16:00: А. Ю. Плахов (ун-т Авейро, ИППИ), Локуциевский Л.В. (МИАН),
"Изопериметрическая задача для квази-финслеровых метрик и её применение к задачам наименьшего сопротивления // Isoperimetric problem for quasi-Finsler metrics and its application to least resistance problems"
Выпуклое плоское тело движется в разреженной среде на плоскости и совершает медленные колебания вокруг некоторой своей точки. Точечные частицы среды не взаимодействуют друг с другом и отражаются от тела абсолютно упруго. Требуется найти тело наименьшего среднего сопротивления в классе тел фиксированной площади. Сопротивление - это криволинейный интеграл $\int_{\partial B} P(e_\xi)\,d\xi$, где $B$ - тело, $e_\xi$ - внешняя единичная нормаль к нему в точке $\xi$, а функция $P$ определяется по закону колебаний. При определённых (довольно слабых) ограничениях на закон колебаний оптимальное тело имеет $C^2$-гладкую границу везде, за исключением конечного числа точек. Изломы могут возникать только в передней и задней точках тела при некоторых условиях на параметры (эти условия выписаны).
17:00: Валентин Шехтман (МФТИ),
"Кванторы и модальности // Quantifiers and modalities"
Аналогия между кванторами и модальностями была замечена еще в далекие времена. В современный период она наблюдается в виде переводов кванторов в модальности и наоборот. Связь логических исчислений при таких переводах нетривиальна, но в некоторых случаях ее можно точно описать. В докладе приводятся результаты о переводе модальных логик предикатов в модальные логики высказываний. Для их доказательства применяются симплициальные модели предикатных логик, которые строятся на основе нервов группоидов (конструкция Гротендика, хорошо известная в теории категорий).
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский
Когда: вторник 8 сентября
Где: Адм.корпус, ауд.322.
Состоится два доклада
16:00: А. Ю. Плахов (ун-т Авейро, ИППИ), Локуциевский Л.В. (МИАН),
"Изопериметрическая задача для квази-финслеровых метрик и её применение к задачам наименьшего сопротивления // Isoperimetric problem for quasi-Finsler metrics and its application to least resistance problems"
Выпуклое плоское тело движется в разреженной среде на плоскости и совершает медленные колебания вокруг некоторой своей точки. Точечные частицы среды не взаимодействуют друг с другом и отражаются от тела абсолютно упруго. Требуется найти тело наименьшего среднего сопротивления в классе тел фиксированной площади. Сопротивление - это криволинейный интеграл $\int_{\partial B} P(e_\xi)\,d\xi$, где $B$ - тело, $e_\xi$ - внешняя единичная нормаль к нему в точке $\xi$, а функция $P$ определяется по закону колебаний. При определённых (довольно слабых) ограничениях на закон колебаний оптимальное тело имеет $C^2$-гладкую границу везде, за исключением конечного числа точек. Изломы могут возникать только в передней и задней точках тела при некоторых условиях на параметры (эти условия выписаны).
17:00: Валентин Шехтман (МФТИ),
"Кванторы и модальности // Quantifiers and modalities"
Аналогия между кванторами и модальностями была замечена еще в далекие времена. В современный период она наблюдается в виде переводов кванторов в модальности и наоборот. Связь логических исчислений при таких переводах нетривиальна, но в некоторых случаях ее можно точно описать. В докладе приводятся результаты о переводе модальных логик предикатов в модальные логики высказываний. Для их доказательства применяются симплициальные модели предикатных логик, которые строятся на основе нервов группоидов (конструкция Гротендика, хорошо известная в теории категорий).
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_Добрушинский