Словарь по логике

Гаврилов

Михаил Александрович Гаврилов (1903 - 1977): Советский инженер и математик. В конце 40-х защищает докторскую диссертацию "Теория релейных схем", в которой систематически развивает идеи В.И. Шестакова и К. Шеннона о применении математической логики для проектирования контактно-релейных схем. В 1950 выпустил книгу "Теория релейно-контактных схем".