УДК517.98+517.11

МОДЕЛИРОВАНИЕ ОСНОВНЫХ АСПЕКТОВ ВЕЩЕСТВЕННОГО И КОМПЛЕКСНОГО АНАЛИЗА В РАМКАХ АКСИОМАТИКИ ДЛЯ ГИПЕРНАТУРАЛЬНЫХ ЧИСЕЛ

Ловягин Ю. Н., Праздникова Е. В.



Аннотация

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


Ключевые слова:

нестандартная арифметика, гиперрациональные числа, комплексные гиперрациональ-ные числа

Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика