Вороненко, Андрей Анатольевич — различия между версиями
Alej (обсуждение | вклад) м (1 версия импортирована) |
Eraevsky (обсуждение | вклад) |
||
| (не показаны 4 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | + | [[Файл:Вороненко Андрей Анатольевич.jpg|thumb|180px|<center><small>А. А. Вороненко</small></center>]] | |
| − | + | '''[https://ru.wikipedia.org/wiki/Вороненко,_Андрей_Анатольевич Андрей Анатольевич Вороненко]''' (род. 1972) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики [[ВМК МГУ|факультета ВМК МГУ]]. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | '''Андрей Анатольевич Вороненко''' (род. 1972) — | ||
== Биография == | == Биография == | ||
| − | Окончил [[ | + | Окончил [[ВМК МГУ|факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова]] в 1994 году. |
| − | Обучался в аспирантуре | + | Обучался в аспирантуре факультета ВМК (1994—1997). |
| − | Работает на | + | Работает на кафедре математической кибернетикифакультета ВМК МГУ с 1997 года в должностях младшего научного сотрудника (1997—2000), старшего научного сотрудника (2000—2002), доцента (2002-2009), профессора (с 2009). |
| − | Лауреат [[Премия имени И. И. Шувалова|премии МГУ им. И. И. Шувалова]] (2008) за докторскую диссертацию «Методы представления дискретных функций в задачах подсчета, тестирования и распознавания свойств» | + | Лауреат [[Премия имени И. И. Шувалова|премии МГУ им. И. И. Шувалова]] (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> — длина вектор-столбца). | ||
== Педагогическая деятельность == | == Педагогическая деятельность == | ||
| − | На | + | На факультете ВМК МГУ читает курс лекций по основам кибернетики, по дискретной математике для бакалавров, ведёт семинарские занятия по курсам дискретной математики, дополнительных глав дискретной математики. |
| − | В [[ | + | В [[МФТИ]] читает обязательные курсы «Дискретные функции» и «Контроль управляющих систем» для магистрантов и ведёт занятия по теории кодирования у бакалавров. |
== Избранные работы == | == Избранные работы == | ||
| Строка 57: | Строка 42: | ||
== Литература == | == Литература == | ||
| − | * | + | * Факультет Вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е. А. Григорьев. — М.: Издательство Московского университета, 2010. — С. 375—376. — 616 с. — 1 500 экз. — ISBN 978-5-211-05838-5. |
== Ссылки == | == Ссылки == | ||
| Строка 64: | Строка 49: | ||
* [http://mk.cs.msu.ru/index.php/Вороненко_Андрей_Анатольевич Страница А.А. Вороненко на сайте кафедры математической кибернетики факультета ВМК МГУ] | * [http://mk.cs.msu.ru/index.php/Вороненко_Андрей_Анатольевич Страница А.А. Вороненко на сайте кафедры математической кибернетики факультета ВМК МГУ] | ||
* [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:31, 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. (совм. с Д.В. Чистиковым и В.С. Фёдоровой)
Примечания
Литература
- Факультет Вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е. А. Григорьев. — М.: Издательство Московского университета, 2010. — С. 375—376. — 616 с. — 1 500 экз. — ISBN 978-5-211-05838-5.
