Новости

Веб-почта

Ссылки

Карта сайта
Наука Семинары Расписание семинаров  
Понедельник, 09.12.2019

Семинар «Эварист Галуа»
18.10 ч., ауд. 5218, новый корпус НГУ
Т. Р. Насыбуллов
Беседа: Тенденции университетского образования в России и за рубежом.


Семинар «Теория групп»
16.20 ч., к. 417, ИМ
Н. В. Маслова (Екатеринбург)
О пронормальности подгрупп нечётных индексов в некоторых конечных группах.


Математические модели принятия решений
11.00 ч., ауд. 344, ИМ
Г. Мелиди, С. Назаренко
Оптимальное распределение ресурсов между проектами и их расписание.
Семинар «Геометрия, топология и их приложения»
10.45 ч., к. 417, ИМ
С. В. Агапов
Анормальные геодезические в субримановой геометрии. III.
Вторник, 10.12.2019

Семинар «Алгебра и логика»
16.30 ч., конф. зал, ИМ
П. С. Колесников, А. С. Панасенко
Коммутаторные алгебры Новикова специальны.

Н. В. Маслова (Екатеринбург)
О пронормальных подгруппах в конечных группах.

Д. О. Ревин
О субмаксимальных и эпимаксимальных $\mathfrak{X}$-подгруппах.


Семинар «Теория графов»
16.20 ч., к. 344, ИМ
А. А. Валюженич
Минимальные носители ($n-2$)-собственных функций Стар графа (Совместно с В. В. Кабановым, Е. В. Константиновой, Л. В. Шалагиновым, arxiv.org/abs/1910.01374).
Семинар «Дискретные экстремальные задачи»
14.30 ч., к. 220, ИМ
Снытникова Т. В. (м.н.с. ИВМиМГ СО РАН)
Ассоциативный инкрементальный алгоритм обработки дерева кратчайших путей.

Аннотация:
Рассматриваются особенности ассоциативной обработки данных и проблемы реализации ассоциативных вычислений. Представляется ассоциативный инкрементальный алгоритм обработки дерева кратчайших расстояний после добавления дуги в графе и его использование в случае добавления вершины. Вычислительный эксперимент на случайных графах (количество вершин варьировалось от 2048 до 8192)показал, что в более чем 50% случаев при добавлении дуги кратчайшие расстояния не изменяются и в 99% случаев количество вершин, для которых кратчайшее расстояние уменьшилось, не превышает 5.
Среда, 11.12.2019
Семинар «Криптография и криптоанализ»
14.30 ч., ауд. 324, старый главный корпус НГУ
А. Куценко
Квантовый криптоанализ: алгоритмы Шора и Гровера.
Семинар «Теория моделей» имени Е. А. Палютина
13.00 ч., к. 344, ИМ
А. Б. Даулетиярова реферирует статью:
Rosario Mennuni, Product of invariant types modulo domination-equivalence (продолжение).
Четверг, 12.12.2019
 
Пятница, 13.12.2019
Общеинститутский математический семинар
15.00 ч., к. 417, ИМ
15.00–15.30
Одинцов С. П., Сперанский С. О., Шевченко И. Ю.
Семантика реализуемости для логики Хинтикки с независимыми кванторами.

Аннотация:
Отличие синтаксиса логики Хинтикки с независимыми кванторами (IF-логики) от логики первого порядка (FOL) состоит в том, что подкванторные переменные заменяются на выражения вида x\X, где x — индивидная переменная, а X — конечное множество индивидных переменных, смысл которых состоит в том, что выбор значения переменной x должен осуществляться независимо от значений переменных из множества X.  Данная модификация приводит к значительному росту выразительных возможностей логики и неожиданным с точки зрения оснований математики следствиям, например, в языке IF-логики можно выразить предикат истинности для предложений IF-логики. Вместе с тем IF-логика сохраняет такие важные свойства FOL как компактность, свойство Бета, теорема Левенгейма Сколема, теорема об отделении и т.д.
В данной работе впервые систематически исследуется связь IF-логики с конструктивными семантиками и исследуется возможность построения для нее BHK-интерпретации (данное название объединяет различные конструктивные семантики, берущие начало от задачной интерпретации интуционистской логики А.Н. Колмогорова). Доказано, что семантика реализуемости по Нельсону представляет собой конструктивную версию теоретико-игровой семантики (GTS) для FOL. Построена семантика реализуемости, являющая конструктивной версией GTS для IF-логики. Доказано, что семантика IF-реализуемости консервативным образом расширяет реализуемость по Нельсону. Таким образом, расширен набор хороших свойств IF-логики (наличие конструктивной семантики) и установлено наличие тесной связи между двумя направлениями исследований, которые развивались ранее независимо друг от друга.

