Гаврилов Михаил
Александрович
ГАВРИЛОВ Михаил
Александрович (1903-79), российский ученый, стоявший у истоков информатики в
нашей стране, в частности технической кибернетики, теории автоматов и теории
ЭВМ, член-корреспондент АН СССР (1964).
Выдвинул идею о том, что
многие инженерные задачи проектирования устройств релейной автоматики можно
решать формальными методами с использованием аппарата математической логики.
Разработал практические методы синтеза схем и устройств, использующих контакты,
управляемые с помощью реле. Развивал методы автоматического проектирования
дискретных управляющих устройств.
Основные труды по
телемеханике, теории релейных устройств и конечных автоматов. В 1950 году
опубликовал свою книгу "Теория релейно-контактных схем", ставшую
первой в мире книгой, посвященной логическим методам анализа и синтеза схем.
Список литературы
Для подготовки данной
работы были использованы материалы с сайта http://www.infhist.h1.ru/