Формализация обратных задач и ее приложения

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