ON SCIENCE HERITAGE OF CORRESPONDING MEMBER А.D. ZAKREVSKIJ
Abstract
Arkadij Dmitrievich Zakrevskij was at the beginnings of cybernetics origin in the Soviet Union. He is the founder of one of the known schools of logical design in the Soviet Union and all the world. This paper is devoted to the science heritage of A.D. Zakrevskij.
About the Authors
P. N. Bibilo
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
Yu. V. Pottosin
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
L. D. Cheremisinova
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
References
1. Закревский, А.Д. Формализация синтеза электронной цифровой вычислительной машины / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 64–72.
2. Закревский, А.Д. Метод синтеза диодных логических схем / А.Д. Закревский // Там же. – С. 73–88.
3. Закревский, А.Д. Визуально-матричный метод минимизации булевых функций / А.Д. Закревский // Автоматика и телемеханика. – 1960. – № 3. – С. 369–373.
4. Закревский, А.Д. Вычисления в булевых пространствах / А.Д. Закревский // Логическая структура научного знания. – М. : Наука, 1965. – С. 292–310.
5. Закревский, А.Д. Алгоритмы минимизации слабо определенных булевых функций / А.Д. Закревский // Кибернетика. – 1965. – № 2. – С. 53–60.
6. Закревский, А.Д. К синтезу последовательностных автоматов / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 89–94.
7. Закревский, А.Д. Операторный метод синтеза алгоритмических систем / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1959. – № 2. – С. 306–315.
8. Закревский, А.Д. О сокращении переборов при решении некоторых задач синтеза дискретных автоматов / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1964. – № 1. – С. 166–174.
9. Закревский, А.Д. Покрытия множеств / А.Д. Закревский // Труды СФТИ. – Вып. 48 : Автоматизация синтеза дискретных автоматов. – Томск : Изд-во Томск. ун-та, 1966. – С. 69–72.
10. Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. – М. : Наука, 1966. – С. 136–147.
11. Закревский, А.Д. Функциональная устойчивость релейных схем / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 112–126.
12. Закревский, А.Д. Метод автоматической шифрации сообщений / А.Д. Закревский // Прикладная дискретная математика. – 2009. – № 2(4). – С. 127–137.
13. Закревский, А.Д. Машина для решения логических задач типа синтеза релейных схем / А.Д. Закревский // Синтез релейных структур : тр. Междунар. симп. по теории релейных устройств и конечных автоматов (ИФАК). – М. : Наука, 1965. – С. 346–356.
14. Закревский, А.Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов / А.Д. Закревский; МВ и ССО РСФСР, СФТИ им. В.А. Кузнецова при Томском гос. ун-те ; [науч. ред. В.П. Тарасенко]. – Томск : Изд-во Томск. ун-та, 1966. – 266 с.
15. Логический язык для представления алгоритмов синтеза релейных устройств / Под ред. М.А. Гаврилова. – М. : Наука, 1966. – 342 c.
16. LYaPAS, A Programming Language for Logic and Coding Algorithms / Ed. by M. Gavrilov and A. Zakrevskij. – N. Y., London : ACM Monograph Series, 1969.
17. Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М. : Наука, 1971. – 512 с.
18. Синтез асинхронных автоматов на ЭВМ / [авт.-сост.: А.Д. Закревский, Л.И. Балаклей, Н.А. Елисеева и др.] ; под общ. ред. А.Д. Закревского. – Минск : Наука и техника, 1975. – 184 с.
19. Закревский, А.Д. Логические уравнения / А.Д. Закревский. – Минск : Наука и техника, 1975. – 96 с. ; изд. 2-е. – М. : УРСС, 2003. – 96 c.
20. Закревский А.Д. Решение больших систем логических уравнений / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2009. – 96 с. ; Solving Large Systems Logical Equations / A.D. Zakrevskij. – Tallinn : TUT Press, 2013. – 114 p.
21. Закревский, А.Д. Система программирования ЛЯПАС-М / А.Д. Закревский, Н.Р. То- ропов ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1978. – 240 с.
22. Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. – М. : Наука, 1981. – 416 с.
23. Закревский, А.Д. Логика распознавания / А.Д. Закревский ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1988. – 118 с. ; изд. 2-е, доп. – М. : УРСС, 2003. – 140 с.
24. Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск : Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с. ; изд. 2-е. – М. : УРСС, 2003. – 200 с.
25. Закревский, А.Д. Полиномиальная реализация частичных булевых функций и систем / А.Д. Закревский, Н.Р. Торопов. – Минск : Ин-т техн. кибернетики НАН Беларуси, 2001. – 200 с ; изд. 2-е. – М. : УРСС, 2003. – 200 с.
26. Закревский, А.Д. Комбинаторика логического проектирования / А.Д. Закревский // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68–79.
27. Закревский, А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте / А.Д. Закревский // Зарубежная радиоэлектроника: успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.
28. Boolesche Gleichungen. Theorie, Anwendung, Algorithmen / ed. mit D. Bochmann, A. Zakrevskij und Ch. Posthoff. – Berlin : VEB Verlag Technik, 1984.
29. Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 590 с.
30. Закревский, А.Д. Основы логического проектирования: в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 1: Комбинаторные алгоритмы дискретной математики. – 225 с. ; Combinatorial algorithms of discrete mathematics. – Tallinn : TUT Press, 2008. – 192 p.
31. Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 2 : Оптимизация в булевом пространстве. – 240 с. ; Optimization in Boolean space. – Tallinn : TUT Press, 2009. – 241 p.
32. Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2006. – Кн. 3 : Проектирование устройств логического управления. – 254 с. ; Design of Logical Control Devices. – Tallinn : TUT Press, 2009. – 304 p.
33. Закревский А.Д. Вычисления в многомерном булевом пространстве / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2011. – 106 с. ; Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij ; ed. A. Keevallik. – Tallinn : TUT Press, 2012. – 121 p.
34. Закревский, А.Д. Автоматизация логического синтеза дискретных устройств / А.Д. Закревский // Кибернетика. – 1975. – № 4. – С. 100–108.
35. Закревский, А.Д. Принципы построения диалоговых систем проектирования и их реализация в системе логического синтеза / А.Д. Закревский // Оптимизация систем сбора, передачи и обработки информации в человекомашинных системах. – Минск : Ин-т техн. кибернетики АН Беларуси, 1980. – С. 3–6.
36. Закревский, А.Д. Энергосберегающее кодирование состояний конечного автомата. Метод квадратов / А.Д. Закревский // Информатика. – 2005. – № 4. – С. 105–113.
37. Закревский, А.Д. Нахождение режима максимального энергопотребления логической схемы / А.Д. Закревский // Прикладная дискретная математика. – 2012. – № 2(16). – C. 100–104.
38. Биобиблиография ученых Беларуси. Член-корреспондент Аркадий Дмитриевич Закревский (к 80-летию со дня рождения) / НАН Беларуси, Объед. ин-т проблем информатики, ЦНБ им. Я. Коласа. – Минск : ОИПИ НАН Беларуси, 2008. – 91 с.
39. Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объед. ин-т проблем информатики НАН Беларуси ; науч. ред.: С.В. Абламейко, А.В. Тузиков, О.И. Семенков. – Минск : Тэхналогiя, 2015. – 348 с.
Review
For citations:
Bibilo P.N., Pottosin Yu.V., Cheremisinova L.D. ON SCIENCE HERITAGE OF CORRESPONDING MEMBER А.D. ZAKREVSKIJ. Informatics. 2017;(1(53)):112-124. (In Russ.)
Views: 739
Email this article 