машина електронна обчислювальна, ЕОМ, машина электронная вычислительная, ЭВМ, electronic computer ; контроль, control, supervision

В монографии излагаются методы оптимального статистического проектирования комплексных систем контроля ЭВМ, которые основыны на использовании оценок эффективности, вероятностного описания процессов обнаружения поиска и исправления ошибок и решении оптимальных задач. Рассматриваются вопросы составления минимальных программ проверки ЭВМ на этапе алгоритмического синтеза.

• ББК науковий // Електронні обчислювальні машини та пристрої