Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Место проведения: аудитория 212, Ректорский корпус (ул. Пирогова, д. 1)
Докладчики:
Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Докладчики:
Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Ориентируемся на просмотр следующих фильмов.
- Братство Мехмата (50 мин.)
- Академик Лаврентьев (35 мин.)
- Академик Сергей Львович Соболев. Сибирские страницы (20 мин.)
- С. А. Христианович. Из фильма «Созвездие» (10 мин.)
Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Докладчики:
Докладчики:
Докладчики:
Докладчики:
Докладчики:
Докладчики:
Докладчики:
Докладчик:
Место проведения: Стадион НГУ
Место проведения: Креативное студенческое пространство, Корпус поточных аудиторий (ул. Пирогова, д. 3), 1 этаж
Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Докладчик:
Место проведения: аудитория 442, Корпус поточных аудиторий (ул. Пирогова, д. 3)
Ориентируемся на просмотр следующих фильмов:
- Президент сибирской науки (37 мин.)
- Академик Гурий Марчук (32 мин.)
- 100-летие академика Николая Николаевича Яненко (24 мин.)
- Академик Ершов. Человек без галстука (20 мин.)
- Visa pour l’avenir. Akademgorodok (54 мин.)
Место проведения: Арт Паб (ул. Терешковой, 12А)
В рамках программы запланирован квиз (про математику, университет, Академгородок и не только). Для участия нужно собрать команду (один стол – одна команда) и зарегистрировать ее по ссылке.
Возможности площадки ограничены. Чтобы точно попасть на мероприятие, регистрируйте команду как можно скорее.
Аннотация. В ходе доклада я расскажу о Михаиле Алексеевиче Лаврентьеве – выдающемся ученом, основателе Сибирского отделения Академии наук СССР и Новосибирского Академгородка.
Аннотация. В ходе доклада будет рассказано о фундаменте, на котором строился Механико-математический факультет, и об основных исторических вехах развития факультета
Аннотация. Обсуждается роль механики на современном этапе развития науки и технологий. Рассмотрен ряд актуальных тем, в значительной степени взаимосвязанных друг с другом и содержащих принципиальные для механики результаты. Среди них:
1. Нелинейные волны и процессы переноса в кольцевых двухфазных потоках и стекающих пленках жидкости;2. Вихревые структуры и явление перезамыкания;
3. Механика и энергетические технологии;
4. Экстремальные климатические явления и климатические катастрофы.
Аннотация. TBA
Аннотация. В ходе доклада я расскажу об истории кафедры Теоретической кибернетики ММФ НГУ и о двух примерах прикладных задач комбинаторной оптимизации, которые дали толчок для фундаментальных исследований и получения новых результатов.
Аннотация. Классическая задача Кеплера – задача о движении планет вокруг солнца. Законы Кеплера непосредственно вытекают из симметрий нашего пространства: оно однородно, изотропно и выдерживает гомотетии. Среди римановых многообразий такими свойствами обладает только евклидово пространство. Однако, мир субримановых многообразий намного богаче. Группа Гейзенберга как метрическое пространство с субримановой метрикой обладает схожими симметриями, и на ней естественно формулируется аналог задачи Кеплера, который мы и решаем.
Аннотация. «Все, что происходит сейчас, зависит от того, что было в прошлом» – этот принцип лежит в основе теории уравнений с запаздыванием. В отличие от классических моделей, эти уравнения учитывают информацию о состоянии системы в предшествующие моменты времени, что делает их незаменимым инструментом для повышения точности математического моделирования реальных процессов. Доклад посвящен анализу таких уравнений, которые находят применение в самых разных областях: от биологии и экологии до экономики и инженерии. В докладе мы остановимся на связи дифференциальных уравнений с запаздыванием с системами обыкновенных дифференциальных уравнений большой размерности и свойствах их решений, в том числе устойчивости. Ответы на вопросы о том, как ведет себя решение уравнений при наличии запаздывания и сохраняет ли оно устойчивость, имеют ключевое значение для практических приложений, так как позволяют предсказывать поведение сложных систем и управлять ими.
Аннотация. В докладе будут рассмотрены вопросы обобщённо вычислимых представлений алгебраических структур в рамках двух обобщённых подходов к вычислимости над вещественными числами: Сигма-определимости в наследственно конечной надстройке над вещественными числами и вычислимости с помощью машин Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимости).
Аннотация. Я расскажу о современном состоянии исследований в классической проблеме Борсука, в том числе в неевклидовых метриках, и о связи этой проблемы с экстремальной теорией графов и теорией кодов, исправляющих ошибки.
Аннотация. Внутренние и инерционные волны подчиняются дисперсионному соотношению, связывающему частоту и угол распространения волн относительно выделенного направления, заданного вектором силы тяжести или вектором угловой скорости. Отражение волновых лучей от твердых стенок в такой системе подчиняется закону Филлипса, который существенным образом изменяет правило формирования «бильярдов» по сравнению с классическим случаем. В замкнутой двумерной области при определенных сочетаниях частоты волн и геометрии области возможно формирование волновых аттракторов – замкнутых траекторий волновых лучей, на которых происходит фокусировка волновой энергии. В пространственных областях наблюдается большое многообразие режимов: нормальные моды, галереи шепотов, аттракторы, супер-аттракторы и т.д. В реальных физических системах имеет место большое разнообразие линейных и нелинейных режимов, основные динамические особенности которых обсуждаются в настоящем докладе. В качестве физических приложений особый интерес представляет поведение жидких оболочек небесных тел при наличии приливных возмущений.
Название. О теореме Нетер для неканонических гамильтоновых систем
Аннотация. Будет рассказано об интегральных инвариантах неканонических скобок Пуассона для уравнений гидродинамического типа. Один класс инвариантов получается при применении теоремы Нетер для полевых гамильтоновых систем с неканонической скобкой Пуассона. Эти инварианты существуют для определенного вида гамильтонианов. Второй класс инвариантов (функционалы Казимира) полностью независим от вида гамильтониана и определяется только структурой скобки Пуассона. Будет показана связь законов сохранения со структурой скобки Пуассона, показан алгоритм для построения лагранжевых инвариантов.
Аннотация. В работе разработан гибридный дискретно-континуальный (сеточно-бессеточный) Лагранжевый подход к решению высокоскоростных нестационарных задач МДТТ, который позволяет моделировать процесс разрушения до исчерпания запаса кинетической энергии ударника или его полной фрагментации. Построена замкнутая упругопластическая дискретная модель гетерогенной среды для прямого численного моделирования высокоскоростного деформирования и разрушения пространственно армированных металломатричных, металлокерамических композитов с уникальными функциональными свойствами. Создан программный пакет «REACTOR3D» для моделирования сценариев поведения технических изделий в реальных условиях функционирования (скорости удара до 20 км/с). Пакет позволяет конструировать гетерогенные материалы с заданными свойствами и определять предельные величины на разрушение и физико-механические свойства на основе знаний свойств гомогенных компонент и структуры гетерогенной среды.
Аннотация. В теории геометрических асимптотик лагранжевы многообразия служат ключевым инструментом построения коротковолновых асимптотических решений уравнений с гладкими регулярными коэффициентами. Мы исследуем аналоги этих геометрических объектов для гиперболических систем со сглаженными скачками коэффициентов.
Аннотация. Моделирование неравновесных течений критически важно для многих современных приложений: аэрокосмическая отрасль, применение низкотемпературной плазмы в технологиях, медицине, экологии. В условиях сильных отклонений от равновесия особую роль при описании течений играют процессы, протекающие в разных временных масштабах. В ходе доклада мы обсудим новые теоретические модели физико-химических процессов при столкновениях молекул, послужившие основой для построения замкнутых макроскопических моделей неравновесной гидродинамики различной степени сложности. Мы рассмотрим наиболее детальные системы уравнений неравновесной газовой динамики, учитывающие кинетику всех возбужденных состояний, а также современные способы сведения их к вычислительно эффективным сокращенным описаниям, в том числе, с использованием методов машинного обучения.
Аннотация. В докладе пойдет речь о всеобъемлющей реконструкции Национального корпуса русского языка, проведенной в 2020-2023 гг. на базе Института проблем передачи информации им. А. А. Харкевича Российской академии наук, в котором работал докладчик, об истории корпуса и о его глубоких и тесных связях с Академгородком.
Аннотация. В 1960е годы Ю. Л. Ершовым и Д. Скоттом бычёли заложены теоретические основы денотационной семантики, используемой для описания функциональных языков. Чуть позже несколькими авторами это же было сделано для операционной семантики широко распространенных императивных языков программирования. Алгебраические методы апроксимации операционной семантики (далее было показано что и других) получили развитие в работах П. Кузо и Р. Кузо. Это позволило систематически конструировать методы приближенного анализа семантических свойств, которые используются для оптимизации программ и поиска в них ошибок. Даётся краткая характеристика АИ как теории отображения на чум, примеры приближенных анализов, актуальные задачи анализа семантики.
Аннотация. Доклад посвящен проектам группы «Индустриальный ИИ» (AIRI) на стыке прикладной математики, физики и машинного обучения. Будет показано, как физически-информированные и генеративные нейросети (PINN, нейронные операторы, NeuralDE) решают задачи, задаваемые уравнениями в частных производных, от моделирования физических полей и живых тканей до задач астрономии и биомедицины. Отдельный блок посвящен биоинспирированному мультиагентному обучению для роевой робототехники, включая координацию кластеров из сотен агентов. В промышленном контуре будут представлены методы предиктивного обслуживания оборудования на основе графовых нейросетей и самообучения с прогнозом остаточного ресурса и виртуальными датчиками, а также модели для науки об аккумуляторах, включая прогноз деградации емкости и оценку ресурса батарей электромобилей. Доклад показывает, как математический аппарат от дифференциальных уравнений до теории графов ложится в основу индустриального ИИ.
Аннотация. В докладе будет рассказано о решении задачи Робина Чапмена, связанной с вычислением определителей некоторых целочисленных матриц. Удивительным образом, ответ оказывается связанным с арифметическими инвариантами квадратичных полей. Также будет рассказано о дальнейших обобщениях и связанных открытых вопросах.
Аннотация. В гиперболическом пространстве существование многогранников конечного объёма с прямыми двугранными углами существенно зависит от размерности. Такие многогранники известны в размерностях до 8 включительно, а в размерностях от 13 их существование невозможно. Промежуточные случаи остаются открытыми. В докладе обсудим ограничения на комбинаторное устройство возможных многогранников в этих размерностях. Основное внимание уделим новым нижним оценкам числа конечных и идеальных вершин. Эти оценки показывают, что в старших размерностях существование таких многогранников требует очень большого числа вершин обоих типов.
Аннотация. Доклад посвящен предельным теоремам для аддитивного стохастического градиентного спуска с фиксированным размером шага, который в конечном итоге стремится к нулю. Исследуется локальное асимптотическое поведение данного метода и устанавливаются условия, при которых процесс сходится к критическим точкам либо остается в их окрестности.
Аннотация. В докладе рассматривается современное состояние дел в области математического моделирования и объясняется необходимость перехода к новым объектам - цифровым двойникам. Будет показано, что с помощью цифровых двойников возможен революционный скачок в получении новых знаний.
Аннотация. История ключевых открытий, катастроф, достижений и разочарований. Современные методы моделирования детонационных параметров и экспериментальных исследований, в том числе с использованием синхротронного излучения.
Аннотация. Классическая теория формальных методов изящна, она развивает понимание что такое «программа для ЭВМ», но при внедрении в практику столкнулась с вычислительными и человеческими сложностями. Возникает вопрос: поможет ли прогресс больших языковых моделей исправить положение с практическими применениями формальных методов?
Аннотация. На протяжении всей истории одной из главных мотиваций для разработки новых языков программирования было уменьшение ментальной нагрузки на разработчиков: так появлялись все более высокоуровневые и безопасные языки, продвинутые управляемые среды исполнения, сборщики мусора и типовые системы. Но в современном мире данная мотивация звучит все слабее: люди все меньше пишут код вручную, вместо этого используют агентов и LLM.
Так нужны ли нам еще новые языки программирования и их создатели? В этом докладе:
1) рассмотрим различные аспекты современной разработки, в которых необходимы инновационные подходы к дизайну языков программирования,
2) проанализируем влияние особенностей реализации языков на использование их в качестве инструмента при агентской разработке,
3) предположим, что нас ждет дальше, и попробуем ответить на изначальный вопрос: нужны ли еще нашему миру новые языки программирования?
Аннотация. Не потому математика прекрасна, что у нее есть приложения, а потому у нее есть приложения, что она прекрасна. Я расскажу о некоторых задачах комбинаторики, которые хорошо иллюстрируют этот тезис.
Аннотация. Речь пойдет о булевозначной модели теории множеств. Это очень необычная модель с очень необычной логикой. В ней утверждение не обязано быть истинным или ложным и может оказаться слегка истинным, изрядно ложным и т.п. Именно с помощью этой науки в свое время была успешно решена самая знаменитая математическая задача XX века — «Проблема континуума».
Наука — крутая, изложение — легкомысленное. Точные определения и строгие доказательства заменяются комиксами и пантомимой.
В программе:
- Упрощение предметов силой взгляда
- Установление истинности подмигиванием
- Выведение многоглазых гуманоидов
- Диалог с инопланетянами по мобиле
- Спуск халявы из космоса
- Клонирование вселенной
- Скольжение по параллельным мирам
- Утолщение континуума на расстоянии
Описание. В интерактивной лекции будет обсуждаться математическая «составляющая» как крупнейших достижений цивилизации, так и математическая «начинка» привычных, каждодневных вещей. Будут использованы материалы книги «Математическая составляющая» и проекта «Математические этюды».
Аннотация. Теория обобщенной вычислимости сформировалась во второй половине XX века в работах Р. Монтегю, Я. Московакиса и Дж. Барвайса. Примечательно, что эти же математики внесли существенный вклад в развитие математической лингвистики. Особое место здесь занимают результаты Монтегю по формальной семантике естественных языков. В докладе обсуждаются обобщенно конструктивные модели интенсиональной логики Монтегю, основанные на построенных Ю.Л. Ершовым пространствах вычислимых функционалов конечных типов. Обсуждается также понятие семантической близости лингвистических структур, использующее аналог расстояния редактирования Левенштейна, в качестве альтернативы отношению эффективной интерпретируемости.
Аннотация. Обсуждается роль механики на современном этапе развития науки и технологий. Рассмотрен ряд актуальных тем, в значительной степени взаимосвязанных друг с другом и содержащих принципиальные для механики результаты. Среди них:
1. Нелинейные волны и процессы переноса в кольцевых двухфазных потоках и стекающих пленках жидкости;
2. Вихревые структуры и явление перезамыкания;
3. Механика и энергетические технологии;
4. Экстремальные климатические явления и климатические катастрофы.
Аннотация. Мы обсудим некоторые проблемы геометрии и топологии в общем контексте современной науки.
Аннотация. Я расскажу вам о собственных воспоминаниях о Механико-математическом факультете в разные периоды его истории.
Аннотация. В докладе дается краткий обзор развития интервального анализа и его приложений с середины прошлого века до настоящего времени.
Аннотация. «Базельской задачей» с легкой руки Якова Бернулли называется задача о том, чему равна сумма ряда обратных квадратов натуральных чисел, очень популярная в XVII-XVIII веках среди крупных математиков того времени. Мы начнем с того, как совсем молодой Эйлер в первые годы своего приезда в Петербург смог посчитать оценку суммы ряда обратных квадратов с непостижимой по тем временам (и впечатляющей даже сейчас) точностью в шесть знаков после запятой. Я объясню, почему до Эйлера это всем казалось невероятно трудным и за счет какой магии это смог сделать Эйлер. Потом мы увидим, как он угадал точный ответ и придумал правдоподобное объяснение (хоть и не доказательство), почему этот ответ верен. Если у нас останутся время и силы, я еще расскажу принадлежащее Коши элементарное, на уровне школьной геометрии, доказательство результата Эйлера.