For example,Бобцов

THE MAIN ASPECTS MODELLING OF THE REAL AND COMPLEX ANALYSIS IN THE FRAMEWORK OF HYPERNATURAL

Annotation

Formalized theory of hyperrational numbers is stated in the paper. The theory is used for modeling of the real and complex analysis elements in the framework of formalized number theory. The idea of such modeling comes from A. Dragalin. The result functions modeling the real and complex functions are given as an application.

Keywords

Постоянный URL

Articles in current issue

CONTENT © ITMO UNIVERSITY 1993-2024