Гаврилов Михаил Александрович

ГАВРИЛОВ Михаил Александрович (1903-79) российский ученый, стоявший у истоков информатики в нашей стране, в частности технической кибернетики, теории автоматов и теории ЭВМ, член-корреспондент АН СССР (1964).

Выдвинул идею о том, что многие инженерные задачи проектирования устройств релейной автоматики можно решать формальными методами с использованием аппарата математической логики. Разработал практические методы синтеза схем и устройств, использующих контакты, управляемые с помощью реле. Развивал методы автоматического проектирования дискретных управляющих устройств.

Основные труды по телемеханике, теории релейных устройств и конечных автоматов. В 1950 году опубликовал свою книгу «Теория релейно-контактных схем», ставшую первой в мире книгой, посвященной логическим методам анализа и синтеза схем.

http://www. km. ru «Кирилл и Мефодий», Энциклопедия ПК