От алгоритмов — к суждениям (Шапиро С.И.)