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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Лекционные курсы)
(Аспиранты и студенты)
(не показаны 13 промежуточные версии 2 участников)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Селезнева Светлана Николаевна}}
 
{{DISPLAYTITLE:Селезнева Светлана Николаевна}}
[[Image:Selezneva3.jpg|thumb|right|Селезнева Светлана Николаевна]]'''Селезнева Светлана Николаевна''' — доктор физико-математических наук, доцент,
+
[[Image:Selezneva3.jpg|thumb|right|Селезнева Светлана Николаевна]]'''Селезнева Светлана Николаевна''' — доктор физико-математических наук, профессор,
  
 
e-mail: selezn@cs.msu.su
 
e-mail: selezn@cs.msu.su
Строка 10: Строка 10:
 
== [[Области научных интересов]]==
 
== [[Области научных интересов]]==
  
*Алгоритмическая сложность распознавания свойств конечнозначных функций
+
*Сложность алгоритмов
  
Разрабатываются быстрые алгоритмы для распознавания свойств и для построения полиномов функций алгебры логики и функций k-значных логик
+
Разрабатываются быстрые алгоритмы распознавания свойств дискретных функций, графов и др., оценивается вычислительная сложность соответствующих задач.
  
*Сложность полиномиальных представлений конечнозначных функций
+
*Дискретные функции
  
Изучаются вопросы оптимального представления функций алгебры логики и функций k-значных логик полиномиальными формами различных видов. Эти задачи находят применения при проектировании интегральных схем
+
Рассматриваются свойства дискретных функций и их представлений (полиномиальными и другими формами), разрабатываются алгоритмы нахождения оптимальных или близких к ним представлений дискретных функций.  
 +
 
 +
*Графы и комбинаторика
 +
 
 +
Рассматриваются свойства графов и комбинаторных множеств и связанные с ними задачи.
  
 
[https://www.youtube.com/watch?v=h8eLGaS3gQY Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)]
 
[https://www.youtube.com/watch?v=h8eLGaS3gQY Видео: лекция "О сложности функций k-значных логик в классах полиномиальных форм" (6 октября 2015 г.)]
Строка 32: Строка 36:
 
*[[Графы и их применения]] (обязательный курс для студентов магистратуры 518/1 группы)
 
*[[Графы и их применения]] (обязательный курс для студентов магистратуры 518/1 группы)
  
*[[Дискретные функции и их представления]] (обязательный курс для студентов 518/1 группы)
+
*[[Дискретные функции и выполнимость ограничений]] (обязательный курс для студентов 518/1 группы, '''спецкурс''' для студентов магистратуры)
  
 
*[[Дискретные модели]] (обязательный курс для студентов неинтегрированной магистратуры, 1-й курс)
 
*[[Дискретные модели]] (обязательный курс для студентов неинтегрированной магистратуры, 1-й курс)
Строка 38: Строка 42:
 
*[[Дискретные модели управляющих систем]] (обязательный курс для аспирантов кафедр ИО, ММП и МК, специальность 01.01.09)
 
*[[Дискретные модели управляющих систем]] (обязательный курс для аспирантов кафедр ИО, ММП и МК, специальность 01.01.09)
  
*[Modern trends in discrete mathematics and computer science]] (курс на английском языке для студентов 618/1 и 618/2 групп), лекция Constraint satisfaction problem: an algebraic approach
+
*[[Modern trends in discrete mathematics and computer science]] (обязательный курс для студентов 618/1 и 618/2 групп), лекции 3-4: [[Media: Lect3-4-eng-selezn.pdf | Constraint satisfaction problem: the algebraic approach]]
  
 
* Дискретная математика 2 (группа 141) (обязательный курс для студентов 141 группы) - читался в 2007-2017 г.г.
 
* Дискретная математика 2 (группа 141) (обязательный курс для студентов 141 группы) - читался в 2007-2017 г.г.
  
*[[Булевы функции и полиномы]] (спецкурс)
+
*[[Булевы функции и полиномы]] (спецкурс) - читался в 2008-2013 г.г.
  
 
==Учебные пособия==
 
==Учебные пособия==
Строка 51: Строка 55:
  
 
== Аспиранты и студенты ==
 
== Аспиранты и студенты ==
 +
 +
* аспиранты: Мельник Марина
 +
* 618/1 группа: Жорина Александра
 +
* 518/1 группа: Мазуренко Анастасия, Сакович Марк
 +
* 418 группа: Лобанов Алексей, Шурыгин Дмитрий
 +
* 318 группа: Мартынов Петр, Борсова Зурета

Версия 13:38, 21 мая 2019

Селезнева Светлана Николаевна
Селезнева Светлана Николаевна — доктор физико-математических наук, профессор,

e-mail: selezn@cs.msu.su

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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