|
|
| (не показаны 5 промежуточные версии 1 участника) |
| Строка 1: |
Строка 1: |
| | {{DISPLAYTITLE:Вороненко Андрей Анатольевич}} | | {{DISPLAYTITLE:Вороненко Андрей Анатольевич}} |
| − | [[Image:Voronenko.jpg|thumb|right|Вороненко Андрей Анатольевич]]'''Вороненко Андрей Анатольевич''' — доктор физико-математических наук, профессор.
| + | '''Вороненко Андрей Анатольевич''' — доктор физико-математических наук, профессор кафедры МК. |
| − | | + | |
| − | ==Области научных интересов==
| + | |
| − | ===Быстрые алгоритмы распознавания свойств дискретных функций===
| + | |
| − | Для задач pаспознавания "естественных" свойств функций стpоятся алгоритмы, имеющие меньшую сложность, чем следующие непосpедственно из определений.
| + | |
| − | | + | |
| − | ===Оценки количества дискретных функций===
| + | |
| − | Основная изучаемая задача -- по заданным "естественным" условиям найти количество дискpетных функций, удовлетвоpяющих этим условиям (обычно на уpовне асимптотики логаpифма).
| + | |
| − | | + | |
| − | === Замкнутые классы в частичной логике===
| + | |
| − | ===Тестирование булевых функций===
| + | |
| − | | + | |
| − | ===Ссылки===
| + | |
| − | *[http://mathcyb.cs.msu.su/research.php#res_alg быстрые алгоритмы распознавания свойств дискретных функций]
| + | |
| − | *[http://mathcyb.cs.msu.su/research.php#res_discrete оценки количества дискретных функций]
| + | |
| − | *[http://mathcyb.cs.msu.su/research.php#res_func замкнутые классы в частичной логике]
| + | |
| − | *[http://mathcyb.cs.msu.su/research.php#test_func тестирование булевых функций]
| + | |
| − | | + | |
| − | ==Избранные публикации==
| + | |
| − | | + | |
| − | #О некоторых замкнутых классах в частичной двузначной логике
| + | |
| − | #:{{Smaller|Дискретная математика, 1994, т.6, N 3, 58-79 (совм. с В.Б. Алексеевым)}}
| + | |
| − | #:
| + | |
| − | #On some closed classes in partial two-valued logic
| + | |
| − | #:{{Smaller|Discrete mathematics and applications, 1994, v. 5, N 4, 401-419 (совм. с В.Б. Алексеевым)}}
| + | |
| − | #:
| + | |
| − | #Об условиях полной асимптотики мощности классов функций k-значной логики, сохраняющих конечноместный предикат
| + | |
| − | #:{{Smaller|Вестник МГУ. Сер. 15 Вычислительная математика и кибернетика, 1997, N 3, c.44-47.}}
| + | |
| − | #:
| + | |
| − | #О росте количества липшицевых дискретных функций при растущей размерности области определения
| + | |
| − | #:{{Smaller|Вестник МГУ. Cерия 1 Математика и механика, 2000, N 2, C.3-7.}}
| + | |
| − | #:
| + | |
| − | #О количестве метрических дискретных функций n переменных
| + | |
| − | #:{{Smaller|Математические вопpосы кибеpнетики. М.: Физматлит, 1998. Выпуск 7, с.203-212.}}
| + | |
| − | #:
| + | |
| − | #О сложности pаспознавания монотонности
| + | |
| − | #:{{Smaller|Математические вопросы кибернетики. М.: Физматлит, 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
| + | |
| − | #:{{Smaller|Moscow univ. bull. Computational Mathematics and Cybernetics, Number 3, 1997. P. 59-63.}}
| + | |
| − | #:
| + | |
| − | #О методе разложения для распознования принадлежности инариантным классам.
| + | |
| − | #:{{Smaller|Дискретная математика 2002 N 4, c 110-116.}}
| + | |
| − | #:
| + | |
| − | #О проверящих тестах для бесповторных функций.
| + | |
| − | #:{{Smaller|Математические вопросы кибернетики 2002. Выпуск 11 с 163-176.}}
| + | |
