ИМ СО РАН
Вход для сотрудников

Семинары ИМ СО РАН

Заседания семинаров

16.20 ч., ауд. 115, ИМ

Л. Л. Максимова, В. Ф. Юн (ИМ СО РАН, Новосибирск)
Пример логик с интерполяционным свойством CIP, сумма которых не имеет CIP.

Аннотация

Мы рассматриваем интерполяционные свойства в расширениях минимальной логики $J$. Из описания суперинтуиционистских, негативных логик с интерполяционным свойством Крейга CIP следует, что сумма таких логик, обладающих свойством CIP, тоже имеет CIP. Для $J$-логик это не так.

Первый пример логик с CIP, сумма которых не имеет этого свойства, найден в [Л. Л. Максимова. Метод доказательства интерполяции в расширениях минимальной логики. Алгебра и логика, 46, № 5 (2007), 627–648] и использовал семантические методы. В [Л. Л. Максимова, В. Ф. Юн. Расширение минимальной логики и проблема интерполяции. Сибирский мат. журнал. 59, no. 4 (2018), 863–878] приведены еще несколько примеров, при этом строились алгебраические доказательства.

Мы докажем, используя алгебраические методы, что сумма логик (Int*NC), OdF с CIP не обладает интерполяционным свойством Крейга, и даже ограниченным интерполяционным свойством IPR.

16.30 ч., Yandex Telemost

В. Ю. Губарев
Операторы Роты - Бакстера веса 0 на алгебре матриц 3-го порядка, не содержащие в ядре единицу.

АннотацияПолучена классификация операторов Роты - Бакстера $R$ веса 0 на алгебре $M3(F)$ таких, что $R(1) \ne 0$. Для решения данной задачи применялись как сопряжение с подходящими автоморфизмами матричных подалгебр, так и вычисления, проведённые в системе компьютерной алгебры Singular. Помимо этого описаны операторы Роты - Бакстера $R$ веса 0 на алгебре верхнетреугольных матриц 3-го порядка (arXiv:2404.00289).
18.10 ч., ауд. 5273, НГУ

Болдырев И. А.
О проектах "Фреймворк СИГМА" и "Платформа АРХИ - управление строительным проектом".

10.50 ч., к.213, ИМ СО РАН

Нозимов Д. З. (НГУ)
Filzah Mohamed Othman, Nor Aiza Mohd-Zamil, Siti Zaleha Abdul Rasid, Amin Vakilbashi, Mozhdeh Mokhber
Data Envelopment Analysis: A Tool of Measuring Efficiency in Banking Sector (International Journal of Economics and Financial Issues, 2016, v.6, N. 3).

14.30 ч., к. 417, ИМ
Zoom

В. А. Александров (ИМ СО РАН, Новосибирск)
Вложенный многогранник, допускающий изгибание, при котором все его двугранные углы изменяются.

АннотацияВ докладе даётся положительный ответ на следующий вопрос И. Х. Сабитова: Существует ли замкнутый изгибаемый многогранник в трёхмерном евклидовом пространстве, не имеющий самопересечений и такой, что при некотором его изгибании изменяются все двугранные углы? Наш пример такого многогранника имеет 26 вершин, 72 ребра и 48 граней. Для изучения его свойств использованы как традиционные геометрические построения и рассуждения, так и символьные вычисления в системе Mathematica. Это совместная работа с Е. П. Волокитиным (ИМ СО РАН, Новосибирск).
14.30 ч., Google Meet

Алексей Ратушный
Верхние и нижние оценки оптимума для динамических задач упаковки (кандидатская диссертация по специальности 1.2.2).

Список семинаров

***

В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.

На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.

Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.

***

Семинары ИМ СО РАН