• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제12권
• /
• pp.185-200
• /
• 2001

증명은 수학에서 기초적이고도 중요한 주제이다. 추측을 만들어내고 자신에게는 물론 타인에게까지 그 추측을 정리로서 확신시키는 활동은 수학활동에서의 핵심이라고 할 수 있다. 그러나 현재의 증명 학습지도에서는 학생들의 수준보다는 높은 증명 발달단계를 제시하고 있다는 보고와 함께 기존의 지도방법의 개선책을 요구하고 있다. 따라서 본고에서는 몇 가지 증명의 발달 단계를 정리해 보고 Balacheff의 증명 4단계를 토대로 하여 증명활동을 점진적인 구성으로 제시한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권2호
• /
• pp.161-185
• /
• 2019

이 연구에서는 중등 수학 교사와 예비교사들이 추론과 증명을 어떻게 이해하여 구성하는지를 탐색하였다. 연구 참여자들은 대부분 대수적인 증명을 시도하는데 이미 알고 있는 공식이나 식을 적용한 대수적 조작으로 답을 구하는 것에 그치며 주어진 문제에 내재된 수학적 구조를 통해 증명을 구성하지는 못하였다. 또한 참여자의 상당수가 대수적 식을 통한 증명만을 완전한 증명으로 판단하였으며 대부분은 기존에 접하지 못했던 새로운 문제유형에서 추론 및 증명구성을 완성하지 못하는 것으로 나타났다.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권4호
• /
• pp.327-344
• /
• 2006

본 연구는 경기도의 A, S시 교육청 과학영재교육원에서 교육을 받고 있는 초등학교 6학년 학생들이 기하 영역의 특정 과제를 해결하는 과정에서 보여주는 증명의 수준과 증명의 구성 요소에 대한 이해 정도를 확인하는 것이다. 이를 위해 동일한 시기에 선발되어 함께 교육프로그램에 참여하고 있는 20명 중 표현력이 우수한 3명의 학생을 담임교수로부터 추천 받아 질적 연구 방법을 통해 분석하였다. 각 학생들에게 Clairaut의 기하 과제 중 하나인 '두 직사각형의 넓이를 합한 것과 동일한 넓이를 갖는 하나의 직사각형을 작도하시오'라는 과제를 제시하고, 그것을 해결하는 과정에서 나타나는 증명의 수준과 증명의 구성 요소에 대한 이해와 관련하여 초등 수학영재들이 보여주는 사고의 특징을 분석하였다. 자료 분석은 Waring(2000)이 제시한 증명 수준과 Galbraith(1981), Dreyfus & Hadas(1987), 서동엽(1999) 등이 제시한 증명의 구성 요소에 기초하여 이루어졌다. 그 결과, 4가지의 의미 있는 결과를 도출하였고 이를 바탕으로 수학영재교육에 주는 시사점을 논의하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.141-146
• /
• 2003

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

• 한국정보통신학회논문지
• /
• 제10권10호
• /
• pp.1773-1778
• /
• 2006

본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.

• 대한수학교육학회지:학교수학
• /
• 제14권3호
• /
• pp.297-313
• /
• 2012

학생들에게 증명을 보다 이해하기 쉽게 전개하는 대안으로, 내러티브의 잠재력과 그 효과를 함수의 평행 이동이라는 사례에서 논의한다. 내러티브의 구성 요소를 고려하여, 평행 이동한 함수의 식을 유도하는 증명을 내러티브로 구성하였다. 두 집단의 학생들에게 내러티브와 형식적 증명을 각각 제시하고, 내러티브가 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해라는 측면에서 유의미한 효과가 있는지를 살펴보았다. 실험집단과 비교집단에서 사후 도구적 및 관계적 이해 검사 결과의 차이가 통계적으로 유의하지는 않았으므로, 내러티브로 제시하는 것이 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해의 측면에서 더 효과적이라는 결론을 내릴 수는 없었다. 그러나 학생들의 관계적 이해 반응과 수업 평가에 대한 질적 분석에서는 비교집단과 실험 집단사이에서 몇 가지 다른 양상을 발견할 수 있었으며, 형식적 증명을 보완할 수 있는 내러티브의 가능성을 찾아볼 수 있었다.

