• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 1998.10a
• /
• pp.153-156
• /
• 1998

• Journal of the Korean Association of Oral and Maxillofacial Surgeons
• /
• v.47 no.3
• /
• pp.151-152
• /
• 2021

• The Journal of Korean Association of Computer Education
• /
• v.5 no.3
• /
• pp.79-87
• /
• 2002

Theorema system is built on top of Mathematica to automate deductive reasoning processes as the combination of computer algebra system and deductive system. Theorema system that was developed at RISC in Austria provides three modes based on rewriting techniques; computation, problem solving and proving. This paper shows how the computation mode of Theorema can simulate Derive part for TI-92 graphic calculators to produce TI-92 manuals. Moreover, it also describes how such manuals can be converted to web-based learning materials via Java servlet.

• The Mathematical Education
• /
• v.42 no.5
• /
• pp.647-672
• /
• 2003

This study sought to determine the impact of the graphing calculator on prospective math-teachers' mathematical thinking while they engaged in the exploratory tasks. To understand students' thinking processes, two groups of three students enrolled in the college of education program participated in the study and their performances were audio-taped and described in the observers' notebooks. The results indicated that the prospective teachers got the clues in recalling the prior memory, adapting the algebraic knowledge to given problems, and finding the patterns related to data, to solve the tasks based on inductive, deductive, and creative thinking. The graphing calculator amplified the speed and accuracy of problem-solving strategies and resulted partly in students' progress to the creative thinking by their concept development.

• Knowledge Management Research
• /
• v.3 no.1
• /
• pp.41-60
• /
• 2002

This paper defines measurement index items and weight of the index for the purpose of developing a performance measurement index that balancedly measures performance of B2B electronic commerce. The deductive research is used for the development of measurement index items and Analytic Hierarchy Process(AHP) method for the development of weight of the index. This paper has four performance measurement perspectives-finance, partners, business process and human resources, which based the existing researches of balanced performance measurement. This researchers developed eleven second level criteria and twenty-six indexes under four perspectives through the deductive method and expert interviews, weighted on the perspectives, criteria and indexes in accordance with the forms of e-marketplace-vertical and horizontal. As a result, the most important indexes are the maintenance of partners and the efficiency of operation process in the vertical e-marketplace. In the horizontal e-marketplace, the collection of partners, development and prediction processes are more important than other indexes.

• Asia-Pacific Journal of Business
• /
• v.4 no.2
• /
• pp.11-20
• /
• 2013

This study extends the extant scope of understanding investment decision, beyond the dominant 'technical' emphasis on the application of discounted cash flow techniques. The research methodology draws the positivist and interpretive research paradigms. It uses a deductive approach, survey strategy and principal component analysis for the analysis. Three key sets of factors emerged as important in the investment decision process in the hydropower sector. They are: group consensus (framing), influences on own judgment (heuristics), and application of knowledge & experience (intuition). The use of purposive and convenient sampling might have some unintended impact on the findings. Consequently, any generalizations of the findings to a wider population of organizations and managers need to be made with care. It is hoped that this paper will encourage other researchers to go beyond the analytic techniques of investment appraisal that have dominated investment decision research and seek to balance the emphasis by focusing on human involvement and behavioral aspects of investment decision.

• Research in Mathematical Education
• /
• v.13 no.3
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• Journal for History of Mathematics
• /
• v.20 no.2
• /
• pp.47-58
• /
• 2007

In this paper, we shall try to give a comparative study of mathematics developments in ancient Greece and ancient Oriental mathematics. We have found that the Oriental Mathematics. is quantitative, computational and algorithmetic, but the ancient Greece is axiomatic and deductive mathematics in character. The two region mathematics should be unified to give impetus to further development of mathematics in future times.

• Journal of Korean Elementary Science Education
• /
• v.25 no.2
• /
• pp.179-190
• /
• 2006

While most previous studies have developed educational programs for science gifted children and have analyzed the differences between science gifted children and ordinary children using quantitative research methods, few have investigated the differences among the science gifted, especially in terms of the scientific thinking process. The present study was conducted to explore the thinking characteristics of the elementary science gifted according to the three scientific thinking process types during the scientific problem solving process. The study resulted in the collected of quantitative and qualitative data through tests and an interview with questions and scientific problems which required the use of one of the three scientific thinking processes. Ten elementary science gifted children served as interviewees. Two types as an opistemological basis for solving the problems are revealed on inductive thinking problems. Three types are on abductive thinking, and Three or Four types are on deductive. The results are expected to have an influence on the teaching and the evaluation of the elementary science gifted.

• The Mathematical Education
• /
• v.40 no.2
• /
• pp.253-263
• /
• 2001

Developing mathematical thinking skills is one of the most important goals of school mathematics. In particular, recent performance based on assessment has focused on the teaching and learning environment in school, emphasizing student's self construction of their learning and its process. Because of this reason, people related to mathematics education including math teachers are taught to recognize the fact that the degree of students'acquisition of mathematical thinking skills and strategies(for example, inductive and deductive thinking, critical thinking, creative thinking) should be estimated formally in math class. However, due to the lack of an evaluation tool for estimating the degree of their thinking skills, efforts at evaluating student's degree of mathematics thinking skills and strategy acquisition failed. Therefore, in this paper, mathematical thinking was studied, and using the results of study as the fundamental basis, mathematical thinking process model was developed according to three types of mathematical thinking - fundamental thinking skill, developing thinking skill, and advanced thinking strategies. Finally, based on the model, evaluation factors related to essential thinking skills such as analogy, deductive thinking, generalization, creative thinking requested in the situation of solving mathematical problems were developed.