Results 21 to 30 of about 26,351 (260)
NONSTANDARD COMPLETION OF NON-COMPLETE METRIC SPACE
Zanco Journal of Pure and Applied Sciences, 2021 Our aim in this study is to establishing nonstandard foundations, definitions and theorems for completion a noncomplete metric spaces. We have a lot of space or sets X which agree with all usual properties of complete, except at a small size subset
Ala O. Hassan, Ibrahim O. Hamad
doaj +3 more sources
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We propose a new model of computation based on nonstandard analysis. Intuitively, the role of "algorithm" is played by a new notion of finite procedure, called Omega-invariance and inspired by physics, from nonstandard analysis.
Sam Sanders
doaj +1 more source
Mechanizing Nonstandard Real Analysis [PDF]
LMS Journal of Computation and Mathematics, 2000 AbstractThis paper first describes the construction and use of the hyperreals in the theorem-prover Isabelle within the framework of higher-order logic (HOL). The theory, which includes infinitesimals and infinite numbers, is based on the hyperreal number system developed by Abraham Robinson in his nonstandard analysis (NSA).
Jacques D. Fleuriot, Lawrence C. Paulson
openaire +2 more sources
Mathematics, 2021 Discussions are presented by Morita and Sato in Mathematics 2017; 5, 62: 1–24, on the problem of obtaining the particular solution of an inhomogeneous ordinary differential equation with polynomial coefficients in terms of the Green’s function, in the ...
Tohru Morita, Ken-ichi Sato
doaj +1 more source
A Study on Pre-service Teachers' Discourse about Infinitesimals, Infinite Numbers, and Limits
Journal of Educational Research in Mathematics, 2021 This study investigated seven pre-service teachers’ (who studied analysis) conceptions about infinitesimals, infinite numbers, and explanation methods of limits. Some pre-service teachers thought that infinitesimals and infinite numbers existed.
Seungju Baek, Jihyun Lee
doaj +1 more source
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století
Filosofický časopis, 2022 Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception has been
Haniková, Zuzana
doaj +1 more source
Nonstandard Version of Intermediate Value Property
Science Journal of University of Zakho, 2017 In this paper, some new properties and results about Intermediate Value Property (IVP) via nonstandard concepts are given, and modifying some existing results to show the advantage role of nonstandard analysis tools for obtaining differed nonstandard ...
Ibrahim O. Hamad, Sami A. Hussein
doaj +1 more source
Systems, 2023 Under the general trend of reducing leverage and strictly controlling new implicit debts of local governments, the risk of nonstandard defaults by urban investment and development companies (UIDCs) continues to be released, which will increase the credit
Xue Yan +3 more
doaj +1 more source
SSM: Population Health, 2021 This study investigates the link between nonstandard schedules and three psychological resources salient to working parents' parental functioning (psychological distress, work-family conflict and relationship quality).
Yixuan Zhao +4 more
doaj +1 more source
Some Nonstrandard Result of Continuous, Monotonic Functions [PDF]
مجلة التربية والعلم, 2005 The aim of this paper is to use some concepts of nonstandard analysis given by Robinson, [8], and axiomatized by Nelson,E. [6] to present a new result of continuous and monotonic function when they are defined on nonstandard sets.
I. Hamad
doaj +1 more source