о выполнении тематического плана лабораторией теории алгоритмов и программирования за 1-е полугодие 1962 г.