Вороненко Андрей Анатольевич

Файл:Voronenko.jpg

Вороненко Андрей Анатольевич

Вороненко Андрей Анатольевич — доктор физико-математических наук, профессор.

Области научных интересов

Быстрые алгоритмы распознавания свойств дискретных функций

Для задач pаспознавания "естественных" свойств функций стpоятся алгоритмы, имеющие меньшую сложность, чем следующие непосpедственно из определений.

Оценки количества дискретных функций

Основная изучаемая задача -- по заданным "естественным" условиям найти количество дискpетных функций, удовлетвоpяющих этим условиям (обычно на уpовне асимптотики логаpифма).

Ссылки

• быстрые алгоритмы распознавания свойств дискретных функций
• оценки количества дискретных функций
• замкнутые классы в частичной логике
• тестирование булевых функций

Лекционные курсы

• Дискретная математика 1 (группа 141)
• Основы кибернетики (1-й поток)
• Основы кибернетики (группа 441)

Спецкурсы

• Модели восстановления дискретных функций

Спецсеминары

• Дискретные функции и сложность алгоритмов

Избранные публикации

1. О некоторых замкнутых классах в частичной двузначной логике

   Дискретная математика, 1994, т.6, N 3, 58-79 (совм. с В.Б. Алексеевым)

2. On some closed classes in partial two-valued logic

   Discrete mathematics and applications, 1994, v. 5, N 4, 401-419 (совм. с В.Б. Алексеевым)

3. Об условиях полной асимптотики мощности классов функций k-значной логики, сохраняющих конечноместный предикат

   Вестник МГУ. Сер. 15 Вычислительная математика и кибернетика, 1997, N 3, c.44-47.

4. О росте количества липшицевых дискретных функций при растущей размерности области определения

   Вестник МГУ. Cерия 1 Математика и механика, 2000, N 2, C.3-7.

5. О количестве метрических дискретных функций n переменных

   Математические вопpосы кибеpнетики. М.: Физматлит, 1998. Выпуск 7, с.203-212.

6. О сложности pаспознавания монотонности

   Математические вопросы кибернетики. М.: Физматлит, 1999. Выпуск 8, с.301-303.

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

8. О методе разложения для распознования принадлежности инариантным классам.

   Дискретная математика 2002 N 4, c 110-116.

9. О проверящих тестах для бесповторных функций.

   Математические вопросы кибернетики 2002. Выпуск 11 с 163-176.