• 한국수학사학회지
• /
• 제34권6호
• /
• pp.195-204
• /
• 2021

Mathematical induction is one of the deductive methods used for proving mathematical theorems, and also used as an inductive method for investigating and discovering patterns and mathematical formula. Proper understanding of the mathematical induction provides an understanding of deductive logic and inductive logic and helps the developments of algorithm and data science including artificial intelligence. We look at the origin of mathematical induction and its usage and educational aspects.

• 대한수학교육학회지:수학교육학연구
• /
• 제12권2호
• /
• pp.181-192
• /
• 2002

There are various methods of proving a proposition. Among these, 'mathematical induction' is treated in school mathematics weightly. But many students have difficulty with the proof by 'mathematical induction'. To solve this problem, analysis needs to be attempted in various aspects This study attempts to compare the teaching methods of 'mathematical induction' in South and North Korea and to acquire the implication. In fact, many differences between South and North Korea are found. These differences are caused by epistemological and psychological premise. Therefore this study investigates the epistemological and psychological aspects in North Korea and compares the textbooks in South and North Korea. Through this study, some implications are found. First, the sequence of introducing the 'mathematical Induction' needs to be considered. Second, the rich context of applying the 'mathematical induction' is needed. Finally, disagreement between curriculum and textbook in South Korea needs to be reconsidered.

• 한국수학사학회지
• /
• 제20권4호
• /
• pp.23-48
• /
• 2007

본 연구는 학교 수학에서 다루어지는 수학적 귀납법의 형식적 도입에 대한 문제 제기로부터 출발한다. 학생들이 수학적 귀납법의 의미와 구조를 충분히 인식하지 못한 채 단지 증명의 도구로서 도구적 이해 수준에서 형식적으로 다루어지는 수학교육 현실의 개선을 위하여, 수학적 귀납법의 역사적 발생 과정을 고대 그리스의 재귀적 무한을 통한 암묵적 사용으로부터 17세기 Pascal과 Format의 추상적 형식화의 단계에 이르기까지 고찰함으로써 그 과정에 포함된 다양한 사고 유형의 본질을 규명하고 특히 중요한 역할을 한 것으로 추정되는 하강법에 주목함으로써 교육적 논의를 통해 학교 수학에 시사점을 제공하고자 한다.

• 한국수학사학회지
• /
• 제35권2호
• /
• pp.43-56
• /
• 2022

The 21st century world has experienced all-around changes from the 4th industrial revolution. In this developmental changes, artificial intelligence is at the heart, with data science adopting certain scientific methods and tools on data. It is necessary to investigate on the logic lying underneath the methods and tools. We look at the origins of logic, deduction and induction, and scientific methods, together with mathematical induction, probabilistic method and data science, and their meaning.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권1호
• /
• pp.123-135
• /
• 2008

본 연구에서는 고등학교 과정에서 다루어지는 수학적 귀납법 증명의 대표적인 예제들을 이해하고 증명하는데 필요한 스키마를 분석하고, 그에 대한 학생들의 구성 여부를 조사하였다. 함수 스키마와 명제치 함수 스키마의 구성은 함의치 함수 스키마와 긍정 논리식 스키마의 구성에 선행하며 함의치 함수 스키마와 긍정 논리식 스키마는 수학적 귀납법 스키마를 위해 통합적으로 조절되어야 한다는 점도 확인하였다. 이를 바탕으로 하여 수학적 귀납법에 대한 학생들의 이해 수준은 $1{\sim}4$ 수준으로 설정될 수 있었다. 또한 이러한 이해 수준과 관련하여 수학적 귀납법을 학습하면서 겪는 학생들의 인지적 어려움이 분석되었다.

• East Asian mathematical journal
• /
• 제24권2호
• /
• pp.151-159
• /
• 2008

An error analysis introduced in [1], [2] is utilized in combination with nondiscrete mathematical induction to provide a finer than before [3]-[7], [11] semilocal convergence analysis for a certain class of modified Newton processes.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제41권3호
• /
• pp.273-289
• /
• 2002

It tends to be emphasized that mathematics is the important discipline to develop students' mathematical reasoning abilities such as deduction, induction, analogy, and visual reasoning. This study is aimed for investigating the present state about mathematical reasoning in secondary school. We survey teachers' opinions and analyze the results. The results are analyzed by frequency analysis including percentile, t-test, and MANOVA. Results are the following: 1. Teachers recognized mathematics as knowledge constructed by deduction, induction, analogy and visual reasoning, and evaluated their reasoning abilities high. 2. Teachers indicated the importances of reasoning in curriculum, the necessities and the representations, but there are significant difference in practices comparing to the former importances. 3. To evaluate mathematical reasoning, teachers stated that they needed items and rubric for assessment of reasoning. And at present, they are lacked. 4. The hindrances in teaching mathematical reasoning are the lack of method for appliance to mathematics instruction, the unpreparedness of proposals for evaluation method, and the lack of whole teachers' recognition for the importance of mathematical reasoning

• 대한수학교육학회지:수학교육학연구
• /
• 제12권2호
• /
• pp.275-290
• /
• 2002

This Study takes Peirce' abduction which is Phenomenology' first reasoning mode, as a part of mathematical reasoning with deduction and induction. Abduction(retroduction, hypothesis, presumption, and originary argument) leads a case through a result and a rule, while deduction leads a result through a rule and a case and induction leads a rule through a case and a result. Polya(1954) involved generalization, specialization, and analogy within induction, but this paper contain analogy in abduction. And metaphors and metonymies are also contained in abduction, in which metaphors are contained in analogy. Metaphors and metonymies are applied to semiosis i.e. the signification of mathematical signs. Semiotic analysis for a student's problem solving showed the semiosis with metaphors and metonimies. Thus, abductions should be regarded as a mathematical reasoning, and we must utilize abductions in mathematical teaming since abductions are thought as a natural reasoning by students.

• 대한수학교육학회지:학교수학
• /
• 제6권3호
• /
• pp.283-299
• /
• 2004

학생들이 실제 문제 상황에서 수학을 이용하고 문제를 해결하는 것은 수학교육의 중요한 목표이다. 이 연구는 수학적 모델링이 그러한 수학 학습의 목표에 적합하다고 보고 수학적 모델링을 통해서 학생들이 어떤 수학내용을 학습하고 어떤 추론을 경험하고 사용하는지 살펴보았다. 학생들은 수학적 모델링 과정에서 학교수학에서 강조되어 왔던 연역과, 규칙성을 찾는데 기여했던 귀납 뿐 아니라 여러 유형의 가추를 사용하였다. 하나의 사례 연구를 통해 일반화할 수는 없지만, 수학적 모델링에서 연역은 수학적 모델이 옳은지 현실에 비추어 확인하는 과정에서 그리고 수학적 결과를 유도하여 해를 구할 때, 귀납은 수학적 모델이 옳은지를 실험적으로 검증해 보고자 할 때 사용되었다. 가추는 현실 모델로부터 수학적 모델을 추상화하고, 수학적 결과에 대한 현실적 근거를 제시하는 해석을 하고, 현재의 수학적 모델을 수정하여 새로운 수학적 모델을 도출하는데 사용되었다.

• 호남수학학술지
• /
• 제9권1호
• /
• pp.1-6
• /
• 1987