• 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 of the Korean School Mathematics Society
• /
• v.9 no.4
• /
• pp.521-538
• /
• 2006

The purpose of this study is to examine the effect of teaching mathematical proofs that made use of the 'proof assisted cards' at the second year of middle school and to investigate students' ability to geometric proofs as well as changes of mathematical attitudes toward geometric proofs. The subjects are seven students at the 2nd year of D Middle School in Daegu who made use of the 'proof assisted cards' during five class periods. The researcher interviewed the students to investigate learning questions made by students as well as the 'proof assisted cards' before and after use. The findings are as follows: first, the students made change of geometric proof ability by proof activity with the 'proof assisted cards' and second, the students made significant change of mathematical attitudes toward geometric proofs by proof activity using the cards.

• Journal of Educational Research in Mathematics
• /
• v.27 no.2
• /
• pp.191-205
• /
• 2017

The purpose of this study is to investigate the types and characteristics of the Seventh Graders' proofs. Harel, & Sowder's proof schemes were used to analyze the subjects' responses. As a result of the study, there was a difference in the type of proof schemes used by the students depending on the academic achievement level. While the proportion of students using a transformative proof scheme decreased from the top to the bottom, the proportion of students using inductive (measure) proof scheme increased. In addition, features of each type of proof schemes were shown, such as using informal codes in the proof process, and dividing a given picture into a specific ratio in the problem. Based on this, we extracted four meaningful conclusions and discussed implications for proof teaching and learning.

• 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.

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

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

• Communications of Mathematical Education
• /
• v.28 no.4
• /
• pp.513-528
• /
• 2014

This study is intended to examine 36 in-service secondary school mathematics teachers' conceptions of proof in the context of mathematics and mathematics education. The results suggest that almost teachers recognize the role as justification well but have the insufficient conceptions about another various roles of proof in mathematics. The results further suggest that many of teachers have vague concept-images in relation with the requirement of proof and recognize the insufficiency about the actual teaching of proof. Based on the results, implications for revision of mathematics curriculum and mathematics teacher education are discussed.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.195-200
• /
• 2003

본 논문은 피타고라스 정리의 다양한 증명 방법을 통하여 피타고라스 정리를 다양한 측면에서 학습할 수 있는 방안을 모색하고자 하였다. 학습자 스스로 증명하는 즐거움을 느낄 수 있도록 피타고라스 정리의 다양한 증명 방법을 체계적으로 제시하였고, 피타고라스 정리의 다양한 증명 방법을 통해 수학적 아름다움을 알 수 있도록 피타고라스 정리의 증명을 활용한 테셀레이션을 제시하였다.

• Electronics and Telecommunications Trends
• /
• v.30 no.4
• /
• pp.54-58
• /
• 2015

수리 논리 기반의 프로그램 증명방법은 매우 유용한 프로그램 분석방법이지만, 수리 논리식에 대한 증명을 사람이 직접 수행하는 것은 매우 힘들고 고된 작업이다. 본고에서는 이러한 수리 논리 기반의 프로그램 증명을 자동화하기 위하여 개발된 중간 증명 언어(Intermediate Verification Language)에 대하여 살펴보고자 한다.

• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.69-77
• /
• 2003

본 논문은 겐첸의 정식열(sequent) 계산에서 자름규칙(cut)을 제거한 경우 증명의 길이는 어떻게 달라지는가를 다루고 있다. 특히 본 논문은 명제 논리에 있어서 공리를 원자 정식으로만 삼는 체계의 경우 증명의 길이는 번화가 없음을 증명하는 것을 목적으로 한다.