informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-206Research ArticleУЧЕНЫЕ БЕЛАРУСИSCIENTISTS OF BELARUSО НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГОON SCIENCE HERITAGE OF CORRESPONDING MEMBER А.D. ZAKREVSKIJБибилоП. Н.BibiloP. N.

Минск, Сурганова, 6 

bibilo@newman.bas-net.byПоттосинЮ. В.PottosinYu. V.

Минск, Сурганова, 6 

ЧеремисиноваЛ. Д.CheremisinovaL. D.

Минск, Сурганова, 6 

Объединенный институт проблем информатики НАН БеларусиBelarus20172803201701(53)112124Copyright © Бибило П.Н., Поттосин Ю.В., Черемисинова Л.Д., 20172017Бибило П.Н., Поттосин Ю.В., Черемисинова Л.Д.Bibilo P.N., Pottosin Y.V., Cheremisinova L.D.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/206

Посвящается научному наследию Аркадия Дмитриевича Закревского, который стоял у истоков зарождения кибернетики в Советском Союзе и являлся основателем одной из самых известных школ логического проектирования в Советском Союзе и мире.

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.

ReferencesЗакревский, А.Д. Формализация синтеза электронной цифровой вычислительной машины / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 64–72.Закревский, А.Д. Формализация синтеза электронной цифровой вычислительной машины / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 64–72.Закревский, А.Д. Метод синтеза диодных логических схем / А.Д. Закревский // Там же. – С. 73–88.Закревский, А.Д. Метод синтеза диодных логических схем / А.Д. Закревский // Там же. – С. 73–88.Закревский, А.Д. Визуально-матричный метод минимизации булевых функций / А.Д. Закревский // Автоматика и телемеханика. – 1960. – № 3. – С. 369–373.Закревский, А.Д. Визуально-матричный метод минимизации булевых функций / А.Д. Закревский // Автоматика и телемеханика. – 1960. – № 3. – С. 369–373.Закревский, А.Д. Вычисления в булевых пространствах / А.Д. Закревский // Логическая структура научного знания. – М. : Наука, 1965. – С. 292–310.Закревский, А.Д. Вычисления в булевых пространствах / А.Д. Закревский // Логическая структура научного знания. – М. : Наука, 1965. – С. 292–310.Закревский, А.Д. Алгоритмы минимизации слабо определенных булевых функций / А.Д. Закревский // Кибернетика. – 1965. – № 2. – С. 53–60.Закревский, А.Д. Алгоритмы минимизации слабо определенных булевых функций / А.Д. Закревский // Кибернетика. – 1965. – № 2. – С. 53–60.Закревский, А.Д. К синтезу последовательностных автоматов / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 89–94.Закревский, А.Д. К синтезу последовательностных автоматов / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 89–94.Закревский, А.Д. Операторный метод синтеза алгоритмических систем / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1959. – № 2. – С. 306–315.Закревский, А.Д. Операторный метод синтеза алгоритмических систем / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1959. – № 2. – С. 306–315.Закревский, А.Д. О сокращении переборов при решении некоторых задач синтеза дискретных автоматов / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1964. – № 1. – С. 166–174.Закревский, А.Д. О сокращении переборов при решении некоторых задач синтеза дискретных автоматов / А.Д. Закревский // Изв. ВУЗов. Радиофизика. – 1964. – № 1. – С. 166–174.Закревский, А.Д. Покрытия множеств / А.Д. Закревский // Труды СФТИ. – Вып. 48 : Автоматизация синтеза дискретных автоматов. – Томск : Изд-во Томск. ун-та, 1966. – С. 69–72.Закревский, А.Д. Покрытия множеств / А.Д. Закревский // Труды СФТИ. – Вып. 48 : Автоматизация синтеза дискретных автоматов. – Томск : Изд-во Томск. ун-та, 1966. – С. 69–72.Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. – М. : Наука, 1966. – С. 136–147.Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. – М. : Наука, 1966. – С. 136–147.Закревский, А.Д. Функциональная устойчивость релейных схем / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 112–126.Закревский, А.Д. Функциональная устойчивость релейных схем / А.Д. Закревский // Труды СФТИ. – Вып. 40 : Вычислительная техника, автоматика, теория информации. – Томск : Изд-во Томск. ун-та, 1961. – С. 112–126.Закревский, А.Д. Метод автоматической шифрации сообщений / А.Д. Закревский // Прикладная дискретная математика. – 2009. – № 2(4). – С. 127–137.Закревский, А.Д. Метод автоматической шифрации сообщений / А.Д. Закревский // Прикладная дискретная математика. – 2009. – № 2(4). – С. 127–137.Закревский, А.Д. Машина для решения логических задач типа синтеза релейных схем / А.Д. Закревский // Синтез релейных структур : тр. Междунар. симп. по теории релейных устройств и конечных автоматов (ИФАК). – М. : Наука, 1965. – С. 346–356.Закревский, А.Д. Машина для решения логических задач типа синтеза релейных схем / А.Д. Закревский // Синтез релейных структур : тр. Междунар. симп. по теории релейных устройств и конечных автоматов (ИФАК). – М. : Наука, 1965. – С. 346–356.Закревский, А.Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов / А.Д. Закревский; МВ и ССО РСФСР, СФТИ им. В.А. Кузнецова при Томском гос. ун-те ; [науч. ред. В.П. Тарасенко]. – Томск : Изд-во Томск. ун-та, 1966. – 266 с.Закревский, А.Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов / А.Д. Закревский; МВ и ССО РСФСР, СФТИ им. В.А. Кузнецова при Томском гос. ун-те ; [науч. ред. В.П. Тарасенко]. – Томск : Изд-во Томск. ун-та, 1966. – 266 с.Логический язык для представления алгоритмов синтеза релейных устройств / Под ред. М.А. Гаврилова. – М. : Наука, 1966. – 342 c.Логический язык для представления алгоритмов синтеза релейных устройств / Под ред. М.А. Гаврилова. – М. : Наука, 1966. – 342 c.LYaPAS, A Programming Language for Logic and Coding Algorithms / Ed. by M. Gavrilov and A. Zakrevskij. – N. Y., London : ACM Monograph Series, 1969.LYaPAS, A Programming Language for Logic and Coding Algorithms / Ed. by M. Gavrilov and A. Zakrevskij. – N. Y., London : ACM Monograph Series, 1969.Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М. : Наука, 1971. – 512 с.Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М. : Наука, 1971. – 512 с.Синтез асинхронных автоматов на ЭВМ / [авт.-сост.: А.Д. Закревский, Л.И. Балаклей, Н.А. Елисеева и др.] ; под общ. ред. А.Д. Закревского. – Минск : Наука и техника, 1975. – 184 с.Синтез асинхронных автоматов на ЭВМ / [авт.-сост.: А.Д. Закревский, Л.И. Балаклей, Н.А. Елисеева и др.] ; под общ. ред. А.Д. Закревского. – Минск : Наука и техника, 1975. – 184 с.Закревский, А.Д. Логические уравнения / А.Д. Закревский. – Минск : Наука и техника, 1975. – 96 с. ; изд. 2-е. – М. : УРСС, 2003. – 96 c.Закревский, А.Д. Логические уравнения / А.Д. Закревский. – Минск : Наука и техника, 1975. – 96 с. ; изд. 2-е. – М. : УРСС, 2003. – 96 c.Закревский А.Д. Решение больших систем логических уравнений / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2009. – 96 с. ; Solving Large Systems Logical Equations / A.D. Zakrevskij. – Tallinn : TUT Press, 2013. – 114 p.Закревский А.Д. Решение больших систем логических уравнений / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2009. – 96 с. ; Solving Large Systems Logical Equations / A.D. Zakrevskij. – Tallinn : TUT Press, 2013. – 114 p.Закревский, А.Д. Система программирования ЛЯПАС-М / А.Д. Закревский, Н.Р. То- ропов ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1978. – 240 с.Закревский, А.Д. Система программирования ЛЯПАС-М / А.Д. Закревский, Н.Р. То- ропов ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1978. – 240 с.Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. – М. : Наука, 1981. – 416 с.Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. – М. : Наука, 1981. – 416 с.Закревский, А.Д. Логика распознавания / А.Д. Закревский ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1988. – 118 с. ; изд. 2-е, доп. – М. : УРСС, 2003. – 140 с.Закревский, А.Д. Логика распознавания / А.Д. Закревский ; АН БССР, Ин-т техн. кибернетики. – Минск : Наука и техника, 1988. – 118 с. ; изд. 2-е, доп. – М. : УРСС, 2003. – 140 с.Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск : Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с. ; изд. 2-е. – М. : УРСС, 2003. – 200 с.Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск : Ин-т техн. кибернетики НАН Беларуси, 1999. – 202 с. ; изд. 2-е. – М. : УРСС, 2003. – 200 с.Закревский, А.Д. Полиномиальная реализация частичных булевых функций и систем / А.Д. Закревский, Н.Р. Торопов. – Минск : Ин-т техн. кибернетики НАН Беларуси, 2001. – 200 с ; изд. 2-е. – М. : УРСС, 2003. – 200 с.Закревский, А.Д. Полиномиальная реализация частичных булевых функций и систем / А.Д. Закревский, Н.Р. Торопов. – Минск : Ин-т техн. кибернетики НАН Беларуси, 2001. – 200 с ; изд. 2-е. – М. : УРСС, 2003. – 200 с.Закревский, А.Д. Комбинаторика логического проектирования / А.Д. Закревский // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68–79.Закревский, А.Д. Комбинаторика логического проектирования / А.Д. Закревский // Автоматика и вычислительная техника. – 1990. – № 2. – С. 68–79.Закревский, А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте / А.Д. Закревский // Зарубежная радиоэлектроника: успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.Закревский, А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте / А.Д. Закревский // Зарубежная радиоэлектроника: успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.Boolesche Gleichungen. Theorie, Anwendung, Algorithmen / ed. mit D. Bochmann, A. Zakrevskij und Ch. Posthoff. – Berlin : VEB Verlag Technik, 1984.Boolesche Gleichungen. Theorie, Anwendung, Algorithmen / ed. mit D. Bochmann, A. Zakrevskij und Ch. Posthoff. – Berlin : VEB Verlag Technik, 1984.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 590 с.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 590 с.Закревский, А.Д. Основы логического проектирования: в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 1: Комбинаторные алгоритмы дискретной математики. – 225 с. ; Combinatorial algorithms of discrete mathematics. – Tallinn : TUT Press, 2008. – 192 p.Закревский, А.Д. Основы логического проектирования: в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 1: Комбинаторные алгоритмы дискретной математики. – 225 с. ; Combinatorial algorithms of discrete mathematics. – Tallinn : TUT Press, 2008. – 192 p.Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 2 : Оптимизация в булевом пространстве. – 240 с. ; Optimization in Boolean space. – Tallinn : TUT Press, 2009. – 241 p.Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2004. – Кн. 2 : Оптимизация в булевом пространстве. – 240 с. ; Optimization in Boolean space. – Tallinn : TUT Press, 2009. – 241 p.Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2006. – Кн. 3 : Проектирование устройств логического управления. – 254 с. ; Design of Logical Control Devices. – Tallinn : TUT Press, 2009. – 304 p.Закревский, А.Д. Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск : ОИПИ НАН Беларуси, 2006. – Кн. 3 : Проектирование устройств логического управления. – 254 с. ; Design of Logical Control Devices. – Tallinn : TUT Press, 2009. – 304 p.Закревский А.Д. Вычисления в многомерном булевом пространстве / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2011. – 106 с. ; Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij ; ed. A. Keevallik. – Tallinn : TUT Press, 2012. – 121 p.Закревский А.Д. Вычисления в многомерном булевом пространстве / А.Д. Закревский. – Минск : ОИПИ НАН Беларуси, 2011. – 106 с. ; Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij ; ed. A. Keevallik. – Tallinn : TUT Press, 2012. – 121 p.Закревский, А.Д. Автоматизация логического синтеза дискретных устройств / А.Д. Закревский // Кибернетика. – 1975. – № 4. – С. 100–108.Закревский, А.Д. Автоматизация логического синтеза дискретных устройств / А.Д. Закревский // Кибернетика. – 1975. – № 4. – С. 100–108.Закревский, А.Д. Принципы построения диалоговых систем проектирования и их реализация в системе логического синтеза / А.Д. Закревский // Оптимизация систем сбора, передачи и обработки информации в человекомашинных системах. – Минск : Ин-т техн. кибернетики АН Беларуси, 1980. – С. 3–6.Закревский, А.Д. Принципы построения диалоговых систем проектирования и их реализация в системе логического синтеза / А.Д. Закревский // Оптимизация систем сбора, передачи и обработки информации в человекомашинных системах. – Минск : Ин-т техн. кибернетики АН Беларуси, 1980. – С. 3–6.Закревский, А.Д. Энергосберегающее кодирование состояний конечного автомата. Метод квадратов / А.Д. Закревский // Информатика. – 2005. – № 4. – С. 105–113.Закревский, А.Д. Энергосберегающее кодирование состояний конечного автомата. Метод квадратов / А.Д. Закревский // Информатика. – 2005. – № 4. – С. 105–113.Закревский, А.Д. Нахождение режима максимального энергопотребления логической схемы / А.Д. Закревский // Прикладная дискретная математика. – 2012. – № 2(16). – C. 100–104.Закревский, А.Д. Нахождение режима максимального энергопотребления логической схемы / А.Д. Закревский // Прикладная дискретная математика. – 2012. – № 2(16). – C. 100–104.Биобиблиография ученых Беларуси. Член-корреспондент Аркадий Дмитриевич Закревский (к 80-летию со дня рождения) / НАН Беларуси, Объед. ин-т проблем информатики, ЦНБ им. Я. Коласа. – Минск : ОИПИ НАН Беларуси, 2008. – 91 с.Биобиблиография ученых Беларуси. Член-корреспондент Аркадий Дмитриевич Закревский (к 80-летию со дня рождения) / НАН Беларуси, Объед. ин-т проблем информатики, ЦНБ им. Я. Коласа. – Минск : ОИПИ НАН Беларуси, 2008. – 91 с.Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объед. ин-т проблем информатики НАН Беларуси ; науч. ред.: С.В. Абламейко, А.В. Тузиков, О.И. Семенков. – Минск : Тэхналогiя, 2015. – 348 с.Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объед. ин-т проблем информатики НАН Беларуси ; науч. ред.: С.В. Абламейко, А.В. Тузиков, О.И. Семенков. – Минск : Тэхналогiя, 2015. – 348 с.

The authors declare that there are no conflicts of interest present.