|
|
(не показаны 8 промежуточные версии 1 участника) |
Строка 1: |
Строка 1: |
| {{DISPLAYTITLE:Вороненко Андрей Анатольевич}} | | {{DISPLAYTITLE:Вороненко Андрей Анатольевич}} |
− | [[Image:Voronenko.jpg|thumb|right|Вороненко Андрей Анатольевич]]'''Вороненко Андрей Анатольевич''' — доктор физико-математических наук, профессор.
| + | '''Вороненко Андрей Анатольевич''' — доктор физико-математических наук, профессор кафедры МК. |
− | | + | |
− | ==Области научных интересов==
| + | |
− | ====[http://mathcyb.cs.msu.su/research.php#res_alg быстрые алгоритмы распознавания свойств дискретных функций]====
| + | |
− | Для задач pаспознавания "естественных" свойств функций стpоятся алгоритмы, имеющие меньшую сложность, чем следующие непосpедственно из определений.
| + | |
− | | + | |
− | ====[http://mathcyb.cs.msu.su/research.php#res_discrete оценки количества дискретных функций]====
| + | |
− | Основная изучаемая задача -- по заданным "естественным" условиям найти количество дискpетных функций, удовлетвоpяющих этим условиям (обычно на уpовне асимптотики логаpифма).
| + | |
− | | + | |
− | ====[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.}}
| + | |