• 한국초등수학교육학회지
• /
• 제20권1호
• /
• pp.131-148
• /
• 2016

본 연구는 초등학교 5학년 영재학급 학생들(8명)이 패턴의 일반화 과제를 해결함에 있어 귀납 추론으로 일반식은 추측하였으나 그에 대한 형식적 정당화로 이행하는 과정에서 겪는 어려움을 분석하고 그 해결을 돕기 위한 교사 발문의 역할 모색과 발문 기법 제안을 목적으로 하였다. 학생들의 형식적 정당화를 돕기 위한 교사 발문 목록들을 3차에 걸친 현장 적용을 통해 확인한 결과, 초등학교 영재학급 학생들은 형식적 정당화로 이행을 할 때 정당화를 시도해야하는 이유, 연역적 탐구에 대한 인식 부족, 유연한 탐구 방법에 대한 심리적 저항감으로 인해 어려움을 겪었다. 면담 분석 결과 학생들이 정당화의 필요성과 귀납적 탐구 결과의 한계를 체감할 수 있도록 교사가 태도면에서 출발하여 방법면과 내용면으로 구체화해갈 수 있도록 체계적인 발문을 준비하는 것이 중요함을 확인할 수 있었다. 이에 따라 내용면에서의 4가지와 절차면에서의 3가지 발문 기법을 제안하면서 논의를 바탕으로 발문 일람표와 그 흐름도를 제시하고 교사 발문의 역할이 주는 교육적 시사점을 논의하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.245-261
• /
• 1999

Proof is an essential characteristic of mathematics and as such should be a key component in mathematics education. But, teaching proof in school mathematics have been unsuccessful for many students. The traditional approach to proofs stresses formal logic and rigorous proof. Thus, most students have difficulties of the concept of proof and students' experiences with proof do not seem meaningful to them. However, different views of proof were asserted in the reassessment of the foundations of mathematics and the nature of mathematical truth. These different views of justification need to be reflected in demonstrative geometry classes. The purpose of this study is to characterize the types of students' justification in demonstrative geometry classes taught using dynamic software. The types of justification can be organized into three categories : empirical justification, deductive justification, and authoritarian justification. Empirical justification are based on evidence from examples, whereas deductive justification are based logical reasoning. If we assume that a strong understanding of demonstrative geometry is shown when empirical justification and deductive justification coexist and benefit from each other, then students' justification should not only some empirical basis but also use chains of deductive reasoning. Thus, interaction between empirical and deductive justification is important. Dynamic geometry software can be used to design the approach to justification that can be successful in moving students toward meaningful justification of ideas. Interactive geometry software can connect visual and empirical justification to higher levels of geometric justification with logical arguments in formal proof.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제7권2호
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권2호
• /
• pp.419-438
• /
• 1999

This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

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

We investigated on the primary school children's abilities of formal reasoning. Seventy students in grade 5 participated in the study. They responsed their best reactions on the problems constituted of three parts requiring the informal or formal reasoning and generalization. Their reactions are classified by some criteria depending the level of reasoning. About 10 students showed that they constructed a kind of scheme for solving the problems, similar to formal reasoning and beyond naive informal reasoning. And about 30 students did so partially. We concluded that the teaching and learning of reasoning by the progressive increasing the degree of rigor from grade 5 is possible.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권1호
• /
• pp.79-94
• /
• 2006

본 연구는 10명의 초등학교 5-6학년 수학영재들이 평면과 공간의 최대 분할이라는 과제를 해결하면서 보여주는 정당화 유형을 분석한 것이다 우선 문헌 연구를 통해 본 과제의 해결 과정에서 영재들이 보일 것으로 예상되는 정당화 유형 분석의 틀을 마련하고 실제로 초등 수학영재들이 자신의 능력에 따라 보여주는 정당화 과정의 특성을 분석하였다. 연구 결과, 초등 수학영재들 사이에도 정당화 수준에는 상당한 차이가 있는 것으로 나타났다. 초등 수학영재들에게서 외부적 정당화는 거의 나타나지 않았으며, 귀납적 정당화를 시도한 학생은 소수 있었다. 초등 수학영재들에게서 가장 많이 나타난 정당화 유형은 포괄적 정당화였으며, 형식적 정당화 수준에 이른 초등 수학영재도 일부 있었다. 이러한 결과는 초등 수학 영재들에게 패턴 찾기 탐구 주제를 제시할 때에 귀납적인 사례를 조사하도록 이끄는 방식이 그다지 적절하지 않으며, 일반화된 식의 산출보다는 정당화에 좀 더 초점을 맞춘 학습 지도가 필요함을 시사한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권4호
• /
• pp.381-390
• /
• 2004

In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

• 한국학교수학회논문집
• /
• 제14권3호
• /
• pp.325-337
• /
• 2011

중학교 기하 영역에서 엄밀하고 형식적인 정당화로서 증명에 대한 여러 연구가 있어왔고 교육과정의 변화와 함께 증명은 지속적으로 수준을 약화하여 왔다. 2009 개정 교육과정에 따른 중학교 수학과 교육과정에서는 증명이라는 용어를 삭제하고 정당화의 의미로서 '이해하고 설명 할 수 있다'는 문장을 사용함으로써 실질적인 증명 약화를 꾀하고 있다. 이에 본 연구에서는 현재 중학교 수학 교과서의 기하 영역을 분석함으로써 구체적이고 현실적인 정당화의 사례를 제시하는 것에 목적을 두었다. 분석 결과 증명이 중학교 2학년에서 등장함에 비해 학생들의 인지 상태를 고려하여 사용할 수 있는 정당화의 유형들이 사용되지 않았음을 확인하였고, 중학교 1, 2, 3학년 수학교과서에 제시된 다양한 예로부터 새로운 교육과정에 따른 교과서에서 사용할 수 있는 정당화의 사례를 확인하였다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제22권4호
• /
• pp.283-304
• /
• 2019

This paper investigates what informal knowledge and strategies fifth-grade students brought to a classroom and how much they had potential to solve fraction division story problems. The findings show that most of the participants were engaged to understand the meaning of fraction division prior to their formal instruction at school. In order to solve the story problems, the informal knowledge related to fractions as well as division was actively utilized in student's strategies and justification. Students also used various informal strategies from mental calculation, direct modeling, to relational thinking. Formal instructions about fraction division at schools can be facilitated for sense-making of this complex fraction division conception by unpacking informal knowledge and thinking they might bring to the classrooms.

• 한국수학사학회지
• /
• 제34권1호
• /
• pp.1-20
• /
• 2021

Logic and intuition are considered as the opposite extremes of teaching geometry, and any teaching method of geometry is to be placed between these extremes. The purpose of this study is to identify the characteristics of logical and intuitive approaches for teaching geometry and to derive didactical implications by taking Euclid's Elements and Clairaut's Elements respectively representing the extremes. To this end, comparing the composition and contents of each book, we analyze which propositions Clairaut chose from Euclid's Elements, how their approaches differ in definitions, proofs, and geometrical constructions, and what unique approaches Clairaut took. The results reveal that Clairaut mainly chose propositions from Euclid's books 1, 3, 6, 11, and 12 to provide the contexts that show why such ideas were needed, rather than the sudden appearance of abstract and formal propositions, and omitted or modified the process of justification according to learners' levels. These propose a variety of intuitive strategies in line with trends of teaching geometry towards emphasis on conceptual understanding and different levels of justification. Specifically, such as the general principle of similarity and the infinite geometric approach shown in Clairaut's Elements, we could confirm that intuition-based geometry does not necessarily aim for tasks with low cognitive demand, but must be taught in a way that learners can understand.