Да нет, все верно. Просто это типичная советская практика- слово использовать нельзя, но заниматься этим можно. Также как позднее нельзя было в печати писать "компьютер", а только ЭВМ.
Вот немного истории:
"Лебедев начал работу над своей машиной в конце 1948 года. Разработка велась под Киевом, в секретной лаборатории в местечке Феофания. Независимо от Джона фон Неймана Лебедев выдвинул, обосновал и реализовал в первой советской машине принципы построения ЭВМ с хранимой в памяти программой.
Несмотря на то, что МЭСМ по существу была лишь макетом действующей машины, она сразу нашла своих пользователей: к первой ЭВМ выстраивалась очередь киевских и московских математиков, задачи которых требовали использования быстродействующего вычислителя.
После Малой электронной машины была создана и первая Большая – БЭСМ-1, над которой С.И. Лебедев работал уже в Москве, в ИТМ и ВТ АН СССР. В 1953 году, после сдачи новой ЭВМ в эксплуатацию, ее создатель стал действительным членом АН СССР и директором института, который был в то время средоточием научной мысли в области вычислительной техники.
Когда в 1954 году оперативная память БЭСМ была укомплектована усовершенствованной элементной базой, быстродействие машины (до 8 тысяч операций в секунду) оказалось на уровне лучших американских ЭВМ и самым высоким в Европе. Доклад Лебедева о БЭСМ в 1956 году на конференции в западногерманском городе Дармштадте произвел настоящий фурор, поскольку малоизвестная советская машина оказалась лучшей европейской ЭВМ.В 1958 году БЭСМ, теперь уже БЭСМ-2, в которой память на потенциалоскопах была заменена ЗУ на ферритовых сердечниках и расширен набор команд, была подготовлена к серийному производству на одном из заводов в Казани.
К концу 50-х годов советская электронная промышленность освоила и начала серийный выпуск транзисторов. Таким образом, появилась возможность создания ЭВМ на полупроводниковой элементной базе. Ярчайший представитель советских ЭВМ второго поколения – БЭСМ-6, вершина научного творчества С.А. Лебедева и его коллег."
http://www.osp.ru/os/1999/01/179659Я кстати на БЭСМ-6 свой первый курсовик по программированию отлаживал, их в 80-е еще немало было.