FLINSPACE конструктивные вещественные числа и функции, Сергей Яхонтов

Книга содержит подробное обсуждение конструктивных вещественных чисел и функций с ограниченной емкостной сложностью вычисления рациональных приближений. В качестве емкостного класса сложности, разумного для создания такой системы чисел и функций, выбран класс FLINSPACE - класс алгоритмов с емкостной сложностью, ограниченной сверху линейной функцией от длины входных данных. В качестве вычислительной модели для определения конструктивных чисел и функций взята машина Тьюринга. В работе приведены алгоритмы класса FLINSPACE для вещественных чисел и функций, часто используемых на практике: иррациональных алгебраических чисел, трансцендентных чисел e, pi, иррациональных алгебраических функций, функций sin(x), arcsin(x), показательной функции, логарифмической функции. Для проверки теоретических построений выполнена библиотека классов на языке программирования C# для работы с FLINSPACE конструктивными числами и функциями.