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

Текущая версия на 12:52, 10 июля 2023

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

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 группа)

Спецкурсы

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

• Некоторые вопросы теории управляющих систем

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

Избранные публикации

1. Сложность сортировки n-й декартовой степени частично упорядоченного множества // Проблемы теоретической кибернетики. Тезисы докладов XI Международной конференции (Ульяновск, 10–14 июня 1996 г.) — М.: изд. центр РГГУ, 1996, с. 148–150;
2. О сложности задачи идентификации объектов, передвигающихся по k-значному n-мерному кубу // Материалы XIII международной школы-семинара «Синтез и сложность управляющих систем» (Пенза, 14-20 октября 2002 г.) — М.: изд-во Центра прикладных исследований при механико-математическом ф-те МГУ, 2002, с. 172–176;
3. Сложность сортировки k-значного n-мерного куба // Труды V международной конференции «Дискретные модели в теории управляющих систем» (Ратмино, 26–29 мая 2003 г.) — М.: ф-т ВМК МГУ, 2003, с. 54–55.
4. Задача идентификации объектов на k-значном n-мерном кубе // Дискретная математика и ее приложения. М.: Изд-во механико-математического факультета МГУ, 2004. С.342-344.
5. О сложности задачи слепой идентификации объектов на произвольном полном конечном подграфе графа Zn // Труды VI Международной конференции «Дискретные модели в теории управляющих систем». М.: Изд. Отдел ф-та ВМК МГУ, 2004. С.190-193.
6. О сложности задачи слепой идентификации // Проблемы теоретической кибернетики. Тезисы докладов XIV Международной конференции. М.: Изд-во механико-математического факультета МГУ, 2005. С.105-106.
7. О структуре замкнутых классов, содержащих T01, в частичной булевой алгебре // Труды VIII Международной конференции «Дискретные модели в теории управляющих систем» (Москва, 6-9 апреля 2009 г.). М.: Изд. МАКС Пресс, 2009. С.226-227.
8. О мощности базисов трехзначной логики // Научная конференция «Тихоновские чтения 2010», тезисы докладов (Москва, 25-29 октября 2010 г.). М.: Изд-во МАКС Пресс, 2010, С.9.
9. О свойствах предполных классов в трехзначной логике // XI Межвузовский научно-практический семинар «Комбинаторные конфигурации и их применения» (Кировоград, 15-16 апреля 2011 г.), Материалы. Кировоград: Изд-во Кировоградского национального технического университета, 2011, С.117-122.
10. О свойствах теоретико-множественных операций над предполными классами трехзначной логики // Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). Нижний Новгород: Изд-во Нижегородского госуниверситета, 2011. C.336-340.
11. О критериальной таблице в P_3 // Научная конференция «Ломоносовские чтения», тезисы докладов (Москва, 14-23 ноября 2011 г.). М.: Изд-во МАКС Пресс, 2011, С.27-29.
12. О свойствах предполных классов в P_3 // Известия высших учебных заведений. Поволжский регион. Физ.-мат. науки. Пенза: Изд-во Пензенского государственного университета, 2012, №2 (22), C.16-24.
13. О функциях четырехзначной логики, монотонных относительно линейных порядков // Материалы XIII Межвузовского научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 13-14 апреля 2012 г.). Кировоград: Изд-во Кировоградского национального технического университета, C.107-109.
14. О пересечениях классов монотонных функций многозначной логики // XI международный семинар «Дискретная математика и ее приложения», (Москва, 18-23 июня 2012 г.). М.: Изд-во механико-математического ф-та МГУ, С.207-209.
15. О распределении трехзначных функций по предполным классам // Вестник Московского университета. Серия 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)
16. О некоторых пересечениях предполных классов многозначной логики, вложенных в классы C_0 и C_{0,1,...,k-3} // Материалы Международного научного семинара «Дискретная математика и ее применение в экономико-математическом моделировании и информационных технологиях» (Запорожье, 11-13 октября 2012 г.). С.51-52;
17. О некоторых пересечениях предполных классов многозначной логики // Научная конференция «Тихоновские чтения», тезисы докладов (Москва, 29-31 октября 2012 г.). М.: Изд-во МАКС Пресс, С.46-47.
18. О линейной монотонности некоторых пересечений предполных классов многозначной логики // Материалы XV Международного научно-практического семинара «Комбинаторные конфигурации и их применения», (Кировоград, 12-13 апреля 2013 г.). Кировоград: ПП «Ексклюзив-Систем», C.75-78.
19. О пересечениях и объединениях предполных классов многозначной логики // Научная конференция «Ломоносовские чтения» (Москва, 15-24 апреля 2013 г.) - М.: изд-во МАКС Пресс, 2013, С.13-15.
20. Нагорный А.С. О ядровых аксиомах вложения в трехзначной логике // Матерiали III Всеукраïнського наукового семiнару «Комбiнаторна оптимiзацiя та нечiткi множини КОНеМ - 2013» (Полтава, 30-31 августа 2013 г.). Полтава: изд-во ПУЕТ, С.64-66.
21. Intersections and embedding of intersections of M5 classes to some M5 classes // http://goo.gl/U42AeV, 2013.
22. О свойствах пересечений предполных классов монотонных функций пятизначной логики // Научная конференция "Тихоновские чтения" (Москва, 28 октября -- 1 ноября 2013 г.), - М.: изд-во МАКС Пресс, 2013, С. 78.
23. Intersections and embedding of intersections of U5 classes to some U5 classes // http://goo.gl/zALP1A, 2014.
24. Нагорный А.С. О свойствах попарных пересечений предполных классов функций пятизначной логики, сохраняющих разбиения // Материалы XVI Международного научно-практического семинара «Комбинаторные конфигурации и их применения (11-12 апреля 2014 г.). Кировоград: Изд-во «Екслюзив-Систем», 2014, С. 108-111.
25. О тривиальных пересечениях предполных классов пятизначной логики, сохраняющих разбиения // Научная конференция «Ломоносовские чтения» (Москва, 14-23 апреля 2014 г.), - М.: изд-во МАКС Пресс, 2014, С. 78-79.
26. О свойствах пересечений предполных классов, сохраняющих разбиения, в пятизначной логике // Проблемы теоретической кибернетики. Материалы XVII международной конференции (Казань, 16-20 июня 2014 г.) – Казань: Изд-во Отечество, 2014, С.219-221.
27. О свойствах монотонных самодвойственных функций четырехзначной логики // Научная конференция "Тихоновские чтения" (Москва, 27- 31 октября 2014 г.), - М.: изд-во МАКС Пресс, 2014, С.44.