• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.351-364
• /
• 1998

This thesis analyzes the nature of proof in the perspective on the philosophy of mathematics. such as absolutism, quasi-empiricism and social constructivism. And this thesis searches for the improvement of teaching proof in the light of the result of those analyses of the nature of proof. Though the analyses of the nature of proof in the perspective on the philosophy of mathematics, it is revealed that proof is a dynamic reasoning process unifying the way of analytical thought and the way of synthetical thought, and plays remarkably important roles such as justification, discovery and conviction. Hence we should teach proof as a dynamic reasoning process unifying the way of analytic thought and the way of synthetic thought, avoiding the mistake of dealing with proof as a unilaterally synthetic method. At the same time, we should make students have the needs of proof in a natural way by providing them with the contexts of both justification and discovery simultaneously. Finally, we should introduce the aspect of proof that can be represented as conviction, understanding, explanation and communication to school mathematics.

• 대한수학교육학회지:학교수학
• /
• 제18권4호
• /
• pp.839-856
• /
• 2016

2009 개정과 2015 개정 수학과 교육과정에서는 학생들의 인지발달 수준을 고려해 '증명'을 중학교에서 고등학교로 옮기는 한편, 7차와 2007 개정 교육과정에서 공식적으로는 도입되지 않았던 '귀류법'을 고등학교 1학년 과목의 '학습내용 성취 기준'에 명시하였다. 귀류법은 어떤 명제가 참임을 보이기 위해 오히려 그 명제를 부정하는 귀류법 가정의 독특함으로 인해 인지적 갈등을 유발하는 것으로 알려져 있다. 이 논문에서는 귀류법에 대한 논리수학적 및 역사적 분석을 바탕으로 새로이 도입된 현 교과서의 귀류법 도입 및 활용에 대해 살펴보고 발견, 설명, 융합 등의 관점에서 개선 방안을 모색하였다. 발견의 과정을 먼저 서술한 후 귀류법적 사고를 도입하고, 귀류법 가정이 직접적으로 필요하지 않은 부분을 분리시켜 설명하되 유기적으로 서술하며, 대우를 이용한 증명법과의 관계를 밝혀 상호 보완적으로 다루고, 융합교육적 관점을 도입할 것 등을 제안하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.105-120
• /
• 2011

본 연구는 중학교 2학년 수학 영재 학생들(14세)에게 학생 스스로의 수학적 발견과 증명 경험을 제공하는 동시에, 수학 영재 학생들의 수학적 발견과 증명 과정을 분석하는 데에 그 목적이 있다. 본 연구에서 36명의 수학 영재 학생들의 다면체의 면각의 합에 대한 수학적 발견과 증명 과정을 범주화한 결과, 영재 학생들의 수학적 발견과 증명 과정은 [코드 C]와 [코드 G]로 범주화되었다. [코드 C]의 학생들은 다면체의 여러 사례를 조사하면서, 그리고 [코드 G]의 학생들은 다면체의 대표적 예나 일반적 예를 숙고하면서 수학적 발견과 증명을 시도하였다. 또한, 본 연구에 참여한 36명의 영재 학생들 중에서 13명(36.1%)은 다면체의 면각의 합에 대한 수학적 성질을 발견하지 못했으며, 7명(19.4%)은 다면체의 면각의 합에 대한 수학적 성질은 발견하였지만 증명에는 성공하지 못했으며, 16명(44.4%)은 수학적 성질을 발견하고 증명에 성공한 것으로 확인되었다. 한편, 다면체의 면각의 합에 대한 수학적 성질을 발견하고 증명한 학생들과 그렇지 못한 학생들 사이의 차이점은 수학적 사고 방법에서 기인하는 것으로 논의되었다.

• 대한수학교육학회지:수학교육학연구
• /
• 제11권2호
• /
• pp.385-402
• /
• 2001

The purpose of this study is to conceptualize 'proof' school mathematics. We based on the assumption the following. (a) There are several different roles of 'proof' : verification, explanation, systematization, discovery, communication (b) Accepted criteria for the validity and rigor of a mathematical 'proof' is decided by negotiation of school mathematics community. (c) There are dynamic relations between mathematical proof and empirical theory. We need to rethink the nature of mathematical proof and give appropriate consideration to the different types of proof related to the cognitive development of the notion of proof. 'proof' in school mathematics should be conceptualized in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof 'proof' has not been taught in elementary mathematics, traditionally, Most students have had little exposure to the ideas of proof before the geometry. However, 'proof' cannot simply be taught in a single unit. Rather, proof must be a consistent part of students' mathematical experience in all grades, in all mathematics.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.197-213
• /
• 2012

