Завтра состоится кружок:


Tuesday, 14 October

15:30 - 17:00 GMT+3

https://us02web.zoom.us/j/83905895123?pwd=7Jehb3hvYkxTZoZlHX8J603n8I3D1i.1
Теория Переклеек. Альтернативные основания математики


А. Суворов


Аннотация: У нас есть Л-сущности. Они неопределяемы, но у каждой из них путь есть несколько лапок,

различимых между собой.


Сборкой называем совокупность Л-сущностей и паросочетание на их лапках. Сборку мы также

считаем Л-сущностью, а её лапками называем те лапки её составляющих, что не имеют пары.


Также у нас есть переклейки - правильные преобразования следующего вида: Есть две Л-

сущности, и разрешается внутри любой сборки заменять одну из них на другую.


Основной вопрос теории переклеек таков: Какие сборки можно перевести друг в друга правильными преобразованиями, а какие нет?


Эта конструкция интересна тем, что многие математические объекты можно рассматривать,

как Л-сущности, например, функции как Л-сущности с двумя лапками: входом и выходом.


Я хочу рассказать, как построить на основе этого альтернативный способ формализации математических рассуждений. Объяснить, как можно записывать в таком виде логические рассуждения и привести некоторые конкретные примеры, такие как обобщение линейных пространств и отображений, не привязанное не только к определению поля, но даже к сложению и умножению.

Кружок начинается!!!

Так-так-так, очень бы хотелось получить ссылку на запись сегодняшнего доклада! Администрация, пожалуйста, пойдите на встречу!

Завтра в 15:30-16:30 будет выступать Аллан Аллеманд.

Максимизация совместной условной информации

Обсудим энтропию, информацию случайных величин. Условный случай. Поднимем вопрос о максимизации совместной условной информации двух случайных величин при условии третьей, которая имеет прикладное значение

https://us02web.zoom.us/j/84477276817?pwd=7MaQuQIvREeX6hPX6N3x445vLhpAZb.1 ссылка на zoom

Кружок начинается!

https://us02web.zoom.us/j/84477276817?pwd=7MaQuQIvREeX6hPX6N3x445vLhpAZb.1 ссылка на zoom

Никто не хочет выступить завтра?

Название: Оценки объемов прямоугольных гиперболических многогранников.

Аннотация: В докладе мы исследуем, как комбинаторное строение влияет на объём прямоугольных многогранников в трёхмерном пространстве Лобачевского. Будут представлены оценки объёмов, выраженные через число вершин и другие комбинаторные параметры многогранника. Мы докажем, что минимальный объём в этом классе достигается на конкретном многограннике, и опишем его свойства. Также будут обсуждаться наблюдаемые корреляции между комбинаторными инвариантами и геометрическими характеристиками, которые указывают на новые направления для исследований.

А ну пошли на доклад!

Дорогие коллеги!

Завтра в 15;30 Владимир Хацкевич сделает доклад
про палочки Ним

 В докладе я расскажу по подробнее про палочки Ним: откуда возникли, как связаны с теорией игр и многое другое. Что такое конечные игры и игры с полной информацией. Разберём, что такое функция Шпрага-Грнади и определим сумму игр. Также я постараюсь привести несколько примеров игр для которых мы применим функцию Шпрага-Гранди.

Ээээй

Ща будет доклад, я бы на вашем месте подготовила конспекты.

Осталось 23 минуты до доклада

Друзья, докладчик уже в зуме. Ждем еще 4 минуты и начинаем!

Друзья! В следующий вторник в 15:30 на математическом кружке будет выступать Мария Рубаненко [Fintech AI/МФТИ].

Название доклада: Основы суперсжатия.

Аннотация к докладу:
Предположим есть данные большого размера O(n)[o-большое]. Для выполнения некоторых операций (например, эффективного поиска) приходится строить дополнительную структуру данных на исходных данных размера O(n)[o-большое]. Возникает вопрос, а что если мы хотим построить дополнительную структуру данных размера o(n)[o-малое], чтобы при n->∞ вспомогательная структура занимала константную по размеру память, а еще хотим, чтобы операции на доп. сжатой структуре по времени имели такую же асимптотику, что и операции на доп. не сжатой структуре, то есть хотим суперсжать.
В докладе дадим ответы на эти вопросы, осознаем отличия сжатия от суперсжатия, рассмотрим суперсжатые структуры данных, а также поговорим про суперсжатие на строках (упомянем вейвлет-дерево, прямое и обратное преобразование Берроуза-Уилера, его графовое представление).

Ссылка для подключения.

Друзья, напоминаю, что через час будет доклад на кружке!

Коллеги, начинаем в 15:35. Подключайтесь!