Определенность алгоритма в информатике: основные принципы