Заседания семинаров
В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 3).
Бирама Сангаре
Автоморфизмы и антиавтоморфизмы квандлов (продолжение).
Демиденко Г. В.
Об одном классе уравнений, не разрешенных относительно старшей производной (продолжение).
О. В. Капцов (ФИЦ ИВТ Новосибирск) Решения уравнений акустики неоднородной среды и газовой динамики.
Аннотация
В докладе рассматриваются одномерные уравнения акустики неоднородных сред и система уравнений газовой динамики с постоянной энтропией. Используя подход Римана, уравнения газовой динамики сводятся к линейному гиперболическому уравнению второго порядка с переменными коэффициентами. С помощью преобразований Эйлера-Дарбу построены решения этого уравнения. Это позволило найти точные решения уравнений акустики и газовой динамики, зависящие от двух произвольных функций.Cовместное заседание семинаров «Теория графов» и «Теория кодирования»
А. М. Райгородский
Задачи комбинаторной геометрии в пространствах Минковского и на сферах.
Cовместное заседание семинаров «Теория графов» и «Теория кодирования»
А. М. Райгородский
Задачи комбинаторной геометрии в пространствах Минковского и на сферах.
А. П. Жиянов (НИУ ВШЭ)
Оценка статистической значимости одного классификатора, идентифицирующего ER-положительный рак молочной железы.