EN
🏠
Gutman A.E., Kononenko L.I.
Formalization of inverse problems and applications to systems of equations with parameters //
Тезисы доклада. Геометрический анализ и теория управления. Международная конференция (Новосибирск, 8–12 декабря 2016 г.): Тез. докладов. Новосибирск: Институт математики им. С.Л.Соболева СО РАН, 2016. С. 40–42.

We show how binary correspondences can be used for simple formalization of the notion of problem, definition of the basic components of problems, their properties, and constructions (the condition of a problem, its data and unknowns, solvability and unique solvability of a problem, inverse problem, composition and restriction of problems, etc.).

As an illustration, we consider a system of differential equations which describe a process in chemical kinetics, as well as the inverse problem.
Вид Тезисы доклада
Авторы Гутман Александр Ефимович
Кононенко Лариса Ивановна
Название Formalization of inverse problems and applications to systems of equations with parameters
Книга Геометрический анализ и теория управления. Международная конференция (Новосибирск, 8–12 декабря 2016 г.): Тез. докладов
Адрес Новосибирск
Издательство Институт математики им. С.Л.Соболева СО РАН
Год 2016
Страницы 40–42
Язык Английский
© 2016.12.11
Файлы
Ссылки
Проект  Формализация понятия задачи 
Привлечение бинарных соответствий для формализации понятия задачи и сопутствующих понятий
 
 
Файлы публикаций размещены здесь для академического использования и не предназначены для массового распространения или копирования. Сведения обновлены
19 июля 2018 г.