• 대한수학교육학회지:학교수학
• /
• 제5권4호
• /
• pp.401-420
• /
• 2003

증명 학습에 있어서 많은 어려움이 특히, 증명이 도입되는 중학교 기하 단원의 학습에서 야기되고 있으며, 무엇보다도 많은 학생들이 증명의 의미를 이해하지 못하는 것은 간과하기 어려운 문제점이다. 본 고에서는 기하의 역사 발생적 단계에 따른 증명의 의미 지도가 증명 지도 개선을 위한 하나의 방안이 될 수 있음을 밝히고자 하였다. Branford가 제시한 바와 같이 역사-발생적 전개를 통하여 증명의 의미를 지도하는 방안을 모색해 보고자, Euclid원론이 성립하기까지의 기하의 역사적 발달 과정과 병행하여 실험적, 직관적, 과학적 단계를 거쳐 발전되어 온 증명의 발생 과정을 살펴보고 지도 과정을 분석해 보았다. 그리고 실험적, 직관적 증명 단계를 거쳐 수학적인 증명을 도입하는 지도 과정에 따라 삼각형의 내각의 합에 대한 명제의 증명 지도를 중학교 1학년 학생들을 대상으로 실시해 보았다. 본 고에서는 그러한 결과를 통하여 역사-발생적 접근이 학생들에게 증명의 의미를 이해시키는데 큰 도움이 된다는 것을 확인하였다.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.585-599
• /
• 2004

본 연구에서는 학교수학에서 증명지도의 문제점을 정당화의 측면에서 분석하고, 정당화의 한 방법으로서 확률론적 정당화를 제시하며, 학교수학에서 정당화 지도의 교육적 가치, 정당화 지도의 방향, 정당화 지도의 예와 지도 방법에 대해 논의한다. 이러한 논의에 근거하여 학교수학에서의 정당화 지도의 필요성 및 가능성에 관하여 살펴본다. 본 연구에서 '증명'은 고전적인 의미에서의 증명, 즉 엄밀한(rigorous) 증명, 수학적(mathematical) 증명이고, '정당화'는 기존의 수학적 증명 개념은 물론, 다양한 논증 기법을 포함하는 넓은 의미이다.

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

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

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.625-648
• /
• 2008

본 연구는 중학교 3학년을 대상으로 Branford의 역사 발생적 기하교육을 활용하여 피타고라스 정리의 증명을 실제로 지도하여, 사례연구 과정에서 나타나는 학생들의 인식의 변화를 살펴보고, 이러한 방법이 학생들의 인식 변화에 어떠한 도움을 주는지에 대해 알아보고자 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.

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

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

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• 한국수학교육학회:학술대회논문집
• /
• 한국수학교육학회 2007년도 제39회 전국수학교육연구대회 프로시딩
• /
• pp.33-48
• /
• 2007

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권3호
• /
• pp.485-502
• /
• 2005

한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

• 대한수학교육학회지:수학교육학연구
• /
• 제19권2호
• /
• pp.185-206
• /
• 2009

분석법은 증명 방법을 찾을 수 있는 좋은 방법의 하나로 제안되어 왔다. 본 연구에서는 4명의 중학교 1학년 학생들을 대상으로 실제로 분석법을 중심으로 증명을 지도하기 위한 교수 실험을 실시하여, 분석법을 활용하여 증명 방법을 찾고 그것을 증명으로 표현하는 과정에서의 어려움을 살펴보았다. 본 연구 결과, 4명의 학생들은 교수 실험을 통해 분석법을 의미 있게 이해하고 분석법을 활용하여 증명 방법을 찾는 데에 대부분 성공하였다. 한편, 분석법을 중심으로 한 증명 학습에서 학생들이 겪는 어려움은 삼각형의 합동조건의 올바른 탐색, 증명 문제에 제시된 그림의 재해석, 증명 방법의 기호적 표현 등으로 나타났다.