Просмотр исходного текста страницы Математические вопросы кибернетики


[[Mathematical Problems of Cybernetics]]

Научно-исследовательский семинар кафедр [http://new.math.msu.su/department/dm/ '''дискретной математики'''] и [http://intsys.msu.ru/ '''математической теории интеллектуальных систем'''] механико-математического факультета и  [https://mk.cs.msu.ru/index.php/Заглавная_страница '''математической кибернетики'''] факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова.

'''Цель семинара''': обсуждение современных задач математической кибернетики и широкого круга смежных вопросов и представление наиболее значимых результатов в этой области.

'''Традиции семинара''': семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством [https://mk.cs.msu.ru/index.php/Яблонский_Сергей_Всеволодович '''Сергея Всеволодовича Яблонского'''] и [http://new.math.msu.su/obl '''Олега Борисовича Лупанова'''].

==2023-2024 учебный год==

В '''2023-2024 учебном году''' семинар проводится удаленно '''по пятницам''' в '''19-00''' (по московскому времени) по объявлениям.

Заседания проводятся на платформе zoom, идентификатор конференции: 830 6246 3909, код доступа: 947173.

По вопросам, связанным с работой семинара, можно писать по эл. почте '''mvk@cs.msu.ru''' Селезневой Светлане Николаевне.
 
'''Расписание докладов'''

{| 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 г.
| '''Симметричные функции k-значной логики и универсальные алгоритмы для задачи удовлетворения ограничений'''. [[Media: mvk-24-03-15.pdf | Аннотация доклада]]
| '''Жук Дмитрий Николаевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 15 декабря  2023 г.
| '''Коммутаторная длина степеней в свободных произведениях групп'''. [[Media: mvk-23-12-15.pdf | Аннотация доклада]]
| '''Березнюк Вадим Юрьевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 8 декабря  2023 г.
| '''Реализация вероятностных автоматов на однородных вычислительных системах при использовании арифметики полей Галуа'''. [[Media: mvk-23-12-08.pdf | Аннотация доклада]]
| '''Шалагин Сергей Викторович''' (Казань, Казанский национальный исследовательский технический университет им. А.Н.Туполева – КАИ)
|-
| 1 декабря  2023 г.
| '''О сложности и структуре некоторых типов контактных схем для ряда симметрических булевых функций'''. [[Media: mvk-23-12-01.pdf | Аннотация доклада]]
| '''Попов Евгений Александрович''' (Москва, фирма Примариус)
|-
| 17 ноября  2023 г.
| '''Правильные семейства дискретных функций: эквивалентные определения и свойства'''. [[Media: mvk-23-11-17.pdf | Аннотация доклада]]
| '''Царегородцев Кирилл Денисович''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 6 октября  2023 г.
| '''Компьютерное моделирование логических процессов'''. [[Media: mvk-23-10-06.pdf | Аннотация доклада]]
| '''Подколзин Александр Сергеевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
|}

==2022-2023 учебный год==

'''Расписание докладов'''

{| class="wide" width="100%"
! Дата
! Доклад
! Докладчик
|-
| 19 мая  2023 г.
| '''Конструкции и свойства корреляционно-иммунных и платовидных булевых функций'''. [[Media: mvk-23-05-19.pdf | Аннотация доклада]]
| '''Таранников Юрий Валерьевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 12 мая  2023 г.
| '''О соотношениях между активностью схем из функциональных элементов и положительной чувствительностью функций алгебры логики'''. [[Media: mvk-23-05-12.pdf | Аннотация доклада]]
| '''Местецкий Михаил Александрович''', '''Шуплецов Михаил Сергеевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 28 апреля  2023 г.
| '''Семинар, посвященный 70-летию со дня рождения О. М. Касим-Заде'''. [[Media: mvk-23-04-28.pdf | Аннотация]]
| 
|-
| 21 апреля  2023 г.
| '''Дихотомия сложности кванторной задачи удовлетворения ограничениям'''. [[Media: mvk-23-04-21.pdf | Аннотация доклада]]
| '''Жук Дмитрий Николаевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 31 марта  2023 г.
| '''О числе субпериодичностей в двоичных формальных словах'''. [[Media: mvk-23-03-31.pdf | Аннотация доклада]]
| '''Колпаков Роман Максимович''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 17 марта  2023 г.
| '''Некоторые свойства сложностных классов AC^0 и TC^0'''. [[Media: mvk-23-03-17.pdf | Аннотация доклада]]
| '''Савицкий Игорь Владимирович''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 3 марта  2023 г.
| '''Оценки энергопотребления объемных схем'''. [[Media: mvk-23-03-03.pdf | Аннотация доклада]]
| '''Ефимов Алексей Андреевич''' (Москва, МГУ имени М.В. Ломоносова)
|-
| 17 февраля 2023 г.
| '''Об асимптотике роста мощности слоев в декартовых степенях некоторых взвешенных множеств'''. [[Media: mvk-23-02-17.pdf | Аннотация доклада]]
| '''Андреева Татьяна Владимировна''' (Москва, МГТУ имени Н.Э. Баумана; МГУ имени М.В. Ломоносова), '''Семенов Юрий Станиславович'''
|-
| 16 декабря 2022 г.
| '''Памяти Валерия Борисовича Кудряцева'''. [[Media: mvk-22-12-16.pdf | Аннотация доклада]]
| '''Гасанов Э.Э., Алешин С.В., Часовских А.А., Сыркин Г.И.''' 
|-
| 9 декабря 2022 г.
| '''Тензорные сети для эффективной симуляции квантовых вычислений'''. [[Media: mvk-22-12-09.pdf | Аннотация доклада]]
| '''Пантелеев Павел Анатольевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 11 ноября 2022 г.
| '''Цифровая подпись на основе кодов, определяющих изображения с точностью до   аффинных преобразований'''. [[Media: mvk-22-11-11.pdf | Аннотация доклада]]
| '''Козлов Вадим Никитович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 28 октября 2022 г.
| '''О математических моделях и структурных графах в теории механизмов'''. [[Media: mvk-22-10-28.pdf | Аннотация доклада]]
| '''Ковалев Михаил Дмитриевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 21 октября 2022 г.
| '''О перманентах (0, 1)- и (-1,1)-матриц'''. [[Media: mvk-22-10-21.pdf | Аннотация доклада]]
| '''Таранин Константин Александрович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 14 октября 2022 г.
| '''Параметро-эффективная расшифровка булевых функций'''. [[Media: mvk-22-10-14.pdf | Аннотация доклада]]
| '''Быстрыгова Анастасия Викторовна''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 7 октября 2022 г.
| '''Задачи Беллмана, Кнута, Лупанова, Пиппенджера и их вариации как обобщения задачи об аддитивных цепочках'''. [[Media: mvk-22-10-07.pdf | Аннотация доклада]]
| '''Кочергин Вадим Васильевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 30 сентября 2022 г.
| '''Асимптотически точные оценки сложности некоторых функций в модели клеточных схем'''. [[Media: mvk-22-09-30.pdf | Аннотация доклада]]
| '''Ложкин Сергей Андреевич, Зизов Вадим Сергеевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
|}

==2021-2022 учебный год==

'''Расписание докладов'''

{| class="wide" width="100%"
! Дата
! Доклад
! Докладчик
|-
| 29 апреля 2022 г.
| '''Размерность Вейсфейлера-Лемана алгебраических и комбинаторных структур'''. [[Media: mvk-22-04-29.pdf | Аннотация доклада]]
| '''Пономаренко Илья Николаевич''' (Санкт-Петербург, Санкт-Петербургское  отделение  Математического  института им. В.А.Стеклова  Российской  академии  наук) 
|-
| 22 апреля 2022 г.
| '''О некоторых приложениях теории сложности алгоритмов к прикладным задачам криптографии'''. [[Media: mvk-22-04-22.pdf | Аннотация доклада]]
| '''Смышляев Станислав Витальевич''' (Москва, ООО «КРИПТО-ПРО», Технический комитет по стандартизации «Криптографическая защита информации» (ТК 26)) 
|-
| 15 апреля 2022 г.
| '''Мультиоперации на конечных множествах'''. [[Media: mvk-22-04-15.pdf | Аннотация доклада]]
| '''Перязев Николай Алексеевич''' (Санкт-Петербург, СПбГЭТУ «ЛЭТИ») 
|-
| 8 апреля 2022 г.
| '''Темпы роста произвольных конечных структур'''. [[Media: mvk-22-04-08.pdf | Аннотация доклада]]
| '''Комков Степан Алексеевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 1 апреля 2022 г.
| '''Квантовое хеширование: основные свойства, эффективные конструкции, реализация'''. [[Media: mvk-22-04-01.pdf | Аннотация доклада]]
| '''Аблаев Фарид Мансурович, Аблаев Марат Фаридович''' (Казань, Казанский (Приволжский) федеральный университет) 
|-
| 25  марта 2022 г.
| '''Асимптотически хорошие семейства классических и квантовых LDPC кодов'''. [[Media: mvk-22-03-25.pdf | Аннотация доклада]]
| '''Пантелеев Павел Анатольевич, Калачев Глеб Вячеславович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 18 марта 2022 г.
| '''Предикаты k-значной логики и задача удовлетворения ограничениям'''. [[Media: mvk-22-03-18.pdf | Аннотация доклада]]
| '''Жук Дмитрий Николаевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 11 марта 2022 г.
| '''Аддитивные представления и замкнутые классы функций многозначной логики'''. [[Media: mvk-22-03-11.pdf | Аннотация доклада]]
| '''Мещанинов Дмитрий Германович''' (Москва, НИУ «МЭИ») 
|-
| 25 февраля 2022 г.
| '''Удивительный жадный алгоритм'''. [[Media: mvk-22-02-25.pdf | Аннотация доклада]]
| '''Куликов Александр Сергеевич''' (Санкт-Петербург, Санкт-Петербургский государственный университет) 
|-
| 18 февраля 2022 г.
| '''Линейное хеширование'''. [[Media: mvk-22-02-18.pdf | Аннотация доклада]]
| '''Чашкин Александр Викторович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 17 декабря 2021 г.
| '''Семинар памяти О.М. Касим-Заде (29.04.1953-22.12.2020)'''. [[Media: mvk-21-12-17.pdf | Аннотация доклада]]
| '''Кочергин Вадим Васильевич''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 10 декабря 2021 г.
| '''Семинар, посвященный 70-летию со дня рождения проф. А.Б. Угольникова'''. [[Media: mvk-21-12-10.pdf | Аннотация доклада]]
| '''Колпаков Роман Максимович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 3 декабря 2021 г.
| '''Синтез и сложность бинарных программ с некоторыми структурными ограничениями'''. [[Media: mvk-21-12-03.pdf | Аннотация доклада]]
| '''Жуков Владимир Владимирович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 26 ноября 2021 г.
| '''Об исследовании вопросов полноты в классе линейных автоматов над подкольцами рациональных чисел'''. [[Media: mvk-21-11-26.pdf | Аннотация доклада]]
| '''Ронжин Дмитрий Владимирович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 19 ноября 2021 г.
| '''Булевы биюнктивные функции и порождаемые ими системы булевых уравнений'''. [[Media: mvk-21-11-19.pdf | Аннотация доклада]]
| '''Тарасов Алексей Вячеславович''' (Москва, Федеральное учебно-методическое объединение ВУЗов в области информационной безопасности (ФУМО ВО ИБ)) 
|-
| 12 ноября 2021 г.
| '''Математические модели передачи информации через зашумленные скрытые каналы'''. [[Media: mvk-21-11-12.pdf | Аннотация доклада]]
| '''Казаков Илья Борисович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 29 октября 2021 г.
| '''Асимптотика логарифма числа наборов, k-свободных от решений, в абелевых группах'''. [[Media: mvk-21-10-29.pdf | Аннотация доклада]]
| '''Саргсян Ваге Гнелович''' (Ереван, Институт проблем информатики и автоматизации Национальной Академии Наук Республики Армения) 
|-
| 22 октября 2021 г.
| '''Задачи дискретной оптимизации в спорте'''. [[Media: mvk-21-10-22.pdf | Аннотация доклада]]
| '''Дагаев Дмитрий Александрович''' (Москва, НИУ ВШЭ) 
|-
| 8 октября 2021 г.
| '''О сложности реализации систем одночленов схемами композиции'''. [[Media: mvk-21-10-08.pdf | Аннотация доклада]]
| '''Корнеев Сергей Александрович''' (Москва, МГУ имени М.В. Ломоносова, ИПМ им. М.В. Келдыша РАН) 
|-
|}

==2020-2021 учебный год==

'''Расписание докладов'''

{| class="wide" width="100%"
! Дата
! Доклад
! Докладчик
|-
| 28 мая 2021 г.
| '''Пороговые функции и пороговые схемы'''. [[Media: mvk-21-05-28.pdf | Аннотация доклада]]
| '''Подольский Владимир Владимирович''' (Москва, МИАН им. В.А.Стеклова) 
|-
| 21 мая 2021 г.
| '''Регистровые машины со счетчиками'''. [[Media: mvk-21-05-21.pdf | Аннотация доклада]]
| '''Савицкий Игорь Владимирович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 14 мая 2021 г.
| '''Арифметика фибоначчиевых кодов. Асимптотически быстрая сортировка. Метод  Храпченко для k-местных базисов'''. [[Media: mvk-21-05-14.pdf | Аннотация доклада]]
| '''Сергеев Игорь Сергеевич''' (Москва, ФГУП «НИИ "Квант"») 
|-
| 30 апреля 2021 г.
| '''Полнота и выразимость в классах линейных автоматов'''. [[Media: mvk-21-04-30.pdf | Аннотация доклада]]
| '''Часовских Анатолий Александрович''' (Москва, МГУ имени М.В. Ломоносова) 
|-
| 16 апреля 2021 г.
| '''Преобразования конечных случайных величин системами функций k-значной логики и вопросы аппроксимируемости'''. [[Media: mvk-21-04-16.pdf | Аннотация доклада]]
| '''Яшунский Алексей Дмитриевич''' (Москва, Институт прикладной математики им. М.В. Келдыша РАН) 
|-
|}