Аркадий Дмитриевич Закревский (р. 22.05.1928, г. Ленинград, Россия), ученый в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси (1972), доктор технических наук (1967), профессор (1969).
Окончил Томский университет (1956). В 1959-1971 гг. ассистент, старший научный сотрудник, заведующий лабораторией, профессор, заведующий кафедрой Томского университета. В 1971-1994 гг. заведующий лабораторией, с 1994 г. главный научный сотрудник Объединенного института проблем информатики Национальной академии наук Беларуси.
Работы по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств, и методы реализации параллельных алгоритмов логического управления взаимодействующими процессами. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Обобщил методы теории булевых функций на конечные предикаты, разработал логический подход к распознаванию образов в пространстве булевых и многозначных признаков.
Автор более 470 научных работ, в т.ч. 16 монографий.
Награжден медалями.
Основные труды:
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 (совм. с Н.Р.Тороповым).
Литература:
1. Аркадий Дмитриевич Закревский (К 70-летию со дня рождения) // Изв. НАН Беларуси. Сер. физ.-техн. наук. 1998, №1.
2. Профессора Томского университета. Т.3. Томск, 2001.
3. Библиографический указатель научных трудов члена-корреспондента А.Д. Закревского. Мн., 2003.
/ Члены академии / Члены-корреспонденты / К началу страницы
