• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.125-132
• /
• 2004

대학 교양수학 과정에서 수학적 명제를 증명하는 과정은 중요하다. 선행 연구들은 주관식 증명문제의 시험이 어려워 증명문제를 피하고 더 나아가 포기하게 만든다고 한다. 여기서는 대학 교양수학 과정에서 필요하고 중요한 기본 개념이나 정리를 선정하여 선택형 또는 참, 거짓 평가문항으로 개발하고 학생들에게 시험을 보게 하여 결과를 분석하고 이를 통해 증명문제의 두려움을 조금이라도 줄여주고 기본개념의 확실한 이해를 위해 도움을 제공하려고 한다.

• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.305-316
• /
• 2002

벡터는 수학 문제해결을 위한 중요한 도구로써, 벡터를 이용한 문제해결 과정에서 학생들은 수학적 탐구 활동에 관련된 풍부한 경험을 가질 수 있다. 본 연구에서는 벡터를 이용하여 삼각형의 무게중심에 관한 정리를 증명하기 위한 수학적 탐구 능력이나 아이디어를 학생들이 준비할 수 있도록 정리 증명과 관련된 몇몇 문제들을 체계화하여 제시하였다. 이 문제들을 해결하는 과정에 관련된 탐구 능력을 추출하였으며, 체계화된 문제에 바탕을 둔 무게중심에 관한 정리 증명을 제시하였고, 증명 과정과 관련된 수학적 탐구 능력을 제시하였다.

• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.265-274
• /
• 2002

이 프로젝트는 수학 수업 중 ‘추론’과 ‘증명’에 관련된 "문제해결과정"에 관심을 가지고, 처음 증명문제를 접하는 독일 7학년 학생들을 대상으로 문제해결능력에 필요한 요인들, 즉, 문제 해결을 위한 수학적 기본지식, 해결된 문제에 대한 인지정도, 논리적 사고 등을 관찰 분석하고 수학교사의 수학에 대한 신념(Beliefs)과 수업 방식이 학생들의 문제해결에 미치는 영향을 조사하는 것에 그 목적을 둔다. 이 프로젝트의 일부의 결과로써, 본 논문에서는 학생들 개개인의 문제해결과정과 그 능력, 그리고 수학에 대한 신념을 서술하고, 수학교사와 학생들의 서로 다른 수학에 대한 신념을 비교 분석한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1994.11a
• /
• pp.45-50
• /
• 1994

대화형 영지식 증명시스템을 사용하여 D. Chaum의 undeniable signature에 대한 거짓말 탐지기 기능 문제를 해결한 안전성이 증명된 의뢰 undeniable signature 방식을 제안한다. 제안한 방식의 안전성은 영지식 대화형 증명시스템과 고차잉여류 문제에 기반을 두고 있다.

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

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.485-491
• /
• 1999

총납기지연 최소화 문제에서 많은 할당규칙들이 개발되어져 왔는데, 대부분의 개발 배경이 모든 Job이 동일한 시작시간을 갖는 Single Machine을 대상으로 하였기 때문에 이 할당규칙들을 Job의 시작시간이 다르게 주어지는 문제에 그대로 적용했을 때는 만족할만한 결과를 얻기가 쉽지 않다. 따라서 본 연구에서는 다른 시작시간을 갖는 Single Machine문제에서 총납기지연을 최소화하기 위하여 먼저, 새로운 작업쌍 순서(Job Pair Sequencing) 할당규칙을 제시한다. 제시되는 할당규칙은 Job들간의 Sequence를 쌍으로 비교하여 총납기지연 측면에서 선행이 바람직한 Job을 선택한다. 그리고 제시된 할당규칙에 대하여 다수개의 Job에 적용 시 선택된 Job들간에 Transitivity 가 성립됨을 증명함으로서 총납기지연을 최소화 시린 수 잇.음을 증명하였다.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.489-503
• /
• 2008

It is not an easy matter to develop problems which help students understand mathematical concepts correctly and precisely. The aim of this paper is to review the merits and demerits of three problem types (i.e. one answer problems, multiple choice problems and proof problems) and to suggest some points that should be taken into consideration in problem making. First, we presented the merits and demerits of three types of problems by examining actual examples. Second, we discussed some examples of misleading problems and the ways to make desirable ones. Finally, on the basis of our examination and discussion, we suggested some points that should be kept in mind in problem making. The major suggestions are as follows; i) In making one answer problems, we should consider the possibility of sitting a solution by wrong precesses, ii) In formulating multiple choice tests which are layered for their easiness of grading, we should take into account the importance of checking whether the students are fully understanding the concepts, iii) We may depend on the previous research result that multiple choice tests for proof problems can be helpful for the students who have insufficient math background. Besides those suggestions, we made an overall proposal that we should endeavor to find ways to implement the demerits of each problem type and to develop instructive problems that can help students understanding of math.

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.109-124
• /
• 2004

대학수학에서 수학적귀납법의 원리를 소개하고 풍부한 예를 통해 이해를 돕는다. 특별히 교양수학을 수강하는 1학년 학생 수준에 맞게 매스매티카 프로그램을 이용하여 구체적인 예를 갖고 한단계 한단계 접근하여 수학적귀납법의 증명을 연습할 기회를 준다. 증명을 단계적으로 하는 것을 연습하여 학생들은 논리적인 사고능력을 개발하고 새로운 명제를 발견할 수 있는 기회를 맞보게 한다. 물론, 증명 연습은 1학년 신입생에게는 쉽지 않으나 여러 명제에 대해 연습을 하는 것은 수학적, 논리적 사고 능력을 개발하고 증명문제에 대한 인식을 바꾸는데 매우 중요한 역할을 할 것이다.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.93-108
• /
• 2004

In this article we study on various proofs of the Steiner-Lehmus theorem(any triangle that has two equal angle bisectors is isosceles). We suggest 6 geometric proofs and 3 algebraic proofs of the theorem in detail, analyze these proofs, extract related theorems, proof ideas.