Методика изучения свойств действий как теоретической основы соответствующих вычислительных приемов