Кафедра математической кибернетики - Вклад участника [ru]

Вероятностные методы в комбинаторике

2020-06-14T16:28:38Z

NagornyAS: /* Удаленное обучение */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru. Консультация перед экзаменом состоится в понедельник 15 июня 2020 года, с 13:00 до 14:30, по обычной ссылке в зум.

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]]

По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

==Лекции по курсу==

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2.]] Вероятностный метод. Примеры его применения в теории графов и гиперграфов (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3.]] Вероятностный метод. Примеры его применения в комбинаторной теории чисел (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4.]] Линейность математического ожидания (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5.]] Вероятностный метод. Малые вариации. Часть 1 (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6.]] Вероятностный метод. Малые вариации. Часть 2 (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7.]] Перекраска как вариант метода малых вариаций (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8.]] Малые вариации. Непрерывное время. Метод второго момента (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9.]] Метод второго момента (теория и практика) (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10.]] Метод второго момента. Локальная лемма Ловаса (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11.]] Локальная лемма Ловаса. Примеры применения (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12.]] Вероятностный метод. Примеры применения (ассорти) (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13.]] Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:53:09Z

NagornyAS: /* Лекции по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]]

По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

==Лекции по курсу==

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2.]] Вероятностный метод. Примеры его применения в теории графов и гиперграфов (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3.]] Вероятностный метод. Примеры его применения в комбинаторной теории чисел (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4.]] Линейность математического ожидания (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5.]] Вероятностный метод. Малые вариации. Часть 1 (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6.]] Вероятностный метод. Малые вариации. Часть 2 (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7.]] Перекраска как вариант метода малых вариаций (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8.]] Малые вариации. Непрерывное время. Метод второго момента (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9.]] Метод второго момента (теория и практика) (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10.]] Метод второго момента. Локальная лемма Ловаса (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11.]] Локальная лемма Ловаса. Примеры применения (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12.]] Вероятностный метод. Примеры применения (ассорти) (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13.]] Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:52:07Z

NagornyAS: /* Лекции по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]]

По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

==Лекции по курсу==

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2.]] Вероятностный метод. Примеры его применения в теории графов и гиперграфов (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3.]] Вероятностный метод. Примеры его применения в комбинаторной теории чисел (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4.]] Линейность математического ожидания (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5.]] Вероятностный метод. Малые вариации. Часть 1 (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6.]] Вероятностный метод. Малые вариации. Часть 2(18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7.]] Перекраска как вариант метода малых вариаций (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8.]] Малые вариации. Непрерывное время. Метод второго момента (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9.]] Метод второго момента (теория и практика) (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10.]] Метод второго момента. Локальная лемма Ловаса (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11.]] Локальная лемма Ловаса. Примеры применения (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12.]] Вероятностный метод. Примеры применения (ассорти) (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13.]] Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:44:26Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]]

По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

==Лекции по курсу==

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:42:16Z

NagornyAS: /* Удаленное обучение */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]] По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:28:50Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Удаленное обучение==

Все лекции по курсу прочитаны.

Вопросы по содержанию курса (и другие вопросы, относящиеся к курсу) можно задавать лектору Нагорному Александру Степановичу по эл. почте anagorny@list.ru

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]] По этой ссылке Вы найдёте рабочую программу курса, включающую экзаменационные вопросы, список типовых задач, список рекомендованной литературы и другие материалы.

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1.]] Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:14:26Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2020 г.)]]

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1. Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода]] (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-15T21:13:30Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2020.pdf| Информационные материалы для подготовки к экзамену (2030 г.)]]

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1. Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода]] (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Файл:РП Вероятностные методы в комбинаторике 2020.pdf

2020-05-15T21:10:41Z

NagornyAS:

Вероятностные методы в комбинаторике

2020-05-14T21:51:42Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2019.pdf| Информационные материалы (2019 г.)]]

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1. Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода]] (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения (ассорти)]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Вероятностные методы в комбинаторике

