• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제27권2호
• /
• pp.195-210
• /
• 2024

Researchers and curricula continue to call for proof to serve a central role in learning of mathematics throughout kindergarten to grade 12 and beyond. Despite its prominence and recognition gained during past decades, proof is still a stumbling block for both teachers and students. Research efforts have been made to address issues related to teaching and learning of proof. An area in which such research efforts have been made is analysis of curriculum material (i.e. textbook analysis) with a focus on proof. This study is another research effort in this area of research through investigating the guidance offered in curriculum materials with the following research question: What is the nature (e.g., kinds of content knowledge, pedagogical content knowledge) of guidance is offered for teachers to implement proof tasks in grade 8 geometry textbooks? Results indicate that the guidance offered for proof tasks are concerned more with content knowledge about the content-specific instructional goals than with pedagogical content knowledge which supports teachers in preparing in-class interactions with students to teach proof.

• 한국학교수학회논문집
• /
• 제11권1호
• /
• pp.55-68
• /
• 2008

이 연구에서는 중학생들이 '원의 성질' 단원의 증명학습 과정에서 어떤 어려움을 겪는지를 조사하여 GSP를 활용한 증명학습이 학생들의 어려움을 어떻게 완화시키는지를 탐구하였다. 진단검사를 통해, 학생들은 가정과 결론의 이해, 기호의 사용, 추론 과정 등에서 어려움을 겪고 있음을 확인하였다. 한편, 학생들은 GSP를 활용한 증명학습을 통해 자신의 추측이나 추론에 대한 피드백을 받을 수 있고, 구체적인 사례를 일반화하거나 증명에 필요한 아이디어를 능동적으로 찾는 탐구 태도를 형성할 수 있다는 것을 확인하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제32권3호
• /
• pp.275-296
• /
• 2018

본 연구에서는 수학영재 학생들을 대상으로 분석법을 이용한 증명 학습을 하게 한 후 나타나는 시선의 변화 및 시선의 변화로 야기되는 학습 성취도의 변화가 어떠한지를 알아보고자 하였다. 시선의 변화를 알아보기 위해 시선추적기법을 도입하였으며, 시선추적기를 통해 분석법의 학습효과를 좀 더 객관적으로 파악하고자 하였다. 본 연구의 결과로서, 분석법을 학습한 후 학생들이 증명 문제를 풀 때, 증명 아랫부분에서부터 증명 윗부분으로 올라가는 방식으로 시선의 이동방향이 변화하였으며 증명 아랫부분에 대한 시선 점유 비율이 윗부분에 비해 높아짐을 알 수 있었다. 또한 분석법 학습으로 야기된 시선의 변화는 증명 학습 성취도와 상관관계가 있으며 증명 학습 성취도를 향상시킨다는 것을 알 수 있었다.

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.143-156
• /
• 2008

본 연구에서는 중학교 2학년 도형의 성질 단원의 증명학습을 세 단계로 나누어 설문을 통하여 학생들이 증명학습에서 겪는 어려움을 조사하였다. 설문 분석 결과 학생들은 증명학습에서 증명의 의미를 이해하지 못해 명제의 참을 판단하는 정도의 간단한 추론도 하지 못할 뿐만 아니라 제시된 증명을 읽고 그것이 증명하려는 명제의 가정과 결론을 파악하지 못한다. 이는 학생들이 명제의 가정과 결론의 의미와 역할을 명확히 이해하지 못하는데서 비롯된다. 따라서 학생들에게 명제의 가정과 결론의 의미와 역할에 대한 지도에 좀 더 역점을 두는것이 필요하다.

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

This study deals with the problem of proof education in the middle school geometry bby examining van Hiele#s geometric thought level theory and Freudenthal#s mathematization teaching theory. The implications that have been revealed by examining the theory of van Hie이 and Freudenthal are as follows. First of all, the proof education at present that follows the order of #definition-theorem-proof#should be reconsidered. This order of proof-teaching may have the danger that fix the proof education poorly and formally by imposing the ready-made mathematics as the mere record of proof on students rather than suggesting the proof as the real thought activity. Hence we should encourage students in reinventing #proving#as the means of organization and mathematization. Second, proof-learning can not start by introducing the term of proof only. We should recognize proof-learning as a gradual process which forms with understanding the meaning of proof on the basic of the various activities, such as observation of geometric figures, analysis of the properties of geometric figures and construction of the relationship among those properties. Moreover students should be given this natural ground of proof.

• 대한수학교육학회지:수학교육학연구
• /
• 제27권2호
• /
• pp.191-205
• /
• 2017

