Национальная академия наук Беларуси

ЗАКРЕВСКИЙ Аркадий Дмитриевич

Аркадий Дмитриевич Закревский (р. 22.05.1928, г. Ленинград, Россия), ученый в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси (1972), доктор технических наук (1967), профессор (1969).

Работы по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств, и методы реализации параллельных алгоритмов логического управления взаимодействующими процессами. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Обобщил методы теории булевых функций на конечные предикаты, разработал логический подход к распознаванию образов в пространстве булевых и многозначных признаков.

Автор 500 научных работ, в т.ч. 23 монографий.

Награжден медалями.

Основные труды:

  1. LYaPAS: A programming language for logic and coding algorithms. N.-Y.; L.: Academic Press, 1969 (with M.A.Gavrilov).
  2. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.
  3. Логические уравнения. Мн., 1975; 2 изд. М.: Едиториал УРСС, 2003.
  4. Логический синтез каскадных схем. М.: Наука, 1981.
  5. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. Berlin: VEB Verlag Technik, 1984 (mit D.Bochmann, Ch.Posthoff).
  6. Логика распознавания. Мн., 1988; 2 изд. М.: Едиториал УРСС, 2003.
  7. Параллельные алгоритмы логического управления. Мн., 1999; 2 изд. М.: Едиториал УРСС, 2003.
  8. Полиномиальная реализация частичных булевых функций и систем. Мн., 2001 (совм. с Н.Р.Тороповым).
  9. Основы логического проектирования: В 3 кн. (совм. с Ю.В. Потлосиным, Л.Д. Черемисиновой). Мн.: ОИПИ НАН Беларуси, 2004-2006.
  10. Логические основы проектирования дискретных устройств. М.: Физматлит, 2007 (с ними же).
  11. Design of logical control devices. TUT Press, 2009 (with Yu. Pottosin, L. Cheremisinova).