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

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

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

Основні праці з телемеханіки, теорії релейних пристроїв і кінцевих автоматів. У 1950 році опублікував свою книгу "Теорія релейно-контактних схем", що стала перший у світі книгою, присвяченою логічним методів аналізу та синтезу схем.

Список літератури

Для підготовки даної роботи були використані матеріали з сайту http://www.infhist.h1.ru/