Нравится LibRing?
Расскажи друзьям:
У. Кулиш, Д. Рац, Р. Хаммер, М. Хокс

Достоверные вычисления. Базовые численные методы

Книгу можно купить в интернет-магазинах:

· OZON.ru 622р. [Проверить наличие]
· Библион 564р. [Проверить наличие]
· SetBook 790р. [Проверить наличие]
Numerical Toolbox for Verified Computing I: Basic Numerical Problems
Серия: Компьютерные математические вычисления
ISBN: 5-93972-440-X
Издательство: Регулярная и хаотическая динамика
Год издания: 2005
Страниц: 496
Книга представляет собой учебник по базовым методам вычислительной математики, подготовленный университетскими преподавателями из Германии. В отличие от других подобных изданий, все численные методы излагаются в варианте с автоматической верификацией точности получаемых результатов. Для каждого метода приводятся его математическое обоснование, описание алгоритма и полный текст соответствующей программы. Все программы записаны на специально разработанном для реализации подобных методов языке программирования PASCAL-XSC, полное руководство по которому предполагается опубликовать 3-м изданием в серии «Компьютерные математические вычисления». В книгу вошли описания численных методов для решения следующих задач: вычисление полиномов, автоматическое дифференцирование функций одной и нескольких переменных, решение линейных и нелинейных уравнений и систем, глобальная оптимизация, вычисление арифметических выражений, нахождение нулей комплексных полиномов, линейное программирование. Учебник ранее издавался на немецком и английском языках. Русское издание дополнено информацией о новейших достижениях в данной области. Для преподавателей, аспирантов и студентов вузов, научных работников и инженеров.