Заседания семинаров
Арсен Вольский
Как спасти верификационизм А. Дж. Айера?
Аннотация
Верификационизм был одной из самых популярных программ в философии языка первой половины 20 века. Его суть, грубо говоря, заключалась в том, чтобы сводить осмысленность либо к аналитичности, либо к эмпирической проверяемости (понимаемой как возможность логического вывода некоторого предложения из класса т.н. протокольных предложений). Наибольшую популярность данная доктрина приобрела среди логических позитивистов, в частности у А. Дж. Айера. В своём докладе я представлю формализацию самого критерия верификации в изводе Айера, реконструирую чисто логическую критику этого критерия, выдвинутую Чёрчем, а также предложу способы ответа на эту критику посредством замены логики вывода с классической на релевантную и возможные возражения к этим способам.Новиков Сергей (магистрант НГУ)
Реферат статьи: NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classes.
Кононова П. А.
Solving a real-world multi-depot multi-period petrol replenishment problem with complex loading constraints.
Реферат статьи Abderrahman Bani, Issmail El Hallaoui, Ayoub Insa Corréa, Adil Tahir.
Е. В. Константинова
Некоторые новые результаты по задаче Левенштейна.
Аннотация
Рассматривается задача Левенштейна о восстановлении последовательностей по их искаженным образцам. Приводятся старые и новые результаты для перестановок с метрикой Хэмминга.Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
А. А. Тараненко (ИМ СО РАН, Новосибирск)
Накрытия, совершенные раскраски и спектры гиперграфов.
Аннотация
Совершенной раскраской гиперграфа назовем такую раскраску его вершин, что цвет вершины однозначно задает раскраску инцидентных ей гиперребер. Одним из примеров совершенных раскрасок является накрытие одного гиперграфа другим, сохраняющее отношения инцидентности между вершинами и гиперребрами. В докладе будет показано, что такие алгебраические свойства совершенных раскрасок графов, как включение спектра матрицы параметров в спектр матрицы смежности или критерий существования общего накрытия, будут верными и для раскрасок гиперграфов.Hugo Chareyre (Artelys)
Operational scheduling in automotive industry.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
