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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Файл:Voronenko.jpg
Вороненко Андрей Анатольевич
Вороненко Андрей Анатольевич — доктор физико-математических наук, профессор.

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

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

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

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

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

Замкнутые классы в частичной логике

Тестирование булевых функций

Ссылки

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

Спецкурсы

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

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

  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.