Закревский Аркадий Дмитриевич
Закре́вский Арка́дий Дми́триевич (22.05.1928, Ленинград, ныне Санкт-Петербург – 24.02.2014, Минск, Беларусь), советский и белорусский учёный, член-корреспондент АН БССР (1972, ныне НАН Беларуси). Специалист в области кибернетики, прикладной дискретной математики, системного программирования и информатики. Основатель одной из самых известных в СССР научных школ логического проектирования.
Окончил Красноярское ремесленное училище связи и работал радистом Желдорпроекта в геологических экспедициях в районах Заполярья, Сибири, Монголии (Таймыр, Игарка, Норильск, река Турухан; 1943–1951).
В 1956 г. окончил радиофизический факультет Томского государственного университета (ныне Национальный исследовательский Томский государственный университет). В 1960 г. защитил диссертацию на соискание учёной степени кандидата физико-математических наук на тему «Матричный метод синтеза релейных схем».
Понимая высокую трудоёмкость программирования задач логического синтеза в машинных кодах, А. Д. Закревский в 1962 г. разрабатывает логический язык для представления алгоритмов синтеза релейных устройств (ЛЯПАС) – первый отечественный язык программирования, ориентированный на решение логических задач и реализованный на ЭВМ (Закревский. 1966). В 1967 г. защитил в Институте автоматики и телемеханики АН СССР (ныне Институт проблем управления имени В. А. Трапезникова РАН) диссертацию на соискание учёной степени доктора технических наук. Для языка ЛЯПАС были разработаны системы программирования для разных типов ЭВМ, которые нашли широкое применение во многих организациях СССР, а также за рубежом: в Польше, Германии (ГДР и ФРГ), Чехословакии, Югославии, США.
В 1959–1971 гг. А. Д. Закревский – ассистент, старший научный сотрудник, заведующий лабораторией счётно-решающих устройств Сибирского физико-технического института имени академика В. Д. Кузнецова, затем профессор, заведующий кафедрой математической логики и программирования, которая была им организована на радиофизическом факультете Томского университета. В 1971 г. публикует фундаментальную монографию «Алгоритмы синтеза дискретных автоматов». Под руководством А. Д. Закревского создана первая в СССР система автоматического синтеза дискретных автоматов.
В 1971 г. с группой сотрудников переезжает в Минск и организует в Институте технической кибернетики АН БССР лабораторию системного программирования и логического синтеза, впоследствии переименованную в лабораторию логического проектирования.
Созданная А. Д. Закревским в Томске научная школа логического проектирования получила распространение во многих научных центрах СССР. Её отличительной особенностью стало развитие логико-комбинаторного подхода к решению трудоёмких задач логического проектирования, который состоял в их формулировке в виде оптимизационных логико-комбинаторных задач на функциональных и структурных моделях объектов проектирования и привёл к лучшим для своего времени алгоритмам их решения. А. Д. Закревский получил фундаментальные научные результаты в разных областях логической теории дискретных устройств: кодирования, минимизации, декомпозиции и эквивалентных преобразований булевых функций и дискретных автоматов; анализа, моделирования и синтеза логических схем.
Результаты теоретических исследований А. Д. Закревского легли в основу ряда программных комплексов: автоматизации решения логико-комбинаторных задач, логического проектирования дискретных управляющих устройств в базисе цифровых сверхбольших интегральных схем, программной и аппаратной реализации параллельных алгоритмов управления, экспертной системы логического распознавания.