• 대한수학교육학회지:학교수학
• /
• 제6권1호
• /
• pp.59-90
• /
• 2004

본 연구에서는 중학생들이 증명학습을 할 때 범하는 수학적 오류를 교수학적으로 처방할 뿐만 아니라 올바른 증명의 역할과 본질을 이해하여 증명과정을 스스로 구성할 수 있도록, '생성-수렴 모형에 의한 증명학습'이라는 증명 학습-지도 방법을 제시하였다. 이 수업모형을 8학년 학생 160명을 대상으로 10주 동안 40시간에 걸쳐 여러 가지 사각형의 성질과 관계를 학습할 때 적용하여 학생들의 증명능력 향상과 오류 교정에 미치는 효과 및 학생들의 정당화 유형 양상으로 세분화하여 그 결과를 살펴보았다. 첫째, 생성-수렴 모형에 의한 증명학습을 실시한 실험집단의 학생들은 통제집단의 학생들보다 증명능력 검사에서 평균점수는 높았다. 그러나 유의수준 .01에서 통계적 검정을 실시한 결과, 두 집단 간의 증명능력은 유의적인 차이가 없었다. 둘째, 학생들은 논증기하 영역에서 증명을 할 때 범하는 오류 교정율에 있어서 생성-수렴 모형에 의한 증명학습을 한 학생들의 오류 교정율이 통제집단보다 더 큰폭으로 감소하였다. 셋째, 학생들의 정당화 유형은 실험집단과 통제집단 모두 경험적 정당화에서 분석적 정당화로의 이행을 보였으나, 생성-수렴 모형에 의한 증명학습을 한 학생들이 통제집단의 학생들보다 분석적 정당화를 구성하는 학생들이 현저하게 증가하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 추계학술대회
• /
• pp.409-416
• /
• 2004

동적 공급사슬망은 복잡하고 다양한 이해관계를 가진 기업들로 구성되어 있다. 다수의 구매자로부터 주문 의뢰가 동시다발적으로 발생하므로 하위 구성원들은 경쟁적 관계에 놓이게 된다. 그러므로 최적의 공급사슬구성을 위해서는 수평적 경쟁 관계를 고려하여 구성주체들간의 협력관계를 통해 이를 해결하여야 한다. 지금까지의 스케줄링 문제에서는 상위의 구성원이 하위 구성원들을 일방적으로 선택하는 의사결정이 이루어졌으나 본 문제에서는 구성원간의 협력관계에서 에이전트를 통한 다자간 협상을 통해 공급사슬 전체의 최적화를 구성하는 방법론을 제시한다. 본 협상방법론은 단일기계에서 상이한 납기일, 조기생산(earliness), 지연생산(tardiness)을 동시에 고려하였으며 전체 공급사슬의 평균절대편차(Mean Absolute Deviation)의 최소화를 목적으로 하고 있다. 본 협상방법론의 효과성을 증명하기 위해 분지한계법(Branch & Bound)과 비교하고, 알고리즘 구현을 통해 구매자 협상방법론의 최적화 여부를 실험을 통해 증명하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.781-784
• /
• 2000

전자중매 프로토콜(Match-making protocol)은 남녀간의 그룹미팅에서 커플을 구성하거나 특정 그룹 내에서 팀을 구성하기 위한 프로토콜이다. 본 연구에서는 두 사람이 서로 상대방을 선택했을 때에만 커플로 인정된다고 하는 규칙을 사용할 때 커플이 성립되었음을 확인하고 이를 증명하기 위한 안전하고 효율적인 프로토콜을 설계하였다. 이를 구현하기 위한 하부 프로토콜로서 두개의 이산대수 원소가 같은 지수값을 가지는지 여부를 증명하는 방법과 이를 이용하여 두개의 EIGamal 암호문이 제공되었을 때 복호화를 하지 않고도 평문 메시지가 일치하는지 여부를 확인하고 증명할 수 있는 프로토콜을 제시하고 이를 전자중매 프로토콜 설계에 이용하였다. 이러한 방법은 전자중매 프로토콜뿐만 아니라 실생활에서 요구되는 다양한 문제들을 해결하는 방법론으로 이용될 수 있을 것으로 예상된다.