Основное меню :
- Прошедшие школы
- Организаторы
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
и ее приложениям
(2015 г.)
Десятая молодежная научная школа по дискретной математике и ее приложениям проводилась механико-математическим факультетом Московского государственного университета имени М.В. Ломоносова и Институтом прикладной математики имени М.В. Келдыша Российской академии наук с 5 по 11 октября 2015 г.
Материалы школы: Доклады, видео лекций, лекции.
Были прочитаны лекции:
- Селезнева С. Н. (Москва, МГУ имени М.В. Ломоносова, ВМК) О сложности функций k-значных логик в классах полиномиальных форм
- Комбаров Ю. А. (Москва, МГУ имени М.В. Ломоносова, мех-мат) Нижние оценки сложности схем из функциональных элементов
- Черных И. Д. (Новосибирск, Институт математики им. С.Л. Соболева) Компьютерные доказательства теорем в теории расписаний
- Чашкин А. В. (Москва, МГУ имени М.В. Ломоносова, мех-мат) О вычислении монотонных булевых функций
Были заслушаны доклады:
-
Данилов Б. Р. (Москва) О поведении функции Шеннона для обобщённой глубины схем в модели, где глубина межэлементного соединения определяется надсхемой ограниченного размера
-
Жуков В. В. (Москва) О минимизации полной системы тождеств для формул в стандартном базисе
-
Ибрагимов Р. Н. (Казань) Иерархия для двусторонних детерминированных и недетерминированных автоматов по ширине
-
Мелешко А. К. (Москва) Перечисление помеченных гладких кактусов
-
Андреев А. А. (Москва) О сложности функций многозначной логики в бесконечно-порождённых классах
-
Михайлович А. В. (Москва) О некоторых свойствах замкнутых классов, порожденных квазиоднослойными функциями трехзначной логики
-
Стародубцев Д. Е. (Москва) Описание замкнутых классах функций многозначной логики относительно операций суперпозиции и обращения
-
Короткова Р. М. (Новосибирск) Сигма-представления аддитивной группы вещественных чисел над HF(R)
-
Сергеев И. С. (Москва) О сложности и глубине формул для MOD-функций
-
Ложкин С. А., Шуплецов М. С., Коноводов В. А., Данилов Б. Р., Жуков В. В., Багров Н. Ю. (Москва) Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменных
-
Сысоева Л. Н. (Москва) Оценки на число булевых функций, реализуемых инициальным константным булевым автоматом с тремя состояниями
-
Подольская О. В. (Москва) О сложности реализации симметрических булевых функций в одном бесконечном базисе
-
Зиновьев В. С. (Москва) Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
-
Добровецкий Д. И. (Москва) Синтез и сложность дешифраторных схем контактного типа
-
Попков К. А. (Москва) Оценка длин тестов для контактов
-
Макаров Д. А. (Москва) Построение легко декодируемых субдебрейновых матриц
-
Горяинов С. В. (Челябинск) О циркулянтах Деза
-
Валюженич А. А. (Новосибирск) Минимальные носители собственных функций некоторых графов Хэмминга
-
Сотникова Е. В. (Новосибирск) Минимальные носители собственных функций кубических дистанционно-регулярных графов
-
Беспалов Е. А. (Новосибирск) Свитчинговая разделимость графов по модулю q
-
Хинко Е. В. (Москва) Об одной рекурсивной конструкции платовидных булевых функций с пересекающимися носителями спектрами