О научной деятельности Николая Романовича Торопова
Аннотация
50 лет тому назад - 26 ноября 1971 г. - в Институте технической кибернетики АН БССР по инициативе доктора технических наук А. Д. Закревского и его учеников была создана лаборатория системного программирования и логического синтеза, впоследствии переименованная в лабораторию логического проектирования ОИПИ НАН Беларуси. Николай Романович Торопов (13.06.1935-15.04.2021) возглавлял сектор системного программирования с момента основания лаборатории, в которой он проработал до 2009 г.
Список литературы
1. Закревский, А. Д. Система программирования ЛЯПАС-М / А. Д. Закревский, Н. Р. Торопов. -Минск : Наука и техника, 1978. - 220 с.
2. Торопов, Н. Р. Диалоговая система программирования ЛЕС / Н. Р. Торопов. - Минск : Наука и техника, 1985. - 263 с.
3. Система программирования ЛЕС-4 : инструкт.-метод. материалы / Академия наук БССР, Ин-т техн. кибернетики ; авт.-сост.: Н. Р. Торопов, В. И. Романов ; науч. ред. А. Д. Закревский. - Минск, 1984. -134 с.
4. Система программирования ЛЕС-7 : материалы по мат. обеспечению ЭВМ / Академия наук БССР, Ин-т техн. кибернетики ; авт.-сост.: Н. Р. Торопов [и др.] ; науч. ред. А. Д. Закревский. - Минск, 1990. -83 с.
5. Торопов, Н. Р. Алгоритмический язык ЛЯПАС / Н. Р. Торопов // Логическое проектирование : сб. науч. тр. - Минск : Ин-т техн. кибернетики НАН Беларуси, 2001. - Вып. 6. - С. 6-25.
6. Торопов, Н. Р. Исследовательская САПР дискретных управляющих устройств / Н. Р. Торопов // Материалы по математическому обеспечению ЭВМ. - Минск : Ин-т техн. кибернетики АН Беларуси, 1994. - 60 с.
7. Торопов, Н. Р. Минимизация системы булевых функций / Н. Р. Торопов // Синтез асинхронных автоматов на ЭВМ / авт.-сост.: А. Д. Закревский [и др.] ; под общ. ред. А. Д. Закревского. - Минск : Наука и техника, 1975. - Гл. 4. - С. 92-118.
8. Торопов, Н. Р. Минимизация систем булевых функций в классе ДНФ / Н. Р. Торопов // Логическое проектирование : сб. науч. тр. - Минск : Ин-т техн. кибернетики НАН Беларуси, 1999. - Вып. 4. -С. 4-19.
9. Закревский, А. Д. Полиномиальная реализация частичных булевых функций и систем / А. Д. Зак-ревский, Н. Р. Торопов. - Минск : Ин-т техн. кибернетики НАН Беларуси, 2001. - 200 с. ; 2-е изд., стер. -М. : УРСС, 2003. - 200 с.
10. Торопов, Н. Р. Параллельная проверка ДНФ на тавтологию / Н. Р. Торопов // Информатика. -2005. - № 2(6). - С. 35-42.
11. Торопов, Н. Р. Параллельные логико-комбинаторные вычисления в среде MPI / Н. Р. Торопов // Информатика. - 2005. - № 3(7). - С. 82-90.
Рецензия
Для цитирования:
О научной деятельности Николая Романовича Торопова. Информатика. 2021;18(2):100-102.
For citation:
About scientific activity of Nikolai Romanovich Toropov. Informatics. 2021;18(2):100-102. (In Russ.)
Просмотров: 339
Послать статью по эл. почте 