математика

Синтетическая вычислимость, Гуц А.К., 2016.
 
   Излагаются элементы современной теории синтетической вычислимости. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиционистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри, в которых все функции f:N→N и f:Nn→N соответственно вычислимы.
Для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов.

Ускоренная итерация, Вычисление корней уравнений, Преловский Б.А., 2009.
 
   Книга предназначена для использования в качестве учебного пособия на математических, физических, экономических факультетах технических и педагогических вузов, для использования в НИИ, КБ, проектных организациях и для самостоятельного изучения.
Изложены новые эффективные и в то же время простые методы вычисления корней уравнений. Классические методы Ньютона и секущих, широко применяемые в настоящее время, также ускорены [5]. Приведены общие принципы вывода расчетных формул, методы вычисления интервалов корней и исходных приближенных их значений х0, вновь разработаны ускоренные итерационные методы уточнения приближений до требуемой точности за минимальное количество итераций.
Формулы получены из условий быстрой сходимости. Методы пригодны для решения одиночных и систем уравнений, как алгебраических, так и трансцендентных произвольного вида f(х) = 0. Приведены формулы прогнозирования точности вычисляемого корня.

Рекуррентные вычисления, Малоземов В.Н., Певный А.Б., 1976.
 
   Книга является сборником задач (в основном повышенной трудности) по программированию рекуррентных вычислений на языке АЛГОЛ-60. Некоторые задачи и их решения представляют практический интерес. Рассматриваются рекуррентные числовые последовательности, рекуррентные массивы, алгебраические полиномы и цепные дроби.
Книга предназначена для студентов-математиков и лиц, желающих совершенствоваться в области программирования.

Тензорное исчисление, Коренев Г.В., 2000.
 
   В книге обобщен опыт автора по использованию аппарата тензорного исчисления при решении различных задач механики и теоретической физики. В доступной форме введены основные понятия двумерного риманова и трехмерного евклидова пространства в индексных обозначениях, а также четырехмерные тензоры специальной и общей теории относительности. Каждый тематический раздел снабжен примерами и упражнениями. Книга написана на основе лекций, читавшихся студентам МФТИ.
Для студентов и аспирантов, специализирующихся в области математики, теоретической физики и механики. Благодаря присущей автору наглядности и четкости изложения материал будет понятен людям с минимальным уровнем предварительной подготовки.

Численные методы оптимизации, Хофер Э., Лундерштедт Р., 1981.
 
   В книге описано применение некоторых численных методов оптимизации к решению вариационных задач и задач оптимального управления. Изложены градиентные методы и особенности их использования при решении задач оптимального управления с ограничениями на управляющие координаты; рассмотрены алгоритмы метода Ньютона — Рафсона и метода квазилинеаризации для решения краевых задач, а Также метод Нойштадта, дающий возможность довести решение задачи оптимального управления при ограничении на управляющие координаты до конца.
Книга предназначена для научных и инженерно-технических работников, занимающихся методами оптимизации и вопросами теории управления.

Численные методы в задачах и упражнениях, Бахвалов Н.С., Лапин А.В., Чижонков Е.В., 2015.
 
   Материал учебного пособия полностью соответствует требованиям Государственного образовательного стандарта по математике. В книге содержатся элементы теории, примеры решений задач и упражнения для самостоятельной работы. Отличительная особенность пособия состоит в том, что представленные задачи и упражнения (их около 700) разбиты по рекомендуемым темам семинарских занятий, а их подбор призван способствовать закреплению материала, излагаемого в теоретическом курсе. При этом типовые задачи снабжены решениями (числом около 200) и могут быть использованы студентами для самостоятельного изучения предмета, а приведенные ответы и указания помогут преподавателям в выборе содержательных и интересных задач в соответствии со спецификой вуза.
Для студентов университетов, педагогических вузов и вузов с углубленным изучением математики, а также для студентов технических вузов, аспирантов и преподавателей, инженеров и научных работников, использующих в своей практической деятельности численные методы.

Вычислимость и логика, Булос Дж., Джеффри Р., 1994.

   Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.

Теоретико-числовые алгоритмы в криптографии, Василенко О.Н., 2003.

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