Заседания семинаров
Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Павел Сергеевич Колесников
О вычислении произведений Манина для операд (по совместной работе с Б. К. Сартаевым).
Аннотация
Мы рассмотрим задачу вычисления белого и черного произведений Манина для бинарных квадратичных операд с точки зрения соответствующих этим операдам многообразий алгебр. Будут представлены "рецептурные" подходы к вычислению определяющих тождеств многообразий, заданных операдами белого и черного произведений Манина.Объединенное заседание семинаров Теория графов и Кафедры теоретической кибернетики НГУ
Х. Голмохаммади
Domination invariants and their properties (кандидатская диссертация).
Олег Хамисов (Иркутск)
Об одной задаче составления расписания массовых перевозок.
Е. И. Хлестова
Реферат статьи:
R. E. Woodrow
Theories with a Finite Number of Countable Models (продолжение).
В. Д. Шепелев
Сильная $\pi$-теорема Силова для групп $PSL_{2}(q)$.
Любанова А. Ш. (Сибирский федеральный университет, Красноярск)
Обратные и нелокальные задачи для уравнений и систем диффузии и фильтрации (по материалам докторской диссертации).
Аннотация
Исследуется корректность некоторых новых коэффициентных обратных задач для уравнений соболевского типа и ассоциированных с ними задач для уравнений эллиптического и параболического типа. Исследуются свойства решений некоторых из обратных задач для уравнений соболевского типа (устойчивость, гладкость, асимптотическое поведение). Постановки коэффициентных обратных задач для линейных уравнений эллиптического и соболевского типа и результаты, полученные для них, обобщаются на случай нелинейных уравнений фильтрации. Методы решения обратных задач для эволюционных уравнений применяются для исследования нелокальных краевых задач для систем нагруженных уравнений параболического и соболевского типа, в которых условия по времени заданы только для одной из неизвестных функций. Устанавливаются достаточные условия глобальной однозначной разрешимости таких задач.М. Э. Иванов
Упорядоченные группы и 3-многообразия, I.