Просмотр исходного текста страницы Участник:NagornyAS

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

<div style="background-color: #FFAAAA; border-style: dotted">
'''Актуальность информации: 2022 год.'''

'''В настоящее время не является сотрудником кафедры.'''
</div>


[[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.