• 대한수학교육학회지:수학교육학연구
• /
• 제14권1호
• /
• pp.111-127
• /
• 2004

본 연구는 기하 부분의 내용이 초등학교에서 중학교로 발전 전개되는 과정에서 일부 용어의 정의와 평행선과 각의 취급에 대하여 알아보았고, 교육과정에 제시된 관련내용을 분석하고 그에 따른 현행 교과서를 살펴보았다. 다음에 관련된 분야의 일부 외국교과서를 비교 분석하여 그 상황을 알아보았다 그 결과 현행 교과서 보다 바람직한 내용의 취급을 위해서는 우선 체계적인 학습을 할 수 있도록 교육과정에 보다 적합한 학습내용과 그 취급 방법을 제시해야만 하고, 그에 따라 교과서도 보다 적합하게 집필되어야 함을 제시하였다. 이를테면 용어의 정의는 반복하여 충분히 이해하도록 하고, 특히 교육의 다양성을 위해서 평행선의 성질에 관한 내용은 공준으로 도입하여 활용할 수도 있고, 우수한 학생들은 증명을 하여 활용할 수도 있도록 다양한 취급을 하는 것이 바람직함을 제시하였다. 그리고 특히 현행 교과서에서는 <7-나 단계에서 취급되고 있는 맞꼭지각의 성질과 평행선의 성질과 같은 연역적 추론에 의해서 증명될 수 있는 내용들은 18- 나 단계>로 이동을 하여 학습하는 것이 학습 체계의 연계에 바람직함을 제시하였다.

• 영재교육연구
• /
• 제21권2호
• /
• pp.309-335
• /
• 2011

과학 탐구 과정 및 과학 학술지의 논문 양식을 기초로 글쓰기 분석틀을 만들었으며, 중학교 1학년 과학 영재의 글을 글쓰기 분석틀에 근거하여 분류하였다. 연구 대상 학생들의 글을 임시적 설명의 유무와 결론의 형태를 기준으로 7가지 유형으로 구분하였고, 그리고 각 유형별 사례를 연구 방법 또는 연구 결과 및 자료 해석 내용의 기술 횟수와 글쓰기에서 연구 방법 또는 연구 결과 및 자료 해석이 기술된 위치를 기준으로 단선형, 복선형, 결론 보강형으로 나누었다. 단선형은 연구 방법 또는 연구 결과 및 자료 해석이 1회 일 때, 복선형은 연구 방법 또는 연구 결과 및 자료 해석이 2회 이상, 결론 보강형은 연구 방법 또는 연구 결과 및 자료 해석을 1회 이상의 과정을 통해 결론을 내린 후 다시 앞에 제시한 과정 이외의 연구 방법 또는 연구 결과 및 자료 해석이 나타날 경우라 하였다. 학생들은 과학 글쓰기를 통하여 과학자와 같이 글을 쓸 수 있는 기회를 얻을 수 있고, 학생들의 글쓰기 유형은 학생들을 평가할 수 있는 기준으로써 적용가능하다고 할 수 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.176-179
• /
• 2000

Fault simulation is often necessary to determine the fault coverage of a given test, that is, to find all the faults detected by test. In this paper we implement a deductive fault simulation using counting method. Counting method uses f$\sub$ｉ/ of fault table and Search list to compute set operation. f$\sub$ｉ/ was counted by fault list of input gate. And we propagate fault list from primary inputs toward primary output by comparing with controling sum. It improved performance by reducing search of faults.

• 한국수학사학회지
• /
• 제4권1호
• /
• pp.25-34
• /
• 1987

• 정보과학회지
• /
• 제13권5호
• /
• pp.53-62
• /
• 1995

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2005년도 하계학술대회
• /
• pp.69-77
• /
• 2005

본 연구는 초등학생들의 논리적 사고력을 신장시키기 위해 지식 기반 프로그램인 선언적 프로그램을 통해 교육현장에서도 적용할 수 있는 프로그래밍 교육을 제언하고자 한다. 학생들에게 논리적 사고 중에서도 협의의 논리적 사고 즉, 기호적 사고, 분석적 사고, 추론적 사고, 종합적 사고를 분석적 방법을 통해 실제 프로그래밍을 해 봄으로써 연역적 사고 또는 귀납적 사고를 보다 효과적이고 체계적인 프로그래밍을 할 수 있도록 지도함으로써 제 8차 교육과정에서의 컴퓨터 교육과정의 일부분으로서의 프로그래밍의 마인드를 제시하였다. 따라서 본 연구는 선언적 프로그램을 통해서 초등학교 학생들의 논리적 사고력 신장를 위하여 프로그래밍 교수학습의 방법적인 측면을 제시하고자 한다.

