Premium domains portfolio DN Epic Store - Mighty Pack Of Catching Domain Names Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Книжные новинки

А. К. Гуц. Математическая логика и теория алгоритмов
Цена:198 руб.Купить

А. К. Гуц. Математическая логика и теория алгоритмов

Издательство:Либроком
Год издания:2009

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

А. А. Самарский, П. Н. Вабищевич. Численные методы решения обратных задач математической физики
Цена:626 руб.Купить

А. А. Самарский, П. Н. Вабищевич. Численные методы решения обратных задач математической физики

Издательство:ЛКИ
Год издания:2009

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