Вороненко, Андрей Анатольевич — различия между версиями

Материал из Вики ВМК МГУ
Перейти к: навигация, поиск
м (1 версия импортирована)
Строка 1: Строка 1:
{{однофамильцы|Вороненко}}
+
 
{{Учёный
+
'''[https://ru.wikipedia.org/wiki/Вороненко,_Андрей_Анатольевич Андрей Анатольевич Вороненко]''' (род. 1972) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики [[ВМК МГУ|факультета ВМК МГУ]].
|Имя                  = Андрей Анатольевич Вороненко
 
|Изображение          = Voronenko.jpg
 
|Ширина              = 180px
 
|Дата рождения        = 13.1.1972
 
|Место рождения      = {{МестоРождения|Москва}}, [[СССР]]
 
|Гражданство          = {{URS}},<br>{{RUS}}
 
|Научная сфера        = [[дискретная математика]], теория сложности алгоритмов
 
|Место работы        = {{МГУ преп|ВМК|1}}
 
|Учёная степень      = {{учёная степень|доктор|физико-математических наук}} <small>(2008)</small>
 
|Учёное звание        = {{УЗ+|профессор|2009}}
 
|Альма-матер          = {{МГУ выпуск|ВМК|1994}}
 
|Научный руководитель = [[Алексеев, Валерий Борисович|В. Б. Алексеев]]
 
|Награды и премии    = {{Премия имени И. И. Шувалова|2008}}
 
}}
 
'''Андрей Анатольевич Вороненко''' (род. 1972) — {{математик|России}}, доктор физико-математических наук, профессор кафедры математической кибернетики [[ВМК МГУ|факультета ВМК МГУ]].
 
  
 
== Биография ==
 
== Биография ==
Окончил [[Факультет вычислительной математики и кибернетики МГУ|факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова]] в 1994 году.
+
Окончил [[ВМК МГУ|факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова]] в 1994 году.
  
Обучался в аспирантуре [[Факультет вычислительной математики и кибернетики МГУ|факультета ВМК]] 1994—1997 годах.
+
Обучался в аспирантуре факультета ВМК (1994—1997).
  
