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