数字计算机的程序检验 на русском