منابع مشابه
Towards Practical Reflection for Formal Mathematics
We describe a design for a system for mathematical theory exploration that can be extended by implementing new reasoners using the logical input language of the system. Such new reasoners can be applied like the built-in reasoners, and it is possible to reason about them, e.g. proving their soundness, within the system. This is achieved in a practical and attractive way by adding reflection, i....
متن کاملThe Case for Crunchy Methods in Practical Mathematics
This paper focuses on the distinction between methods which are mathematically "clever", and those which are simply crude, typically repetitive and computer intensive, approaches for "crunching" out answers to problems. Examples of the latter include simulated probability distributions and resampling methods in statistics, and iterative methods for solving equations or optimisation problems. Mo...
متن کاملMathematics and medicine. Test reduction: III-Practical applications.
While there is no generally applicable method of test reduction, ways in which the problem can be tackled can usually be suggested. These include the examination of error rates of tests and the use of current statistical methods. When the cost-effectiveness of some more expensive test has to be measured, a model of the decision problem needs to be developed, with an attempted estimation of the ...
متن کاملWhat ain’t mathematics education?!
Abstract: In 1996 at the first Iranian Mathematics Education Conference (IMEC1) that was held in Isfahan. I obliged myself as a mathematics educator, to inform the mathematics community at large by presenting a paper entitled “what is mathematics education?” to pave the way for the establishment of the master program of mathematics education in Iran. Now, after 16 years, we need to reflect on t...
متن کاملAnalyses of 10th mathematics textbook and teacher guide book based on context base Mathematics approach
Recently, the National curriculum of Islamic Republic of Iran has been developed by the Ministry of Education to provide educational policies. In this document, an implicit emphasis on so called context base aspect of the program can be seen in the mathematics curriculum framework section. In this paper, I first, introduce the different aspects of context base Mathematics Education, and then th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1912
ISSN: 0028-0836,1476-4687
DOI: 10.1038/090068b0