نتایج جستجو برای: mathematics and computation
تعداد نتایج: 16852390 فیلتر نتایج به سال:
In this study, feasibility of computer algebra systems, which are more commonly used in science and engineering fields especially in mathematics and physics, is examined in terms of teaching mathematics. Primarily common features of general purpose computer algebra systems and the symbolic computation theory forming the basis of these systems are briefly mentioned. Under the light of various re...
Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, a...
Curriculum documents in Australia and elsewhere emphasize the importance of mental computation. There has been, however, little advice about developing and implementing mathematics programs that have mental computation strategies as a focus. One primary school’s response to this issue was to identify generic mental computation strategies that could be developed across the school in all grades f...
The present study is part of a bigger research project and its purpose was to investigate the influencing factors on integrating professional learning of secondary mathematics teachers with the ways in which they analyze, interpret and make decisions regarding their teaching. For the fine-grained analysis of the first layer of data, phenomenography method was used. Nine teachers were interviewe...
Jyh-Bin Ke is an Associate Professor of Applied Mathematics at National Chung-Hsing University, Taiwan. He received his MS and Ph.D. in Civil Engineering from the University of California, Berkeley, USA. His areas of research include queuing theory, reliability and stochastic modeling. His publications appeared in Computers and Operational Research, Applied Mathematical Modeling, Mathematical M...
ANU Supercomputer Facility, The Australian National University Canberra ACT 0200, Australia E-Mail: [email protected] Mathematics and Computer Science Division, Argonne National Laboratory 9700 S. Cass Avenue, Argonne, IL 60439, USA 3 Computation Institute, University of Chicago Chicago, IL, USA 4 Climate and Global Dynamics Division, National Center for Atmospheric Research Boulder, CO, US...
Background and aim: Due to the importance of keywords in the field of research and scientometrics, the keywords used in scientific outputs of mathematics education specialists were investigated in this study to determine the scope of their research. Material and methods: This cross-sectional study was conducted on the Persian scientific papers published by mathematics education specialists who ...
So far, many scholars have spoken of mathematical and architectural mergers. Different perspectives in this regard suggest that there are two general approaches paraphrastic and historians in most of these studies. But what has not been said about this aspect is common mental practices in mathematical science and architecture knowledge that affects the work of mathematicians and past architects...
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
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 Ω-invariance and inspired by physics, from Nonstandard Analysis. Moreover, the role of ‘proof’ is taken up by the Transfer Principle from Nonstandard Analysis. We obtain a number of results in Constructive Reverse Mathematics to illustra...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید