Статья посвящена строгому математическому обоснованию итерационных методов решения обратных задач ультразвуковой томографии. Обратные задачи ультразвуковой томографии рассматриваются в рамках скалярной модели волнового уравнения. Эта модель учитывает такие волновые эффекты, как дифракция, рефракция и др. Обратная задача рассматривается как коэффициентная обратная задача. На строгом математическом уровне получено представление для производной Фреше функционала невязки по скорости распространения волн $с(r)$, которая характеризует неоднородную структуру объекта. Представление для производной Фреше получено как для двумерных задач, так и в трехмерном случае. Используя полученное представление для производной Фреше, авторы статьи предлагают для решения обратной задачи использовать градиентные методы минимизации функционала невязки. Предложенная в статье итерационная процедура допускает высокий уровень распараллеливания на суперкомпьютере., This paper is dedicated to rigorous mathematical substantiation of iterative methods for solving inverse problems of ultrasonic tomography. These inverse problems are considered in the framework of a scalar model for the wave equation. This model takes into account such wave effects as diffraction, refraction, etc. The inverse problem is considered as a coefficient inverse problem. A rigorous mathematical representation is given for the Frechet derivative of the residual functional with respect to the wave velocity $с(r)$ characterizing a nonuniform structure of the object under study. The representation for the Frechet derivative is obtained both for the two-dimensional problems and for the three-dimensional case. It is suggested that the inverse problem can be solved using this representation of the Frechet derivative together with the gradient methods of minimization for the residual functional. The proposed iterative procedure is highly parallelizable and implementable on supercomputers., ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ И ПРОГРАММИРОВАНИЕ: НОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ТЕХНОЛОГИИ, Выпуск 4 2015