In this paper we study Soltan & Meidman's method that is able to be used in mathematical discovery. We analyze Soltan & Meidman's book "Tozdestva i Neravenstva v Treugolike" that is published in Moldova Republic. In this work we formulate Soltan & Meidman's method related with discovery of triangle's various equalities, and use the method to discovery mathematical equalities. As a result we suggest some new mathematical equalities related with triangle's sides and its 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.

• 한국통신학회논문지
• /
• 제32권7B호
• /
• pp.403-410
• /
• 2007

IPv6 유무선 로컬 네트워크에서 이웃하는 호스트와 라우터를 발견하기 위한 목적으로 ND (Neighbor Discovery) 프로토콜이 제안되었다. 그러나 ND 프로토콜은 악의 있는 사용자가 프로토콜 메시지를 위조하여 정상적인 호스트나 라우터로 위장하는 것이 가능하기 때문에 네트워크 공격에 취약한 문제를 가지고 있다. ND 프로토콜을 보호하기 위한 목적으로 SEND (Secure Neighbor Discovery) 프로토콜이 제안되었다. SEND 프로토콜은 주소 소유권 증명, 메시지 보호, 재현 공격 방지, 그리고 라우터 인증 메커니즘을 제공한다. 본 논문에서는 IPv6 네트워크상에서 핵심적으로 운용될 프로토콜중의 하나인 SEND 프로토콜을 설계 및 구현하다. 또한 본 논문에서 구현한 SEND 프로토콜을 IPv6 네트워크상에서 실험함으로써 SEND 프로토콜의 공격 방어 능력과 프로토콜의 성능을 평가하고 분석한다.

• 전자공학회논문지
• /
• 제50권1호
• /
• pp.51-63
• /
• 2013

MANET의 기반 연구 기술들의 결과를 토대로 현실 속에서 MANET을 활용하기 위한 응용으로써 다양한 서비스 발견 및 전달 기법들이 제안되고 있다. 본 논문에서는 MANET에서의 메시지 오버헤드의 최소화와 안정적인 서비스 발견 및 네트워크의 확장성을 보장하기 위한 T-Chord(Trustworthy-based Chord) 링 시스템을 제안한다. T-Chord 링 시스템은 모바일 환경에서 이동 노드들이 제공하는 서비스들을 효율적으로 관리하기 위해 P2P 오버레이 네트워크 기법을 이용한 서비스 발견 시스템으로, MANET에서 이동 노드들은 이동성을 갖으며 서비스 요청 노드, 서비스 제공 노드 그리고 서비스 전달 노드로써 동작하기 위해 이동 노드들의 Trustworthy 평가와 분산된 서비스 정보의 수집, P2P 오버레이 네트워크의 구성을 통한 O(Log N) 성능을 제공하는 Chord 알고리즘 모듈로 내부 시스템을 구성하였다. 시스템의 성능 평가는 NS2 시뮬레이터를 이용하여 기존의 서비스 발견 기법들과 서비스 발견 메시지 오버헤드, 서비스 발견 및 전달의 효율성, 네트워크의 확장성 측면에서 성능을 비교 평가하고 분석함으로써 MANET에서 효과적인 서비스 발견 및 전달의 우수함을 입증하였다.

• 한국수학사학회지
• /
• 제16권2호
• /
• pp.55-70
• /
• 2003

This study investigated tile intuitive level of justification in geometry, as the former step to the aximatization, with concrete examples. First, we analyze limitations that the axiomatic method has in tile context of discovery and the educational situation. This limitations can be supplemented by the proper use of the intuitive method. Then, using the histo-genetic analysis, this study shows the process of the development of geometrical thought consists of experimental, intuitive, and axiomatic steps. The intuitive method of proof which is free from the rigorous axiom has an advantage that can include the context of discovery. Finally, this paper presents the issue of intuitive proving that the three angles of an arbitrary triangle amount to 180$^{\circ}$, as an example of the local systematization.

• 대한수학교육학회지:수학교육학연구
• /
• 제14권2호
• /
• pp.143-156
• /
• 2004

Lakatos의 수리철학은 수학적 지식의 준경험성을 주장한 것으로서, 수학의 성장, 발전의 맥락을 제공해 주는, 교육적으로 매우 의미 있는 철학이다. 그러나 Lakatos의 수학적 발견의 논리는 증명과 반례에 기초하고 있어서, 증명을 다루지 않는 초등학교에서는 Lakatos의 방법론을 적용하기가 쉽지 않다. 이 연구는 Lakatos의 방법론을 초등학교 수준에서 적용할 수 있는 방안과 그 적용 사례를 개발하고자 하는 것이다. 이 연구에서는 초등학교 수준에서 Lakatos의 방법론을 교수 방법과 교육과정 구성 방법의 두 가지로 적용 방안을 구상하고, 교수 방법의 적용 사례를 개발하였다.