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

Ловягин Юрий Никитич, Праздникова Елена Владимировна

2008 , ТОМ 08, НОМЕР 10 ( май–июнь )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

УДК 517.98+517.11

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

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

Аннотация

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

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

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

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License