Работает на [[ВМК МГУ#Кафедры ВМК МГУ|кафедре математической кибернетики]] [[ВМК МГУ|факультета ВМК МГУ]] с 1997 года в должностях младшего [[Научный сотрудник|научного сотрудника]] (1997-2000), старшего [[Научный сотрудник|научного сотрудника]] (2000-2002), [[доцент]]а (2002-2009), [[профессор]]а (с 2009).
+
Работает на кафедре математической кибернетикифакультета ВМК МГУ с 1997 года в должностях младшего научного сотрудника (1997—2000), старшего научного сотрудника (2000—2002), доцента (2002-2009), профессора (с 2009).
  
Лауреат [[Премия имени И. И. Шувалова|премии МГУ им. И. И. Шувалова]] (2008) за докторскую диссертацию «Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств» <ref>[http://www.msu.ru/science/prem/prem2008.html#shuv Лауреаты премии имени И.И. Шувалова 2008 год - сайт МГУ]</ref>
+
Лауреат [[Премия имени И. И. Шувалова|премии МГУ им. И. И. Шувалова]] (2008) за докторскую диссертацию ''«Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств»''.
  
 
== Научная деятельность ==
 
== Научная деятельность ==
 
Тема кандидатской диссертации: «О мощности классов дискретных функций, удовлетворяющих конечноточечным условиям» (1997).
 
Тема кандидатской диссертации: «О мощности классов дискретных функций, удовлетворяющих конечноточечным условиям» (1997).
  
Тема докторской диссертации: «Методы представления дискретных функций в задачах подсчёта, тестирования и распознавания свойств» (2008).
+
Тема докторской диссертации: ''«Методы представления дискретных функций в задачах подсчёта, тестирования и распознавания свойств»'' (2008).
  
 
А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок асимптотики логарифма количества функций, сохраняющих близость и порядок; предложил подход к тестированию бесповторных функций. Им разработан новый метод распознавания принадлежности конечнозначных функций инвариантным классам («метод разложения»). При помощи этого метода получены верхние оценки <math>O(N\cdot\sqrt{\log N}\cdot\log\log N)</math> для сложности распознавания монотонности, частичной монотонности и поляризуемости [[булева функция|булевых функций]] (<math>N</math> — длина вектор-столбца).
 
А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок асимптотики логарифма количества функций, сохраняющих близость и порядок; предложил подход к тестированию бесповторных функций. Им разработан новый метод распознавания принадлежности конечнозначных функций инвариантным классам («метод разложения»). При помощи этого метода получены верхние оценки <math>O(N\cdot\sqrt{\log N}\cdot\log\log N)</math> для сложности распознавания монотонности, частичной монотонности и поляризуемости [[булева функция|булевых функций]] (<math>N</math> — длина вектор-столбца).
  
 
== Педагогическая деятельность ==
 
== Педагогическая деятельность ==
На [[Факультет вычислительной математики и кибернетики МГУ|факультете ВМК МГУ]] читает курс лекций по основам кибернетики, по дискретной математике для бакалавров, ведёт семинарские занятия по курсам дискретной математики, дополнительных глав дискретной математики.
+
На факультете ВМК МГУ читает курс лекций по основам кибернетики, по дискретной математике для бакалавров, ведёт семинарские занятия по курсам дискретной математики, дополнительных глав дискретной математики.
  
В [[Московский физико-технический институт|МФТИ]] читает обязательные курсы «Дискретные функции» и «Контроль управляющих систем» для магистрантов и ведёт занятия по теории кодирования у бакалавров.
+
В [[МФТИ]] читает обязательные курсы «Дискретные функции» и «Контроль управляющих систем» для магистрантов и ведёт занятия по теории кодирования у бакалавров.
  
 
== Избранные работы ==
 
== Избранные работы ==
Строка 65: Строка 50:
 
* [https://mipt.ru/education/chairs/dm/staff/voronenko.php Страница А.А. Вороненко на сайте МФТИ]
 
* [https://mipt.ru/education/chairs/dm/staff/voronenko.php Страница А.А. Вороненко на сайте МФТИ]
 
* [https://istina.msu.ru/profile/vrnk/ А. А. Вороненко - научные работы [[ИСТИНА МГУ|в системе Истина МГУ]]]
 
* [https://istina.msu.ru/profile/vrnk/ А. А. Вороненко - научные работы [[ИСТИНА МГУ|в системе Истина МГУ]]]
{{ВС}}
+
 
[[Категория:Математики по алфавиту]]
+
[[Категория:Преподаватели факультета вычислительной математики и кибернетики]]
[[Категория:Учёные МГУ]]
 
[[Категория:Преподаватели факультета вычислительной математики и кибернетики МГУ]]
 
 
[[Категория:Лауреаты Шуваловской премии МГУ]]
 
[[Категория:Лауреаты Шуваловской премии МГУ]]
[[Категория:Выпускники ВМК МГУ]]
+
[[Категория:Выпускники факультета вычислительной математики и кибернетики]]

Версия 22:27, 11 марта 2020

Андрей Анатольевич Вороненко (род. 1972) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета ВМК МГУ.

Биография

Окончил факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова в 1994 году.

Обучался в аспирантуре факультета ВМК (1994—1997).

Работает на кафедре математической кибернетикифакультета ВМК МГУ с 1997 года в должностях младшего научного сотрудника (1997—2000), старшего научного сотрудника (2000—2002), доцента (2002-2009), профессора (с 2009).

Лауреат премии МГУ им. И. И. Шувалова (2008) за докторскую диссертацию «Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств».

Научная деятельность

Тема кандидатской диссертации: «О мощности классов дискретных функций, удовлетворяющих конечноточечным условиям» (1997).

Тема докторской диссертации: «Методы представления дискретных функций в задачах подсчёта, тестирования и распознавания свойств» (2008).

А. А. Вороненко построил континуальное семейство замкнутых классов частичной логики, содержащих класс функций, доопределимых до линейных; получил ряд оценок асимптотики логарифма количества функций, сохраняющих близость и порядок; предложил подход к тестированию бесповторных функций. Им разработан новый метод распознавания принадлежности конечнозначных функций инвариантным классам («метод разложения»). При помощи этого метода получены верхние оценки <math>O(N\cdot\sqrt{\log N}\cdot\log\log N)</math> для сложности распознавания монотонности, частичной монотонности и поляризуемости булевых функций (<math>N</math> — длина вектор-столбца).

Педагогическая деятельность

На факультете ВМК МГУ читает курс лекций по основам кибернетики, по дискретной математике для бакалавров, ведёт семинарские занятия по курсам дискретной математики, дополнительных глав дискретной математики.

В МФТИ читает обязательные курсы «Дискретные функции» и «Контроль управляющих систем» для магистрантов и ведёт занятия по теории кодирования у бакалавров.

Избранные работы

  • О некоторых замкнутых классах в частичной двузначной логике // Дискретная математика, 1994, т.6, N 3, 58-79 (совм. с В.Б. Алексеевым)
  • On some closed classes in partial two-valued logic // Discrete mathematics and applications, 1994, v. 5, N 4, 401-419 (совм. с В.Б. Алексеевым)
  • Об условиях полной асимптотики мощности классов функций k-значной логики, сохраняющих конечноместный предикат // Вестник МГУ. Сер. 15 Вычислительная математика и кибернетика, 1997, N 3, c.44-47.
  • О росте количества липшицевых дискретных функций при растущей размерности области определения // Вестник МГУ. Серия 1 Математика и механика, 2000, N 2, C.3-7.
  • О количестве метрических дискретных функций n переменных // Математические вопросы кибернетики. М.: Физматлит, 1998. Выпуск 7, с.203-212.
  • О сложности pаспознавания монотонности // Математические вопросы кибернетики. М.: Физматлит, 1999. Выпуск 8, с.301-303.
  • On the conditions of complete asymptotics of the power of function classes of k-valued logic that preserve the finitary predicate // Moscow univ. bull. Computational Mathematics and Cybernetics, Number 3, 1997. P. 59-63.
  • О методе разложения для распознования принадлежности инариантным классам. // Дискретная математика 2002 N 4, c 110-116.
  • О проверящих тестах для бесповторных функций. // Математические вопросы кибернетики 2002. Выпуск 11 с 163-176.
  • Новое доказательство теоремы Стеценко // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. — 2014. — № 2. — С. 39–42.
  • Об универсальных частичных функциях для класса линейных функций // Дискрет. матем., 24:3 (2012), 62–65
  • Дискретная математика. Задачи и упражнения с решениями. — ИНФРА-М Москва, 2013. — 104 с. (совм. с В.С. Фёдоровой)
  • Certificates of non-membership for classes of read-once functions // Fundamenta Informaticae. — 2014. — Vol. 132, no. 1. — P. 63–77. (совм. с Д.В. Чистиковым и В.С. Фёдоровой)

Примечания

Литература

 |миг= — {{#if: М.
| {{#switch: М.
   |Б.|Б. м.|Белг.|Влдв.|Влдк.|Волг.|Гр.|Душ.|Екд.|Ер.|Иер.|К.|Каз.|Киш.|Л.|Льв.|М.|Мгн.|Мн.|Мх.|Н. Н.|Н. Новгород|Н.-Й.|Нч.|Од.|Орб.|П.|Пг.|Пт.|Р. н/Д.|Ростов н/Д|СПб.|Сф.|Таш.|Тб.|Тф.|Х.|Яр.|Amst.|An.|B.|Bd.|Bdpst.|Bom.|Brem.|Bris.|Brux.|Bs. As.|Calc.|Camb.|Cambr.|Chi.|Cinc.|Darm.|Düss.|Edin.|Fr./M.|Gött.|Hamb.|Hdlb.|İs.|L.|L. A.|Lpz.|Melb.|Méx.|Mil.|Münch.|N. Y.|Nel.|Nürnb.|Oxf.|P.|Phil.|S. a.|S. l.|Stc.|Stras.|Stuttg.|Teh.|W.|Warsz.|Z. = М.
   | М.
  }}

}}: Издательство Московского университета, 2010.

 |ми= — {{#if: М.
| {{#switch: М.
   |Б.|Б. м.|Белг.|Влдв.|Влдк.|Волг.|Гр.|Душ.|Екд.|Ер.|Иер.|К.|Каз.|Киш.|Л.|Льв.|М.|Мгн.|Мн.|Мх.|Н. Н.|Н. Новгород|Н.-Й.|Нч.|Од.|Орб.|П.|Пг.|Пт.|Р. н/Д.|Ростов н/Д|СПб.|Сф.|Таш.|Тб.|Тф.|Х.|Яр.|Amst.|An.|B.|Bd.|Bdpst.|Bom.|Brem.|Bris.|Brux.|Bs. As.|Calc.|Camb.|Cambr.|Chi.|Cinc.|Darm.|Düss.|Edin.|Fr./M.|Gött.|Hamb.|Hdlb.|İs.|L.|L. A.|Lpz.|Melb.|Méx.|Mil.|Münch.|N. Y.|Nel.|Nürnb.|Oxf.|P.|Phil.|S. a.|S. l.|Stc.|Stras.|Stuttg.|Teh.|W.|Warsz.|Z. = М.
   | М.
  }}

}}: Издательство Московского университета.

 |мг= — {{#if: М.
| {{#switch: М.
   |Б.|Б. м.|Белг.|Влдв.|Влдк.|Волг.|Гр.|Душ.|Екд.|Ер.|Иер.|К.|Каз.|Киш.|Л.|Льв.|М.|Мгн.|Мн.|Мх.|Н. Н.|Н. Новгород|Н.-Й.|Нч.|Од.|Орб.|П.|Пг.|Пт.|Р. н/Д.|Ростов н/Д|СПб.|Сф.|Таш.|Тб.|Тф.|Х.|Яр.|Amst.|An.|B.|Bd.|Bdpst.|Bom.|Brem.|Bris.|Brux.|Bs. As.|Calc.|Camb.|Cambr.|Chi.|Cinc.|Darm.|Düss.|Edin.|Fr./M.|Gött.|Hamb.|Hdlb.|İs.|L.|L. A.|Lpz.|Melb.|Méx.|Mil.|Münch.|N. Y.|Nel.|Nürnb.|Oxf.|P.|Phil.|S. a.|S. l.|Stc.|Stras.|Stuttg.|Teh.|W.|Warsz.|Z. = М.
   | М.
  }}

}}, 2010.

 |иг= — Издательство Московского университета, 2010.
 |м= — {{#if: М.
| {{#switch: М.
   |Б.|Б. м.|Белг.|Влдв.|Влдк.|Волг.|Гр.|Душ.|Екд.|Ер.|Иер.|К.|Каз.|Киш.|Л.|Льв.|М.|Мгн.|Мн.|Мх.|Н. Н.|Н. Новгород|Н.-Й.|Нч.|Од.|Орб.|П.|Пг.|Пт.|Р. н/Д.|Ростов н/Д|СПб.|Сф.|Таш.|Тб.|Тф.|Х.|Яр.|Amst.|An.|B.|Bd.|Bdpst.|Bom.|Brem.|Bris.|Brux.|Bs. As.|Calc.|Camb.|Cambr.|Chi.|Cinc.|Darm.|Düss.|Edin.|Fr./M.|Gött.|Hamb.|Hdlb.|İs.|L.|L. A.|Lpz.|Melb.|Méx.|Mil.|Münch.|N. Y.|Nel.|Nürnb.|Oxf.|P.|Phil.|S. a.|S. l.|Stc.|Stras.|Stuttg.|Teh.|W.|Warsz.|Z. = М.
   | М..
  }}

}}

 |и= — Издательство Московского университета.
 |г= — 2010.

}}{{#if:| — {{{том как есть}}}.}}{{#if:|{{#if:| — Vol. {{{volume}}}.}}{{#if:| — Bd. {{{band}}}.}}{{#if:| — {{{страницы как есть}}}.}}{{#if:375—376| — С. {{#if:|[375—376] (стб. {{{столбцы}}}).|375—376.}}|{{#if:| — Стб. {{{столбцы}}}}}}}{{#if:| — {{{страниц как есть}}}.}}{{#if:616| — 616 с.}}{{#if:| — P. {{#if:|[{{{pages}}}] (col. {{{columns}}}).|{{{pages}}}.}}|{{#if:| — Col. {{{columns}}}}}}}{{#if:| — S. {{#if:|[{{{seite}}}] (Kol. {{{kolonnen}}}).|{{{seite}}}.}}}}{{#if:| —  p.}}{{#if:| —  S.}}|{{#ifeq:|ru|{{#if:|{{#if: | [{{{ссылка том}}} — Т. .]| — Т. .}}}}{{#if:| — .}}{{#if:375—376| — С. {{#if:|[375—376] (стб. ).|375—376.}}|{{#if:| — Стб. }}}}{{#if:| — .}}{{#if:616| — 616 с.}}|{{#ifeq:|en|{{#if:| — Vol. .}}{{#if:375—376| — P. {{#if:|[375—376] (col. ).|375—376.}}|{{#if:| — Col. }}}}{{#if:616| — 616 p.}}|{{#ifeq:|de|{{#if:| — Bd. .}}{{#if:375—376| — S. {{#if:|[375—376] (Kol. ).|375—376.}}}}{{#if:616| — 616 S.}}|{{#if:|{{#if: | [{{{ссылка том}}} — Т. .]| — Т. .}}}}{{#if:| — .}}{{#if:375—376| — С. {{#if:|[375—376] (стб. ).|375—376.}}|{{#if:| — Стб. }}}}{{#if:| — .}}{{#if:616| — 616 с.}}}}}}}}}}{{#if:| — ().}}{{#if:1 500| — 1 500 экз.}}{{#if:978-5-211-05838-5| — ISBN 978-5-211-05838-5.}}{{#if:| — ISBN {{{isbn2}}}.}}{{#if:| — ISBN {{{isbn3}}}.}}{{#if:| — ISBN {{{isbn4}}}.}}{{#if:| — ISBN {{{isbn5}}}.}}{{#if:| — Шаблон:DOI.}}{{#if:

 |  [ Архивировано] {{#iferror: {{#time: j" "xg Y |  }} года | }}.К:Википедия:Статьи с некорректным использованием шаблонов:Книга (указан archiveurl)

}}

Ссылки