Аннотация:
Конструктивная аналитическая функция $f$ определяется как
пара вида $(A,\Omega)$, где $A$ – фундаментальная последовательность в некотором конструктивном метрическом пространстве, $\Omega$ – регулятор
ее сходимости в себе. Соответствующая функции $f$ точечно определенная
функция $f^*$ оказывается дифференцируемой по Бишопу [2],
а область определения $f^*$ является пределом возрастающей последовательности
компактов. Аппроксимативно определяются производная
конструктивной аналитической функции и интеграл по кривой. Показывается,
что для таких функций справедливы основные теоремы конструктивного
комплексного анализа. Библ. 8 назв.