Бинарные соответствия использованы для формализации понятия задачи, определения основных компонент задач, их свойств и конструкций (условие задачи, ее данные и искомые, разрешимость и однозначная разрешимость задачи, обратная задача и композиция задач). В качестве иллюстрации рассмотрена система дифференциальных уравнений, описывающая процесс химической кинетики. В рамках исследования обратной задачи получен критерий линейной независимости функций в терминах конечных наборов их значений.

Ключевые слова:дифференциальное уравнение, химическая кинетика, обратная задача, линейная независимость, бинарное соответствие, разрешимость, композиция.