15.40–16.10
Гончаров С. С., Оспичев С. С., Пономарев Д. К., Свириденко Д. И.
Логический язык описания полиномиальной вычислимости.

Аннотация:
В рамках парадигмы Семантического программирования, предложенной в работах С. С. Гончарова, Ю. Л. Ершова, Д. И. Свириденко, решен вопрос об алгоритмической сложности расширений языка $\Delta_0$-формул с помощью термов, отражающих операторы рекурсии по списку, итерации, ограниченной константой, и поиска по спискам. Доказано, что множество $\Delta_0$-формул, расширенных рекурсивными термами, истинных в заданной списочной надстройке $HW(M)$ неэлементарно (содержит класс $k$EXPTIME для любого $k \ge 1$). В частности, из этого следует что данное расширение неконсервативно. Для $\Delta_0$-формул, расширенных термами константно ограниченной итерации, проблема истинности в заданной $HW(M)$ NEXPTIME-трудна и лежит в классе 2EXPTIME, если константа задана в бинарном представлении. Расширение с помощью термов списочного поиска консервативно и проблема истинности $\Delta_0$-формул с такими термами в заданной структуре $HW(M)$ является PSPACE-полной. Показано, что любая функция, полиномиально вычислимая по времени, является $\Delta_0$-определимой в расширении с помощью термов, реализующих полиномиально ограниченную итерацию.


Семинар лаборатории методов оптимизации
14.30 ч., к. 213, ИМ
Анцыз С. М.
О некоторых двухуровневых моделях оптимизации налоговых схем.
Семинар «Дискретный анализ»
16.30 ч., к. 417, ИМ
Куценко А. В. <ик>
Группа автоморфизмов множества самодуальных бент-функций.



Скоро

Понедельник, 16.12.2019

Семинар «Эварист Галуа»
18.10 ч., ауд. 5218, новый корпус НГУ
М. В. Нещадим
Построение брэйсов по аддитивной группе (продолжение).


Семинар «Теория групп»
16.20 ч., к. 115, ИМ
И. Б. Горшков, А. М. Старолетов
О примитивных 3-порождённых аксиальных алгебрах йорданова типа.


Математические модели принятия решений
11.00 ч., ауд. 344, ИМ
А. Шпак, Н. Попов
GA и TS для задачи маршрутизации буровых установок.

Четверг, 19.12.2019

Cеминар «Теория вероятностей и математическая статистика»
09.00 ч., к. 417, ИМ
С. Г. Фосс
О наибольшей длине пути в одном классе направленных графов.

Аннотация:
Рассматривается граф с $n$ вершинами, занумерованными числами от 1 до $n$, и содержащий все ребра из меньших вершин в большие. Каждое ребро (независимо от других) с вероятностью $p$ имеет длину 1 и с вероятностью $1-p$ длину $x$, где $-\infty \le x \le 1$. Пусть $L_{(x, p, n)}$ – максимальная длина пути в этом графе (т.е. максимальная сумма длин по всем путям). Предел $C(x, p) = lim_{n \to \infty}L_{(x, p, n)}/ n$ существует (по крайней мере, по вероятности). Мы обсудим некоторые его занимательные свойства.


↑↑

Обьявления о семинарах
присылайте по адресу:

  © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 2009
 
пр. ак. Коптюга, 4, 630090, г. Новосибирск, Россия
Приемная: (383) 333-28-92; Канцелярия: (383) 333-27-93
Бухгалтерия: (383) 333-09-96; Отдел кадров: (383) 333-25-93
Факс: (383) 333-25-98; e-mail: