Определенность и результативность алгоритмов: основные понятия