• 논리연구
• /
• 제7권2호
• /
• pp.121-146
• /
• 2004

본 논문은 베이즈주의가 확률론을 이용해서 제거적 귀납을 정교하게 발전시키고 있다고 주장한다. 이를 위해 본 논문은 두 가지 작업을 진행한다. 하나는 제거적 귀납이 무엇인가 하는것이고 다른 하나는 제거적 귀납이 베이즈주의에 기여하는 바가 무엇인가 하는 것이다. 먼저 본 논문은 제거적 귀납이 참인 가설을 포함하는 가능한 가설들의 총체로부터 경쟁가설들을 연역적 또는 귀납적으로 제거하고 남는 가설을 선택하는 추론형식임을 밝히고, 이 때 베이즈주의는 제거적 귀납을 정교하게 발전시킨 모습이기 때문에 제거적 귀납으로부터 기술적으로 도움 받을 측면은 없다고 주장한다. 그 대신 본 논문은 베이즈주의가 과학방법론으로 발전되는 데에서 직면하는 여러 가지 문제점을 해결하는 방법에 대해 제거적 귀납으로부터 조언을 얻을 수 있다고 주장한다. 이와 같은 논의를 통해 본 논문은 베이즈주의와 제거적 귀납주의의 결합은 유용한 과학방법론을 만들 수 있을 것으로 전망한다.

• 논리연구
• /
• 제12권2호
• /
• pp.59-88
• /
• 2009

귀납추론은 연역추론이 아니기 때문에 연역적으로 정당화될 수 없다. 또한 귀납추론을 귀납적으로 정당화하는 것은 순환적이다. 따라서 흄은 귀납추론을 합리적으로 정당화할 수 없다고 주장한다. 흄이 이와 같은 귀납의 문제를 제기한 이후 오랜 동안 많은 철학자들이 이 문제를 해결하고자 시도해 왔다. 그럼에도 불구하고, 아직껏 대다수의 철학자들이 동의하는 해결책이 제시되지 않고 있다. 셀라스에 따르면 귀납의 문제는 이론추론이 아니라 오직 실천추론을 통해서만 해결할 수 있다. 이 논문은 셀라스가 제안한 실천추론에 의한 귀납의 정당화를 좀 더 명확한 형태로 발전시켜 설명함으로써 그의 해결책이 귀납의 문제에 대한 근본 해결책임을 주장한다.

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

통계는 연역적 사고를 강조하는 수학의 다른 영역과 달리 귀납적 추론과 직관적 사고를 요구한다. 따라서 학교 수업에서 학생들이 실제적인 상황을 모델링 할 수 있도록 하며, 주어진 상황에서 자료를 올바르게 산출하고 분석 할 수 있도록 적절한 지도 방법이 필요하다. 그렇지만 학교 수업은 대다수 알고리즘 연습 위주의 통계 학습-지도로 통계적 사고 교육이 제대로 이루어지지 못하고 있다. 이로 인해 학생들은 형식적인 통계 처리에는 익숙하지만 통계 교육의 궁극적 목적인 변이성과 자료를 현명하게 다루는 능력이 부족하다. 본고에서는 피상적인 기계적 계산위주의 통계교육에서 실제적인 자료를 수집하고, 이를 적절히 가공 처리하여 정보의 가치를 높일 수 있는 통계 지도 방향을 탐색해 보고자 한다.

• 대한수학교육학회지:학교수학
• /
• 제6권3호
• /
• pp.283-299
• /
• 2004

학생들이 실제 문제 상황에서 수학을 이용하고 문제를 해결하는 것은 수학교육의 중요한 목표이다. 이 연구는 수학적 모델링이 그러한 수학 학습의 목표에 적합하다고 보고 수학적 모델링을 통해서 학생들이 어떤 수학내용을 학습하고 어떤 추론을 경험하고 사용하는지 살펴보았다. 학생들은 수학적 모델링 과정에서 학교수학에서 강조되어 왔던 연역과, 규칙성을 찾는데 기여했던 귀납 뿐 아니라 여러 유형의 가추를 사용하였다. 하나의 사례 연구를 통해 일반화할 수는 없지만, 수학적 모델링에서 연역은 수학적 모델이 옳은지 현실에 비추어 확인하는 과정에서 그리고 수학적 결과를 유도하여 해를 구할 때, 귀납은 수학적 모델이 옳은지를 실험적으로 검증해 보고자 할 때 사용되었다. 가추는 현실 모델로부터 수학적 모델을 추상화하고, 수학적 결과에 대한 현실적 근거를 제시하는 해석을 하고, 현재의 수학적 모델을 수정하여 새로운 수학적 모델을 도출하는데 사용되었다.