• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of Educational Research in Mathematics
• /
• v.23 no.2
• /
• pp.173-192
• /
• 2013

It may be replacement proofs with understanding and explaining geometrical properties that was a remarkable change in school geometry of 2009 revised national curriculum for mathematics. That comes from the difficulties which students have experienced in learning proofs. This study focuses on one of those difficulties which are caused by the forms of proofs: using letters for designating some sides or angles in writing proofs and understanding some long sentences of proofs. To overcome it, this study aims to investigate the applicability of Byrne's method which uses coloured diagrams instead of letters. For this purpose, the proofs of three geometrical properties were taught to middle school students by Byrne's visual method using the original source, dynamic representations, and the teacher's manual drawing, respectively. Consequently, the applicability of Byrne's method was discussed based on its strengths and its weaknesses by analysing the results of students' worksheets and interviews and their teacher's interview. This analysis shows that Byrne's method may be helpful for students' understanding of given geometrical proofs rather than writing proofs.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.189-194
• /
• 2003

급격하게 변하고 있는 이 사회에 맞춰 수학이 변하고 있다. 이에 따라 학교 수학에서의 증명지도가 변해야할 필요성이 있다. 본 연구에서는 기존의 증명 개념을 아우르는 보다 포괄적인 개념으로써 정당화를 소개하고 정당화 지도 방안을 제안한다. 또, 기존의 형식적이고 엄밀한 연역적 증명과 정당화가 어떻게 다른지 비교해 보고 실제 수업하는데 도움을 줄 수 있도록 활용 방안을 간단하게 제시하고자 한다.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• School Mathematics
• /
• v.14 no.3
• /
• pp.297-313
• /
• 2012

The purpose of this paper is to discuss the potential and to examine the effect of narrative, as an alternative approach to teach formal proof in more easier and comprehensible way. Identifying the key elements of narrative in proof, we constructed a narrative that derives the equation of function translation. We examined the effect of teaching through the narrative, in comparison with teaching the corresponding proof, on low-achieving students' instrumental understanding and relational understanding of function translation. Since we found no statistically significant differences between the experimental and the comparison group, this study could not conclude that teaching through the narrative was more effective than teaching the corresponding proof. But there were some qualitative differences in the relational understanding responses and the evaluation of the teaching between two groups. These findings suggested some potential of narratives that complement the formal proof.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.3
• /
• pp.298-305
• /
• 2008

From design to serial production, aircraft should go thorough complicated certification procedure from airworthiness authority such as Type Certificate, Production Certificate and Certificate of Airworthiness. On the other hand, aircraft components are mandated to receive Technical Standard Order Approval and Production Manufacture Approval before commercial use. As domestic aircraft and LRUs are currently under development, Bilateral Aviation Safety Agreement is promoted for the purpose of increasing aviation safety as well as foreign export. This paper describes the basic aircraft certification procedure and compares the difference in the certification system of US and Korea. Thorough this, it is attempted to suggest a requirements for establishing international certification system.

• School Mathematics
• /
• v.15 no.3
• /
• pp.651-665
• /
• 2013

The aim of this study is to find how unformal proof activities contribute to solving problems successfully and to confirm the role of teachers in the progress. For this, we developed a task that can help students communicate actively with the concept of unformal proof activities and conducted a case lesson with 6 graders in Elementary school. The study shows that unformal proof activities contribute to constructing representations which are needed to solve math problems, setting up plans for problem-solving and finding right answers accordingly as well as verifying the appropriation of the answers. However, to get more out of it, teachers need to develop a variety of tasks that can stimulate students and also help them talk as actively as they can manage to find right answers. Furthermore, encouraging their guessing and deepening their thought with appropriate remarks and utterances are also very important part of what teachers need to have in order to get more positive effect from these activities.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.1
• /
• pp.101-116
• /
• 2005

The purpose of this study is to survey mathematics teacher's cognition of proof along with their proof forms of expression and proof ability, and to explore the relationship between their proof scheme and teaching practice. This study shows that mathematics teachers tend to regard proof as a deduction from assumption to conclusion and that they prefer formal proof with mathematical symbols. Mathematics teachers also recognize that prof is an important area in school mathematics but they reveal poor understanding of teaching methods of proof. Teachers tend to depend on the proof style employed in mathematics textbooks. This study demonstrates that a proof scheme is a major factor of determining the teaching method of proof.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.