Математические вопросы кибернетики — различия между версиями
(→2024-2025 учебный год) |
|||
(не показаны 106 промежуточные версии 1 участника) | |||
Строка 1: | Строка 1: | ||
− | |||
− | Научно исследовательский семинар кафедр '''дискретной математики''' и '''математической теории интеллектуальных систем''' | + | [[Mathematical Problems of Cybernetics]] |
− | механико-математического факультета и [https://mk.cs.msu.ru/index.php/Заглавная_страница | + | |
+ | Научно-исследовательский семинар кафедр [http://new.math.msu.su/department/dm/ '''дискретной математики'''] и [http://intsys.msu.ru/ '''математической теории интеллектуальных систем'''] механико-математического факультета и [https://mk.cs.msu.ru/index.php/Заглавная_страница '''математической кибернетики'''] факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. | ||
'''Цель семинара''': обсуждение современных задач математической кибернетики и широкого круга смежных вопросов и представление наиболее значимых результатов в этой области. | '''Цель семинара''': обсуждение современных задач математической кибернетики и широкого круга смежных вопросов и представление наиболее значимых результатов в этой области. | ||
− | '''Традиции семинара''': семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством '''Сергея Всеволодовича Яблонского''' и '''Олега Борисовича Лупанова'''. | + | '''Традиции семинара''': семинар продолжает научно-исследовательский семинар по математическим вопросам кибернетики, который более 30 лет проводился в Московском университете под руководством [https://mk.cs.msu.ru/index.php/Яблонский_Сергей_Всеволодович '''Сергея Всеволодовича Яблонского'''] и [http://new.math.msu.su/obl '''Олега Борисовича Лупанова''']. |
− | == | + | ==2024-2025 учебный год== |
− | В ''' | + | В '''2024-2025 учебном году''' семинар проводится удаленно '''по пятницам''' в '''19-00''' (по московскому времени) по объявлениям. |
− | Заседания проводятся на платформе zoom, | + | Заседания проводятся на платформе zoom, идентификатор конференции: 830 6246 3909, код доступа: 947173. |
− | идентификатор конференции: | + | |
+ | По вопросам, связанным с работой семинара, можно писать по эл. почте '''mvk@cs.msu.ru''' Селезневой Светлане Николаевне. | ||
+ | |||
+ | |||
'''Расписание докладов''' | '''Расписание докладов''' | ||
Строка 21: | Строка 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 г. | ||
+ | | '''Симметричные функции 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 г. | | 30 апреля 2021 г. | ||
− | | | + | | '''Полнота и выразимость в классах линейных автоматов'''. [[Media: mvk-21-04-30.pdf | Аннотация доклада]] |
− | | Часовских (Москва, МГУ имени М.В. Ломоносова) | + | | '''Часовских Анатолий Александрович''' (Москва, МГУ имени М.В. Ломоносова) |
|- | |- | ||
| 16 апреля 2021 г. | | 16 апреля 2021 г. |
Текущая версия на 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-значной логики и вопросы аппроксимируемости. Аннотация доклада | Яшунский Алексей Дмитриевич (Москва, Институт прикладной математики им. М.В. Келдыша РАН) |