2020-05-14T21:49:52Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2019.pdf| Информационные материалы (2019 г.)]]

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1. Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода]] (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

*[[Media:Лекция_12 Вероятностные методы в комбинаторике.pdf| Лекция 12. Вероятностный метод. Примеры применения. Ассорти]] (06.05.2020)

*[[Media:Лекция_13 Вероятностные методы в комбинаторике.pdf| Лекция 13. Вероятностный метод. Схемы из функциональных элементов. Схемы ограниченной глубины и сложности. Формулы. Максимальные антицепи]] (13.05.2020)

Файл:Лекция 13 Вероятностные методы в комбинаторике.pdf

2020-05-14T21:46:08Z

NagornyAS:

Файл:Лекция 12 Вероятностные методы в комбинаторике.pdf

2020-05-14T21:45:17Z

NagornyAS:

Вероятностные методы в комбинаторике

2020-05-05T14:26:31Z

NagornyAS: /* Материалы по курсу */

[[Категория:Лекционные курсы кафедры МК]]
[[Категория:Магистерская программа Дискретные структуры и алгоритмы]]
[[Категория:Спецкурсы кафедры МК]]

Обязательный курс для студентов 518/1 группы магистерской программы "Дискретные структуры и алгоритмы".

'''Спецкурс''' для студентов магистратуры.

Лекции - 2 ч в неделю.

Лектор - [[Нагорный Александр Степанович]]

==Материалы по курсу==

[[Media:РП_Вероятностные_методы_в_комбинаторике_2019.pdf| Информационные материалы (2019 г.)]]

*[[Media:Лекция_1 Вероятностные методы в комбинаторике.pdf| Лекция 1. Вероятностный метод в комбинаторике. Первое знакомство. Два примера применения метода]] (12.02.2020)

*[[Media:Лекция_2 Вероятностные методы в комбинаторике.pdf| Лекция 2. Вероятностный метод. Примеры его применения в теории графов и гиперграфов]] (19.02.2020)

*[[Media:Лекция_3 Вероятностные методы в комбинаторике.pdf| Лекция 3. Вероятностный метод. Примеры его применения в комбинаторной теории чисел]] (26.02.2020)

*[[Media:Лекция_4 Вероятностные методы в комбинаторике.pdf| Лекция 4. Вероятностный метод. Линейность математического ожидания]] (04.03.2020)

*[[Media:Лекция_5 Вероятностные методы в комбинаторике.pdf| Лекция 5. Вероятностный метод. Малые вариации. Часть 1]] (11.03.2020)

*[[Media:Лекция_6 Вероятностные методы в комбинаторике.pdf| Лекция 6. Вероятностный метод. Малые вариации. Часть 2]] (18.03.2020)

*[[Media:Лекция_7 Вероятностные методы в комбинаторике.pdf| Лекция 7. Вероятностный метод. Перекраска как вариант метода малых вариаций]] (25.03.2020)

*[[Media:Лекция_8 Вероятностные методы в комбинаторике.pdf| Лекция 8. Вероятностный метод. Малые вариации. Непрерывное время. Метод второго момента]] (08.04.2020)

*[[Media:Лекция_9 Вероятностные методы в комбинаторике.pdf| Лекция 9. Вероятностный метод. Метод второго момента (теория и практика)]] (15.04.2020)

*[[Media:Лекция_10 Вероятностные методы в комбинаторике.pdf| Лекция 10. Вероятностный метод. Метод второго момента. Локальная лемма Ловаса]] (22.04.2020)

*[[Media:Лекция_11 Вероятностные методы в комбинаторике.pdf| Лекция 11. Вероятностный метод. Локальная лемма Ловаса. Примеры применения]] (29.04.2020)

Файл:Лекция 11 Вероятностные методы в комбинаторике.pdf

2020-05-05T14:24:05Z

NagornyAS:

Вероятностные методы в комбинаторике

2020-05-05T14:17:59Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 10 Вероятностные методы в комбинаторике.pdf

2020-05-05T14:16:14Z

NagornyAS:

Вероятностные методы в комбинаторике

2020-05-05T14:00:51Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-05-05T13:59:53Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 9 Вероятностные методы в комбинаторике.pdf

2020-05-05T13:57:58Z

NagornyAS:

Вероятностные методы в комбинаторике

2020-04-09T21:26:10Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 8 Вероятностные методы в комбинаторике.pdf

2020-04-09T21:21:31Z

NagornyAS: "Вероятностные методы в комбинаторике", лекция №8

"Вероятностные методы в комбинаторике", лекция №8

Вероятностные методы в комбинаторике

2020-03-25T10:43:24Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-03-25T10:41:07Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 7 Вероятностные методы в комбинаторике.pdf

2020-03-25T10:37:31Z

NagornyAS: Лекция №7 по курсу "Вероятностные методы в комбинаторике"

Лекция №7 по курсу "Вероятностные методы в комбинаторике"

Вероятностные методы в комбинаторике

2020-03-24T14:44:00Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 6 Вероятностные методы в комбинаторике.pdf

2020-03-24T14:41:15Z

NagornyAS: Лекция №6 по курсу "Вероятностные методы в комбинаторике"

Лекция №6 по курсу "Вероятностные методы в комбинаторике"

Файл:Лекция 5 Вероятностные методы в комбинаторике.pdf

2020-03-11T12:05:06Z

NagornyAS: NagornyAS загружена новая версия «Файл:Лекция 5 Вероятностные методы в комбинаторике.pdf»

Лекция №5 по курсу "Вероятностные методы в комбинаторике"

Вероятностные методы в комбинаторике

2020-03-10T19:56:47Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 5 Вероятностные методы в комбинаторике.pdf

2020-03-10T19:53:08Z

NagornyAS: Лекция №5 по курсу "Вероятностные методы в комбинаторике"

Лекция №5 по курсу "Вероятностные методы в комбинаторике"

Файл:Лекция 4 Вероятностные методы в комбинаторике.pdf

2020-03-10T19:52:41Z

NagornyAS: Лекция №4 по курсу "Вероятностные методы в комбинаторике"

Лекция №4 по курсу "Вероятностные методы в комбинаторике"

Файл:Лекция 3 Вероятностные методы в комбинаторике.pdf

2020-03-10T19:51:05Z

NagornyAS: NagornyAS загружена новая версия «Файл:Лекция 3 Вероятностные методы в комбинаторике.pdf»

Лекция №3 по курсу "Вероятностные методы в комбинаторике"

Вероятностные методы в комбинаторике

2020-02-18T19:56:15Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-02-18T19:55:42Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-02-18T19:54:34Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-02-18T19:53:45Z

NagornyAS: /* Материалы по курсу */

Участник:NagornyAS

2020-02-18T19:50:34Z

NagornyAS: /* Лекционные курсы */

{{DISPLAYTITLE:Нагорный Александр Степанович}}
[[Image:Nagorny.jpg|thumb|right|Нагорный Александр Степанович]]'''Нагорный Александр Степанович''' - кандидат физико-математических наук,

старший преподаватель.

e-mail: anagorny1968@gmail.com

== Биография ==
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

== [[Области научных интересов]] ==
* Статический анализ свойств программ
* Алгоритмы на дискретных структурах
* Теория частичных булевых функций
* Теория функций многозначной логики

== Основные научные результаты ==
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

В теории частичных булевых функций А.С. Нагорным построена решетка всех замкнутых классов частичных булевых функций, содержащих пересечение T_0 и T_1.

В теории функций k-значной логики получен ряд свойств теоретико-множественных операций над предполными классами в P_k, справедливых для всех значений k.
Полностью построена решетка основных замкнутых классов в P_3. Найдена конечная неприводимая полная система аксиом в P_3.
Также Нагорным А.С. получен ряд свойств предполных классов в 4-значной и 5-значной логике.

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

* [[Вероятностные методы в комбинаторике]]

== Семинары ==
* Дискретная математика
* Дополнительный главы дискретной математики
* Основы кибернетики
* Пакеты прикладных программ
* Элементы теории дискретных управляющих систем (318 группа)

== Спецкурсы ==

== Спецсеминары ==
* [[Некоторые вопросы теории управляющих систем]]

== Студенты и аспиранты ==

== Избранные публикации ==
# Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
# О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
# Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
# Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
# О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
# О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
# О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
# О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
# О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
# О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
# О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
# О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
# О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
# О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
# О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2012. № 3, С.45-52. (A.S.Nagornii "On the Distribution of Three-Valued Functions over Pre-Complete Classes", Moscow University Computational Mathematics and Cybernetics, 2012, Vol. 36, No.3, P.155-163) Allerton Press, Inc., 2012 (ISSN 0278-6419)
# О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
# О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
# О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
# О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
# Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
# Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
# О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
# Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
# Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
# О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
# О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
# О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.

Участник:NagornyAS

2020-02-18T19:49:42Z

NagornyAS:

{{DISPLAYTITLE:Нагорный Александр Степанович}}
[[Image:Nagorny.jpg|thumb|right|Нагорный Александр Степанович]]'''Нагорный Александр Степанович''' - кандидат физико-математических наук,

старший преподаватель.

e-mail: anagorny1968@gmail.com

== Биография ==
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

== [[Области научных интересов]] ==
* Статический анализ свойств программ
* Алгоритмы на дискретных структурах
* Теория частичных булевых функций
* Теория функций многозначной логики

== Основные научные результаты ==
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

В теории частичных булевых функций А.С. Нагорным построена решетка всех замкнутых классов частичных булевых функций, содержащих пересечение T_0 и T_1.

В теории функций k-значной логики получен ряд свойств теоретико-множественных операций над предполными классами в P_k, справедливых для всех значений k.
Полностью построена решетка основных замкнутых классов в P_3. Найдена конечная неприводимая полная система аксиом в P_3.
Также Нагорным А.С. получен ряд свойств предполных классов в 4-значной и 5-значной логике.

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

* [[Вероятностные и квантовые алгоритмы]]

== Семинары ==
* Дискретная математика
* Дополнительный главы дискретной математики
* Основы кибернетики
* Пакеты прикладных программ
* Элементы теории дискретных управляющих систем (318 группа)

== Спецкурсы ==

== Спецсеминары ==
* [[Некоторые вопросы теории управляющих систем]]

== Студенты и аспиранты ==

== Избранные публикации ==
# Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
# О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
# Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
# Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
# О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
# О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
# О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
# О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
# О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
# О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
# О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
# О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
# О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
# О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
# О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2012. № 3, С.45-52. (A.S.Nagornii "On the Distribution of Three-Valued Functions over Pre-Complete Classes", Moscow University Computational Mathematics and Cybernetics, 2012, Vol. 36, No.3, P.155-163) Allerton Press, Inc., 2012 (ISSN 0278-6419)
# О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
# О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
# О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
# О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
# Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
# Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
# О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
# Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
# Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
# О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
# О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
# О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.

Участник:NagornyAS

2020-02-18T19:48:56Z

NagornyAS: /* Лекционные курсы */

{{DISPLAYTITLE:Нагорный Александр Степанович}}
[[Image:Nagorny.jpg|thumb|right|Нагорный Александр Степанович]]'''Нагорный Александр Степанович''' - кандидат физико-математических наук,

старший преподаватель.

e-mail: anagorny1968@gmail.com

== Биография ==
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

== [[Области научных интересов]] ==
* Статический анализ свойств программ
* Алгоритмы на дискретных структурах
* Теория частичных булевых функций
* Теория функций многозначной логики

== Основные научные результаты ==
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

В теории частичных булевых функций А.С. Нагорным построена решетка всех замкнутых классов частичных булевых функций, содержащих пересечение T_0 и T_1.

В теории функций k-значной логики получен ряд свойств теоретико-множественных операций над предполными классами в P_k, справедливых для всех значений k.
Полностью построена решетка основных замкнутых классов в P_3. Найдена конечная неприводимая полная система аксиом в P_3.
Также Нагорным А.С. получен ряд свойств предполных классов в 4-значной и 5-значной логике.

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

* [[Вероятностные и квантовые алгоритмы, 518 гр.]]

== Семинары ==
* Дискретная математика
* Дополнительный главы дискретной математики
* Основы кибернетики
* Пакеты прикладных программ
* Элементы теории дискретных управляющих систем (318 группа)

== Спецкурсы ==

== Спецсеминары ==
* [[Некоторые вопросы теории управляющих систем]]

== Студенты и аспиранты ==

== Избранные публикации ==
# Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
# О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
# Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
# Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
# О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
# О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
# О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
# О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
# О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
# О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
# О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
# О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
# О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
# О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
# О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2012. № 3, С.45-52. (A.S.Nagornii "On the Distribution of Three-Valued Functions over Pre-Complete Classes", Moscow University Computational Mathematics and Cybernetics, 2012, Vol. 36, No.3, P.155-163) Allerton Press, Inc., 2012 (ISSN 0278-6419)
# О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
# О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
# О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
# О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
# Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
# Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
# О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
# Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
# Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
# О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
# О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
# О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.

Участник:NagornyAS

2020-02-18T19:43:51Z

NagornyAS: /* Лекционные курсы */

{{DISPLAYTITLE:Нагорный Александр Степанович}}
[[Image:Nagorny.jpg|thumb|right|Нагорный Александр Степанович]]'''Нагорный Александр Степанович''' - кандидат физико-математических наук,

старший преподаватель.

e-mail: anagorny1968@gmail.com

== Биография ==
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

== [[Области научных интересов]] ==
* Статический анализ свойств программ
* Алгоритмы на дискретных структурах
* Теория частичных булевых функций
* Теория функций многозначной логики

== Основные научные результаты ==
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

В теории частичных булевых функций А.С. Нагорным построена решетка всех замкнутых классов частичных булевых функций, содержащих пересечение T_0 и T_1.

В теории функций k-значной логики получен ряд свойств теоретико-множественных операций над предполными классами в P_k, справедливых для всех значений k.
Полностью построена решетка основных замкнутых классов в P_3. Найдена конечная неприводимая полная система аксиом в P_3.
Также Нагорным А.С. получен ряд свойств предполных классов в 4-значной и 5-значной логике.

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

"Вероятностные методы в комбинаторике"

== Семинары ==
* Дискретная математика
* Дополнительный главы дискретной математики
* Основы кибернетики
* Пакеты прикладных программ
* Элементы теории дискретных управляющих систем (318 группа)

== Спецкурсы ==

== Спецсеминары ==
* [[Некоторые вопросы теории управляющих систем]]

== Студенты и аспиранты ==

== Избранные публикации ==
# Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
# О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
# Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
# Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
# О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
# О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
# О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
# О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
# О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
# О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
# О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
# О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
# О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
# О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
# О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2012. № 3, С.45-52. (A.S.Nagornii "On the Distribution of Three-Valued Functions over Pre-Complete Classes", Moscow University Computational Mathematics and Cybernetics, 2012, Vol. 36, No.3, P.155-163) Allerton Press, Inc., 2012 (ISSN 0278-6419)
# О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
# О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
# О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
# О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
# Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
# Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
# О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
# Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
# Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
# О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
# О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
# О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.

Вероятностные методы в комбинаторике

2020-02-18T19:40:04Z

NagornyAS: /* Материалы по курсу */

Файл:Лекция 3 Вероятностные методы в комбинаторике.pdf

2020-02-18T19:39:25Z

NagornyAS: Лекция №3 по курсу "Вероятностные методы в комбинаторике"

Лекция №3 по курсу "Вероятностные методы в комбинаторике"

Вероятностные методы в комбинаторике

2020-02-18T19:35:09Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-02-18T19:34:19Z

NagornyAS: /* Материалы по курсу */

Вероятностные методы в комбинаторике

2020-02-18T19:32:13Z

NagornyAS: /* Программа курса */

Вероятностные методы в комбинаторике

2020-02-18T19:25:29Z

NagornyAS: /* Рабочая программа курса, вариант 2019 г. */

Файл:РП Вероятностные методы в комбинаторике 2019.pdf

2020-02-18T19:21:01Z

NagornyAS: Рабочая программа курса "Вероятностные методы в комбинаторике", вариант 2019 г.

Рабочая программа курса "Вероятностные методы в комбинаторике", вариант 2019 г.

Вероятностные методы в комбинаторике

2020-02-18T19:15:02Z

NagornyAS:

Файл:Лекция 2 Вероятностные методы в комбинаторике.pdf

2020-02-18T19:10:34Z

NagornyAS: Лекция №2 курса "Вероятностные методы в комбинаторике"

Лекция №2 курса "Вероятностные методы в комбинаторике"

Файл:Лекция 1 Вероятностные методы в комбинаторике.pdf

2020-02-18T19:09:50Z

NagornyAS: Лекция №1 курса "Вероятностные методы в комбинаторике"

Лекция №1 курса "Вероятностные методы в комбинаторике"

Участник:NagornyAS

2015-06-21T16:21:38Z

NagornyAS: Научные результаты

{{DISPLAYTITLE:Нагорный Александр Степанович}}
[[Image:Nagorny.jpg|thumb|right|Нагорный Александр Степанович]]'''Нагорный Александр Степанович''' - кандидат физико-математических наук,

старший преподаватель.

e-mail: anagorny1968@gmail.com

== Биография ==
Родился 21 декабря 1968 г. в Потсдаме (ГДР). Окончил с золотой медалью среднюю школу № 8 г. Слуцка Минской обл. Белорусской ССР (1986), с отличием окончил факультет вычислительной математики и кибернетики МГУ (1991). Обучался в аспирантуре факультета ВМК (1991–1994, 1995–1996). Работал приглашенным преподавателем в университете «Huanuco» (Перу, 1994–1995). В Московском университете работает с 1996 г., младший научный сотрудник (2001), ассистент (2014), старший преподаватель кафедры математической кибернетики (2015).

А.С. Нагорный принимал участие в работе лаборатории математических проблем компьютерной безопасности факультета ВМК с момента ее основания (2001). Участвует в работе оргкомитета Всероссийской олимпиады школьников по математике (с 1998), является постоянным членом оргкомитета Олимпиады школьников по прикладной математике и информатике факультета ВМК МГУ (с 2002). Преподаватель подготовительных курсов факультета ВМК (с 2000). Преподаватель ВМШ факультета ВМК (2002–2003, 2014-2015).

== [[Области научных интересов]] ==
* Статический анализ свойств программ
* Алгоритмы на дискретных структурах
* Теория частичных булевых функций
* Теория функций многозначной логики

== Основные научные результаты ==
А.С. Нагорным получена асимптотика сложности задачи сортировки k-значного n-мерного куба, поставлена и решена задача идентификации объектов, передвигающихся по k-значному n-мерному кубу, модернизирован и реализован алгоритм статического анализа программ, устанавливающий диапазоны значений индексов массивов в символьном виде.

В теории частичных булевых функций А.С. Нагорным построена решетка всех замкнутых классов частичных булевых функций, содержащих пересечение T_0 и T_1.

В теории функций k-значной логики получен ряд свойств теоретико-множественных операций над предполными классами в P_k, справедливых для всех значений k.
Полностью построена решетка основных замкнутых классов в P_3. Найдена конечная неприводимая полная система аксиом в P_3.
Также Нагорным А.С. получен ряд свойств предполных классов в 4-значной и 5-значной логике.

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

== Семинары ==
* Дискретная математика
* Дополнительный главы дискретной математики
* Основы кибернетики
* Пакеты прикладных программ
* Элементы теории дискретных управляющих систем (318 группа)

== Спецкурсы ==

== Спецсеминары ==
* [[Некоторые вопросы теории управляющих систем]]

== Студенты и аспиранты ==

== Избранные публикации ==
# Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
# О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
# Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
# Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
# О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
# О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
# О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
# О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
# О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
# О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
# О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
# О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
# О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
# О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
# О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. 2012. № 3, С.45-52. (A.S.Nagornii "On the Distribution of Three-Valued Functions over Pre-Complete Classes", Moscow University Computational Mathematics and Cybernetics, 2012, Vol. 36, No.3, P.155-163) Allerton Press, Inc., 2012 (ISSN 0278-6419)
# О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
# О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
# О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
# О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
# Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
# Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
# О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
# Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
# Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
# О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
# О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
# О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.