Основные утверждения об алгоритмах: теория и практика