본 연구는 서울의 C중학교 1학년 학생들이 기하 증명 문제를 해결하는 과정에서 보여주는 증명스키마 유형과 그 특징을 조사한 것이다. 자료 분석은 Harel, & Sowder의 증명스키마 유형에 기초하여 이루어졌다. 연구 결과, 학업성취수준에 따라 학생들이 사용하는 증명스키마 유형에 차이가 있었다. 상위권에서 하위권으로 갈수록 변형적 증명스키마를 사용하는 학생의 비율이 감소하였고 귀납적(측정) 증명스키마를 사용하는 학생의 비율은 증가하였다. 또한 증명과정에서 비형식적인 부호 사용하기, 문제에서 주어진 그림 특정 비율로 인식하기 등 각 증명스키마 유형마다 고유한 특징이 나타났다. 이를 바탕으로 4개의 의미 있는 결론을 추출하였고, 이것이 증명 교수 학습에 주는 시사점을 논의하였다.

• 한국빅데이터학회지
• /
• 제7권1호
• /
• pp.1-14
• /
• 2022

대부분의 블록체인이 사용하는 작업증명 합의 알고리즘은 채굴이라는 형태로 대규모의 컴퓨팅리소스 낭비를 초래하고 있다. 작업증명의 컴퓨팅리소스 낭비를 줄이기 위해 유용한 작업증명 합의 알고리즘이 연구 되었으나 여전히 블록 생성 시 리소스 낭비와 채굴의 중앙화 문제가 존재한다. 본 논문에서는 블록생성을 위한 상대적으로 비효율적인 연산 과정을 분산 인공지능 모델 학습으로 대체하여 블록생성 시 리소스 낭비문제를 해결하였다. 또한 학습 과정에 참여한 노드들에게 공평한 보상을 제공함으로써 컴퓨팅파워가 약한 노드의 참여 동기를 부여했고, 기존 중앙 집중 인공지능 학습 방식에 근사한 성능은 유지하였다. 제안된 방법론의 타당성을 보이기 위해 분산 인공지능 학습이 가능한 블록체인 네트워크를 구현하여 리소스 검증을 통한 보상 분배를 실험 하였고, 기존 중앙 학습 방식과 블록체인 분산 인공지능 학습 방식의 결과를 비교하였다. 또한 향후 연구로 블록체인 메인넷과 인공지능 모델 확장 시 발생 할 수 있는 문제점과 개발 방향성을 제시함으로서 논문을 마무리 하였다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제16권2호
• /
• pp.123-145
• /
• 2013

본 연구의 목적은 GeoGebra를 활용한 귀납활동이 초등수학영재들의 증명능력 및 증명학습태도에 미치는 영향을 알아보는 것이다. 본 연구의 대상은 영재교육원에서 영재교육을 받고 있는 초등수학영재 20명(실험집단 10명, 비교집단 10명)이고, 실험집단은 GeoGebra를 활용한 귀납활동 중심의 증명 수업을 하고, 비교집단은 GeoGebra를 활용하지 않은 일반적인 증명 수업을 실시하였다. 수업 실시 후 증명능력 검사와 증명학습태도 검사를 통해 얻은 연구 결과는 다음과 같다. 첫째, 증명 이전의 선행활동으로서의 GeoGebra를 활용한 귀납활동으로 학습한 실험집단은 전통적인 증명 학습을 한 비교집단보다 증명능력에 있어서 더 높은 성취도를 보였다. 둘째, 증명 이전의 GeoGebra를 활용한 귀납적 활동을 통해 증명 학습을 한 실험집단은 전통적인 증명 학습을 한 비교집단보다 증명에 대한 신념 및 태도에 있어서 긍정적인 생각을 가지고 있었다. 셋째, 탐구형 소프트웨어인 GeoGebra의 측정 및 끌기 기능을 통해 학생들이 도형을 변화시켜 불변의 성질을 탐구하며 가정 및 결론을 분리하여 직접 명제를 만드는 것이 증명 학습에 긍정적 효과가 있음을 알 수 있었다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• pp.1483-1486
• /
• 2002

In this paper, a new scheme of iterative loaming control of a robot manipulator is presented. The proposed method uses a fuzzy sliding mode controller(FSMC), which is designed based on the similarity between the fuzzy logic control(FLC) and the sliding mode control(SMC), for the feedback. With this, the proposed method makes possible fDr fast iteration and has advantages that no linear approximation is used for the derivation of the learning law or in the stability proof Full proof of the convergence of the fuzzy sliding base learning scheme Is given.

• 대한수학교육학회지:수학교육학연구
• /
• 제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.