О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО
Аннотация
Посвящается научному наследию Аркадия Дмитриевича Закревского, который стоял у истоков зарождения кибернетики в Советском Союзе и являлся основателем одной из самых известных школ логического проектирования в Советском Союзе и мире.
Об авторах
П. Н. Бибило
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Минск, Сурганова, 6
Ю. В. Поттосин
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Минск, Сурганова, 6
Л. Д. Черемисинова
Объединенный институт проблем информатики НАН Беларуси
Беларусь
Беларусь
Минск, Сурганова, 6
Список литературы
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 с.
Рецензия
Для цитирования:
Бибило П.Н., Поттосин Ю.В., Черемисинова Л.Д. О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО. Информатика. 2017;(1(53)):112-124.
For citation:
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.)
Просмотров: 741
Послать статью по эл. почте 