Участник:SeleznevaSN — различия между версиями

Версия 11:28, 6 апреля 2020

Селезнева Светлана Николаевна

e-mail: selezn@cs.msu.ru

Профиль Селезневой С.Н. в системе "ИСТИНА"

Студентам 2-го курса

Тематика курсовых и выпускных работ студентов Селезневой С.Н.

• Решение систем полиномиальных уравнений над конечным полем.

Полиномиальные частные случаи, разработка эвристических алгоритмов решения.

• Свойства дискретных функций.

Получение свойств функций их представлений, сложность проверки свойств дискретных функций, разработка быстрых алгоритмов проверки свойств функций.

• Минимизация дискретных функций.

Получение оценок сложности функций в различных классах (полиномиальных форм и др.), разработка алгоритмов минимизации, сложность функций малого числа переменных.

• Графы.

Раскраски графов, ациклические графы, остовные деревья, алгоритмические вопросы.

Области научных интересов

• Сложность алгоритмов

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

• Дискретные функции

Рассматриваются свойства дискретных функций и их представлений (полиномиальными и другими формами), разрабатываются алгоритмы нахождения оптимальных или близких к ним представлений дискретных функций.

• Графы и комбинаторика

Рассматриваются свойства графов и комбинаторных множеств и связанные с ними задачи.

Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)

Спецсеминары

• Сложность решения дискретных задач

Лекционные курсы

• Дискретная математика (1й курс) (обязательный курс для студентов 1-го курса, см. также Дискретная математика (1-й поток))

• Избранные вопросы дискретной математики (обязательный курс для студентов 318 группы)

• Избранные вопросы теории графов, часть 3 (обязательный курс для студентов 418 группы)

• Дискретные функции и выполнимость ограничений (обязательный курс для студентов 518/1 группы, спецкурс для студентов магистратуры)

• Дискретные модели (обязательный курс для студентов неинтегрированной магистратуры, 1-й курс)

• Дискретные модели управляющих систем (обязательный курс для аспирантов кафедр ИО, ММП и МК, специальность 01.01.09)

• Графы и их приложения (спецкурс для аспирантов)

• Modern trends in discrete mathematics and computer science (курс для студентов 618/1 и 618/2 групп), лекции 3-4: Constraint satisfaction problem: the algebraic approach

• Графы и их применения (обязательный курс для студентов магистратуры 518/1 группы) - читался в 2016-2017 г.г.

• Дискретная математика 2 (группа 141) (обязательный курс для студентов 141 группы) - читался в 2007-2017 г.г.

• Булевы функции и полиномы (спецкурс) - читался в 2008-2013 г.г.

Учебные пособия

Селезнева С.Н. Основы дискретной математики. М.: МАКС Пресс, 2010.

Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. Задачи по курсу "Основы кибернетики", 2-е изд. М.: МАКС Пресс, 2011.

Аспиранты и студенты

• аспиранты: Мельник Марина (2 г/о), Лю Юнцин (1 г/о)
• 618/1 группа: Мазуренко Анастасия, Лебедев Марк
• 518/1 группа: Лобанов Алексей, Шурыгин Дмитрий
• 418 группа: Борсова Зурета
• 318 группа: Мартынов Петр, Мироненко Андрей, Савельев Александр