Preview

Информатика

Расширенный поиск

О НАУЧНОМ НАСЛЕДИИ ЧЛЕНА-КОРРЕСПОНДЕНТА А.Д. ЗАКРЕВСКОГО

Аннотация

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

Об авторах

П. Н. Бибило
Объединенный институт проблем информатики НАН Беларуси
Беларусь

Минск, Сурганова, 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.)

Просмотров: 656


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)