Математические вопросы кибернетики — различия между версиями
(→2023-2024 учебный год) |
(→2024-2025 учебный год) |
||
(не показаны 9 промежуточные версии 1 участника) | |||
Строка 8: | Строка 8: | ||
'''Традиции семинара''': семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством [https://mk.cs.msu.ru/index.php/Яблонский_Сергей_Всеволодович '''Сергея Всеволодовича Яблонского'''] и [http://new.math.msu.su/obl '''Олега Борисовича Лупанова''']. | '''Традиции семинара''': семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством [https://mk.cs.msu.ru/index.php/Яблонский_Сергей_Всеволодович '''Сергея Всеволодовича Яблонского'''] и [http://new.math.msu.su/obl '''Олега Борисовича Лупанова''']. | ||
− | == | + | ==2024-2025 учебный год== |
− | В ''' | + | В '''2024-2025 учебном году''' семинар проводится удаленно '''по пятницам''' в '''19-00''' (по московскому времени) по объявлениям. |
Заседания проводятся на платформе zoom, идентификатор конференции: 830 6246 3909, код доступа: 947173. | Заседания проводятся на платформе zoom, идентификатор конференции: 830 6246 3909, код доступа: 947173. | ||
По вопросам, связанным с работой семинара, можно писать по эл. почте '''mvk@cs.msu.ru''' Селезневой Светлане Николаевне. | По вопросам, связанным с работой семинара, можно писать по эл. почте '''mvk@cs.msu.ru''' Селезневой Светлане Николаевне. | ||
+ | |||
'''Расписание докладов''' | '''Расписание докладов''' | ||
Строка 22: | Строка 23: | ||
! Доклад | ! Доклад | ||
! Докладчик | ! Докладчик | ||
+ | |- | ||
+ | | 25 октября 2024 г. | ||
+ | | '''Нижние оценки сложности линейных операторов над GF(2)'''. [[Media: mvk-24-10-25.pdf | Аннотация доклада]] | ||
+ | |'''Сергеев Игорь Сергеевич''' (Москва, Научно-исследовательский институт «Квант») | ||
+ | |- | ||
+ | |} | ||
+ | |||
+ | ==2023-2024 учебный год== | ||
+ | |||
+ | '''Расписание докладов''' | ||
+ | |||
+ | {| class="wide" width="100%" | ||
+ | ! Дата | ||
+ | ! Доклад | ||
+ | ! Докладчик | ||
+ | |- | ||
+ | | 17 мая 2024 г. | ||
+ | | '''Оценки длин минимальных тестов для аргументов функций при подстановке констант, алгебраических операциях и сдвигах'''. [[Media: mvk-24-05-17.pdf | Аннотация доклада]] | ||
+ | |'''Антюфеев Григорий Валерьевич''' (Москва, «НИИМА «ПРОГРЕСС»») | ||
+ | |- | ||
+ | | 5 апреля 2024 г. | ||
+ | | '''Семинар, посвященный 85-летию проф. А.А. Сапоженко'''. [[Media: mvk-24-04-05.pdf | Аннотация доклада]] | ||
+ | | | ||
+ | |- | ||
+ | | 22 марта 2024 г. | ||
+ | | '''Многомерные матрицы в алгебраической теории гиперграфов'''. [[Media: mvk-24-03-22.pdf | Аннотация доклада]] | ||
+ | | '''Тараненко Анна Александровна''' (Новосибирск, Институт математики имени С.Л. Cоболева СО РАН) | ||
|- | |- | ||
| 15 марта 2024 г. | | 15 марта 2024 г. | ||
− | | '''Симметричные функции -значной логики и универсальные алгоритмы для задачи удовлетворения ограничений'''. [[Media: mvk-24-03-15.pdf | Аннотация доклада]] | + | | '''Симметричные функции k-значной логики и универсальные алгоритмы для задачи удовлетворения ограничений'''. [[Media: mvk-24-03-15.pdf | Аннотация доклада]] |
| '''Жук Дмитрий Николаевич''' (Москва, МГУ имени М.В. Ломоносова) | | '''Жук Дмитрий Николаевич''' (Москва, МГУ имени М.В. Ломоносова) | ||
|- | |- |
Текущая версия на 16:02, 21 октября 2024
Mathematical Problems of Cybernetics
Научно-исследовательский семинар кафедр дискретной математики и математической теории интеллектуальных систем механико-математического факультета и математической кибернетики факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова.
Цель семинара: обсуждение современных задач математической кибернетики и широкого круга смежных вопросов и представление наиболее значимых результатов в этой области.
Традиции семинара: семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством Сергея Всеволодовича Яблонского и Олега Борисовича Лупанова.
Содержание
2024-2025 учебный год
В 2024-2025 учебном году семинар проводится удаленно по пятницам в 19-00 (по московскому времени) по объявлениям.
Заседания проводятся на платформе zoom, идентификатор конференции: 830 6246 3909, код доступа: 947173.
По вопросам, связанным с работой семинара, можно писать по эл. почте mvk@cs.msu.ru Селезневой Светлане Николаевне.
Расписание докладов
Дата | Доклад | Докладчик |
---|---|---|
25 октября 2024 г. | Нижние оценки сложности линейных операторов над GF(2). Аннотация доклада | Сергеев Игорь Сергеевич (Москва, Научно-исследовательский институт «Квант») |
2023-2024 учебный год
Расписание докладов
Дата | Доклад | Докладчик |
---|---|---|
17 мая 2024 г. | Оценки длин минимальных тестов для аргументов функций при подстановке констант, алгебраических операциях и сдвигах. Аннотация доклада | Антюфеев Григорий Валерьевич (Москва, «НИИМА «ПРОГРЕСС»») |
5 апреля 2024 г. | Семинар, посвященный 85-летию проф. А.А. Сапоженко. Аннотация доклада | |
22 марта 2024 г. | Многомерные матрицы в алгебраической теории гиперграфов. Аннотация доклада | Тараненко Анна Александровна (Новосибирск, Институт математики имени С.Л. Cоболева СО РАН) |
15 марта 2024 г. | Симметричные функции k-значной логики и универсальные алгоритмы для задачи удовлетворения ограничений. Аннотация доклада | Жук Дмитрий Николаевич (Москва, МГУ имени М.В. Ломоносова) |
15 декабря 2023 г. | Коммутаторная длина степеней в свободных произведениях групп. Аннотация доклада | Березнюк Вадим Юрьевич (Москва, МГУ имени М.В. Ломоносова) |
8 декабря 2023 г. | Реализация вероятностных автоматов на однородных вычислительных системах при использовании арифметики полей Галуа. Аннотация доклада | Шалагин Сергей Викторович (Казань, Казанский национальный исследовательский технический университет им. А.Н.Туполева – КАИ) |
1 декабря 2023 г. | О сложности и структуре некоторых типов контактных схем для ряда симметрических булевых функций. Аннотация доклада | Попов Евгений Александрович (Москва, фирма Примариус) |
17 ноября 2023 г. | Правильные семейства дискретных функций: эквивалентные определения и свойства. Аннотация доклада | Царегородцев Кирилл Денисович (Москва, МГУ имени М.В. Ломоносова) |
6 октября 2023 г. | Компьютерное моделирование логических процессов. Аннотация доклада | Подколзин Александр Сергеевич (Москва, МГУ имени М.В. Ломоносова) |
2022-2023 учебный год
Расписание докладов
Дата | Доклад | Докладчик |
---|---|---|
19 мая 2023 г. | Конструкции и свойства корреляционно-иммунных и платовидных булевых функций. Аннотация доклада | Таранников Юрий Валерьевич (Москва, МГУ имени М.В. Ломоносова) |
12 мая 2023 г. | О соотношениях между активностью схем из функциональных элементов и положительной чувствительностью функций алгебры логики. Аннотация доклада | Местецкий Михаил Александрович, Шуплецов Михаил Сергеевич (Москва, МГУ имени М.В. Ломоносова) |
28 апреля 2023 г. | Семинар, посвященный 70-летию со дня рождения О. М. Касим-Заде. Аннотация | |
21 апреля 2023 г. | Дихотомия сложности кванторной задачи удовлетворения ограничениям. Аннотация доклада | Жук Дмитрий Николаевич (Москва, МГУ имени М.В. Ломоносова) |
31 марта 2023 г. | О числе субпериодичностей в двоичных формальных словах. Аннотация доклада | Колпаков Роман Максимович (Москва, МГУ имени М.В. Ломоносова) |
17 марта 2023 г. | Некоторые свойства сложностных классов AC^0 и TC^0. Аннотация доклада | Савицкий Игорь Владимирович (Москва, МГУ имени М.В. Ломоносова) |
3 марта 2023 г. | Оценки энергопотребления объемных схем. Аннотация доклада | Ефимов Алексей Андреевич (Москва, МГУ имени М.В. Ломоносова) |
17 февраля 2023 г. | Об асимптотике роста мощности слоев в декартовых степенях некоторых взвешенных множеств. Аннотация доклада | Андреева Татьяна Владимировна (Москва, МГТУ имени Н.Э. Баумана; МГУ имени М.В. Ломоносова), Семенов Юрий Станиславович |
16 декабря 2022 г. | Памяти Валерия Борисовича Кудряцева. Аннотация доклада | Гасанов Э.Э., Алешин С.В., Часовских А.А., Сыркин Г.И. |
9 декабря 2022 г. | Тензорные сети для эффективной симуляции квантовых вычислений. Аннотация доклада | Пантелеев Павел Анатольевич (Москва, МГУ имени М.В. Ломоносова) |
11 ноября 2022 г. | Цифровая подпись на основе кодов, определяющих изображения с точностью до аффинных преобразований. Аннотация доклада | Козлов Вадим Никитович (Москва, МГУ имени М.В. Ломоносова) |
28 октября 2022 г. | О математических моделях и структурных графах в теории механизмов. Аннотация доклада | Ковалев Михаил Дмитриевич (Москва, МГУ имени М.В. Ломоносова) |
21 октября 2022 г. | О перманентах (0, 1)- и (-1,1)-матриц. Аннотация доклада | Таранин Константин Александрович (Москва, МГУ имени М.В. Ломоносова) |
14 октября 2022 г. | Параметро-эффективная расшифровка булевых функций. Аннотация доклада | Быстрыгова Анастасия Викторовна (Москва, МГУ имени М.В. Ломоносова) |
7 октября 2022 г. | Задачи Беллмана, Кнута, Лупанова, Пиппенджера и их вариации как обобщения задачи об аддитивных цепочках. Аннотация доклада | Кочергин Вадим Васильевич (Москва, МГУ имени М.В. Ломоносова) |
30 сентября 2022 г. | Асимптотически точные оценки сложности некоторых функций в модели клеточных схем. Аннотация доклада | Ложкин Сергей Андреевич, Зизов Вадим Сергеевич (Москва, МГУ имени М.В. Ломоносова) |
2021-2022 учебный год
Расписание докладов
Дата | Доклад | Докладчик |
---|---|---|
29 апреля 2022 г. | Размерность Вейсфейлера-Лемана алгебраических и комбинаторных структур. Аннотация доклада | Пономаренко Илья Николаевич (Санкт-Петербург, Санкт-Петербургское отделение Математического института им. В.А.Стеклова Российской академии наук) |
22 апреля 2022 г. | О некоторых приложениях теории сложности алгоритмов к прикладным задачам криптографии. Аннотация доклада | Смышляев Станислав Витальевич (Москва, ООО «КРИПТО-ПРО», Технический комитет по стандартизации «Криптографическая защита информации» (ТК 26)) |
15 апреля 2022 г. | Мультиоперации на конечных множествах. Аннотация доклада | Перязев Николай Алексеевич (Санкт-Петербург, СПбГЭТУ «ЛЭТИ») |
8 апреля 2022 г. | Темпы роста произвольных конечных структур. Аннотация доклада | Комков Степан Алексеевич (Москва, МГУ имени М.В. Ломоносова) |
1 апреля 2022 г. | Квантовое хеширование: основные свойства, эффективные конструкции, реализация. Аннотация доклада | Аблаев Фарид Мансурович, Аблаев Марат Фаридович (Казань, Казанский (Приволжский) федеральный университет) |
25 марта 2022 г. | Асимптотически хорошие семейства классических и квантовых LDPC кодов. Аннотация доклада | Пантелеев Павел Анатольевич, Калачев Глеб Вячеславович (Москва, МГУ имени М.В. Ломоносова) |
18 марта 2022 г. | Предикаты k-значной логики и задача удовлетворения ограничениям. Аннотация доклада | Жук Дмитрий Николаевич (Москва, МГУ имени М.В. Ломоносова) |
11 марта 2022 г. | Аддитивные представления и замкнутые классы функций многозначной логики. Аннотация доклада | Мещанинов Дмитрий Германович (Москва, НИУ «МЭИ») |
25 февраля 2022 г. | Удивительный жадный алгоритм. Аннотация доклада | Куликов Александр Сергеевич (Санкт-Петербург, Санкт-Петербургский государственный университет) |
18 февраля 2022 г. | Линейное хеширование. Аннотация доклада | Чашкин Александр Викторович (Москва, МГУ имени М.В. Ломоносова) |
17 декабря 2021 г. | Семинар памяти О.М. Касим-Заде (29.04.1953-22.12.2020). Аннотация доклада | Кочергин Вадим Васильевич (Москва, МГУ имени М.В. Ломоносова) |
10 декабря 2021 г. | Семинар, посвященный 70-летию со дня рождения проф. А.Б. Угольникова. Аннотация доклада | Колпаков Роман Максимович (Москва, МГУ имени М.В. Ломоносова) |
3 декабря 2021 г. | Синтез и сложность бинарных программ с некоторыми структурными ограничениями. Аннотация доклада | Жуков Владимир Владимирович (Москва, МГУ имени М.В. Ломоносова) |
26 ноября 2021 г. | Об исследовании вопросов полноты в классе линейных автоматов над подкольцами рациональных чисел. Аннотация доклада | Ронжин Дмитрий Владимирович (Москва, МГУ имени М.В. Ломоносова) |
19 ноября 2021 г. | Булевы биюнктивные функции и порождаемые ими системы булевых уравнений. Аннотация доклада | Тарасов Алексей Вячеславович (Москва, Федеральное учебно-методическое объединение ВУЗов в области информационной безопасности (ФУМО ВО ИБ)) |
12 ноября 2021 г. | Математические модели передачи информации через зашумленные скрытые каналы. Аннотация доклада | Казаков Илья Борисович (Москва, МГУ имени М.В. Ломоносова) |
29 октября 2021 г. | Асимптотика логарифма числа наборов, k-свободных от решений, в абелевых группах. Аннотация доклада | Саргсян Ваге Гнелович (Ереван, Институт проблем информатики и автоматизации Национальной Академии Наук Республики Армения) |
22 октября 2021 г. | Задачи дискретной оптимизации в спорте. Аннотация доклада | Дагаев Дмитрий Александрович (Москва, НИУ ВШЭ) |
8 октября 2021 г. | О сложности реализации систем одночленов схемами композиции. Аннотация доклада | Корнеев Сергей Александрович (Москва, МГУ имени М.В. Ломоносова, ИПМ им. М.В. Келдыша РАН) |
2020-2021 учебный год
Расписание докладов
Дата | Доклад | Докладчик |
---|---|---|
28 мая 2021 г. | Пороговые функции и пороговые схемы. Аннотация доклада | Подольский Владимир Владимирович (Москва, МИАН им. В.А.Стеклова) |
21 мая 2021 г. | Регистровые машины со счетчиками. Аннотация доклада | Савицкий Игорь Владимирович (Москва, МГУ имени М.В. Ломоносова) |
14 мая 2021 г. | Арифметика фибоначчиевых кодов. Асимптотически быстрая сортировка. Метод Храпченко для k-местных базисов. Аннотация доклада | Сергеев Игорь Сергеевич (Москва, ФГУП «НИИ "Квант"») |
30 апреля 2021 г. | Полнота и выразимость в классах линейных автоматов. Аннотация доклада | Часовских Анатолий Александрович (Москва, МГУ имени М.В. Ломоносова) |
16 апреля 2021 г. | Преобразования конечных случайных величин системами функций k-значной логики и вопросы аппроксимируемости. Аннотация доклада | Яшунский Алексей Дмитриевич (Москва, Институт прикладной математики им. М.В. Келдыша РАН) |