С.А. Лебедев и развитие отечественной вычислительной техники