• Title/Summary/Keyword: 증명학습

Search Result 358, Processing Time 0.04 seconds

A Note on Dealing with Some Contents of Geometry in the Middle School Mathematics (중학교 수학에서 기하 내용 취급에 관한 연구)

  • 김흥기
    • Journal of Educational Research in Mathematics
    • /
    • v.14 no.1
    • /
    • pp.111-127
    • /
    • 2004
  • In this note we examined some terms, parallel lines and angles in elementary school mathematics and middle school mathematics respectively. Since some terms are represented early in elementary school mathematics and not repeated after, some students are not easy to apply the terms to their lesson. Also, since the relation between parallel lines and angles are treated intuitively in 7-th grade, applying the relation for a proof in 8-th grade would be meaningless. For the variety of mathematics education, it is desirable that the relation between parallel lines and angles are treated as postulate. Also, for out standing students, it is desirable that we use deductive reasoning to prove the relation between parallel lines and angles as a theorem. In particular, the treatments of vertical angles and the relation between parallel lines and angles in 7-th grade text books must be reconsidered. Proof is very important in mathematics, and the deductive reasoning is necessary for proof. It would be efficient if some properties such as congruence of vertical angles and the relation between parallel lines and angles are dealt in 8-th grade for proof.

  • PDF

Robust Online Object Tracking via Convolutional Neural Network (합성곱 신경망을 통한 강건한 온라인 객체 추적)

  • Gil, Jong In;Kim, Manbae
    • Journal of Broadcast Engineering
    • /
    • v.23 no.2
    • /
    • pp.186-196
    • /
    • 2018
  • In this paper, we propose an on-line tracking method using convolutional neural network (CNN) for tracking object. It is well known that a large number of training samples are needed to train the model offline. To solve this problem, we use an untrained model and update the model by collecting training samples online directly from the test sequences. While conventional methods have been used to learn models by training samples offline, we demonstrate that a small group of samples are sufficient for online object tracking. In addition, we define a loss function containing color information, and prevent the model from being trained by wrong training samples. Experiments validate that tracking performance is equivalent to four comparative methods or outperforms them.

The Transfer Effect in Learning: According to Problem Type and Earlier Examples (학습 자료 유형과 예제가 전이 학습에 미치는 영향)

  • 원설혜;한광희
    • Proceedings of the Korean Society for Cognitive Science Conference
    • /
    • 2002.05a
    • /
    • pp.163-167
    • /
    • 2002
  • 문제 해결 상황에서의 전이 학습에 관한 연구는 실제 학습 장면에서 학생들이 문제를 좀 더 쉽게 이해하도록 하고, 이를 바탕으로 효율적인 학습이 일어나도록 한다는 점에서 중요하다. 본 연구의 목적은 컴퓨터 학습 환경에서 학습 자료의 난이도와 예제의 사용이 전이에 어떠한 영향을 미치는지에 대하여 알아보고자 수행되었다. 첫 번째 실험에서는 문제 구조가 비교적 잘 정의되어 있는 확률 문제를 대상으로 하여 학습 자료 유형과 난이도가 전이에 미치는 영향을 알아보기 위하여 실시되었다. 학습 자료 유형은 재인(recognition), 증명(verification), 유추(analogy) 세 가지 조건이었으며, 문제의 난이도는 피험자의 수행 평가를 기준으로 하여 세 가지 수준으로 조작되었다. 두 번째 실험에서는 학습 자료 유형과 예제(earlier example)가 전이 학습에 미치는 영향을 알아보기 위하여 실시되었다. 실험 결과 학습 자료 유형과 난이도 각각의 주효과가 통계적으로 유의하였으며, 예제의 제시유무는 전이 검사에서만 경향성을 보였다.

  • PDF

A study on the definition and proof of the circumcenter of a triangle (삼각형의 외심 정의와 증명에 관한 고찰)

  • Byun, Hee-Hyun
    • Journal of the Korean School Mathematics Society
    • /
    • v.14 no.2
    • /
    • pp.227-239
    • /
    • 2011
  • The circumcenter of a triangle is introduced in logic geometry part of 8th grade mathematics. To handle certain characteristics of a figure through mathematical proof may involve considerable difficulty, and many students have greater difficulties especially in learning textbook's methods of proving propositions about circumcenter of a triangle. This study compares the methods how the circumcenter of a triangle is explored among the Elements of Euclid, a classic of logic geometry, current textbooks of USA and those of Korea. As a result of it, this study tries to abstract some significant implications on teaching the circumcenter of a triangle.

  • PDF

사인의 덧셈정리에 대한 다양한 증명방법 연구

  • Han, In-Gi;Kim, Tae-Ho;Yu, Ik-Seung;Kim, Dae-Ui;Seo, Bo-Eok
    • Communications of Mathematical Education
    • /
    • v.19 no.3 s.23
    • /
    • pp.485-502
    • /
    • 2005
  • 한 가지 문제에 대한 다양한 풀이 방법을 탐색하는 것은 수학적 대상의 성질을 발명, 일반화하는 것 뿐만 아니라, 학생들의 지적인 유창성 및 유연성 계발, 수학에 대한 심미적 가치의 함양을 위한 의미 있는 교수학적 경험을 제공할 수 있을 것이다. 본 연구에서는 고등학교 '미분과 적분'에 제시된 사인의 덧셈정리에 대한 다양한 증명 방법을 제시하고, 이를 분석하여 수학교수학적으로 의미로운 시사점을 도출하였다. 이를 통해, 사인의 덧셈정리에 대한 새로운 증명 방법의 탐색, 사인의 덧셈정리의 수학교수학적 활용의 다양한 가능성을 모색할 수 있는 기초자료를 제공할 것이며, 제시된 증명 방법들은 '미분과 적분'의 지도에서 심화학습 자료로도 활용할 수 있을 것이다.

  • PDF

Role of Symbol and Formation of Intuition by the Mediation of Symbols in Geometric Proof (기하 증명에서 기호의 역할과 기호 중재에 의한 직관의 형성)

  • Kim, Hee;Kim, Sun-Hee
    • Journal of Educational Research in Mathematics
    • /
    • v.20 no.4
    • /
    • pp.511-528
    • /
    • 2010
  • Students' intuition in formal proof should be expressed as symbols according to the deductive process. The symbol will play a role of the mediation between the intuition and the formal proof. This study examined the evolution process of intuition mediated by the symbol in geometry proof. According to the results first, symbol took the great roles when students had the non-formed intuition for the proposition. The signification of symbols could explain even the proof process of the proposition with the non-expectable intuition. And when students proved it by symbols, not by figure nor words, they could evolute the conclusive intuition about the proposition.

  • PDF

Analysis based on Brain Wave of Learning Effect on Vocabulary Using Smartphone (스마트폰을 활용한 어휘 학습효과의 뇌파기반 분석)

  • Jo, JaeChoon;Lee, Saebyeok;Lim, HeuiSeok
    • Annual Conference on Human and Language Technology
    • /
    • 2011.10a
    • /
    • pp.21-24
    • /
    • 2011
  • 오늘날 정보통신기술의 발달로 스마트폰을 활용한 스마트러닝의 관심이 높아지고 있다. 하지만 부정적인 시각도 높아 긍정적인 학습효과를 제시하기 위해 많은 연구가 시도되고 있지만 대부분의 기존 연구에서는 이론적인 학습효과만을 제시하고 있어 긍정적인 학습효과를 증명하기에는 많은 부족함이 있다. 따라서 본 연구에서는 뇌파를 이용한 과학적인 근거를 제시하기 위하여 Mindset 장비를 이용하여 학습자의 Attention과 Meditation에 관한 뇌파를 분석하였다. 실험은 스마트폰을 활용한 학습과 기존의 종이를 활용한 학습으로 두 집단 간의 뇌파를 비교 분석 하였다. 실험 결과 스마트폰을 활용한 집단이 기존의 종이를 활용한 집단 보다 Meditation 뇌파가 지속적으로 높게 나타났으며 학습 시간이 지남에 따라 스마트폰을 활용한 집단의 Attention 뇌파가 높게 나타나 스마트폰을 활용한 학습이 학습자를 더욱 집중하게 만든다고 볼 수 있었다.

  • PDF

The Implementation of Web Page Learning Memory Platform to support efficient Learning Model (효율적인 학습 모델을 지원하는 웹 페이지 학습 기억 플랫폼 구현)

  • Kim, Seongjun;Oh, Ryumduck
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2021.01a
    • /
    • pp.291-294
    • /
    • 2021
  • 본 논문에서는 영어 교육에 대한 사회적인 인식은 중요해지면서 다양한 방식의 영어공부와 학습모델들을 분석하고 오랫동안 가억이 가능한 학습시스템을 검토하였다. 그러나 영어의 기초가 되는 영어 단어의 공부법이 논리적인 근거 없이 강사의 인지도와 명성에 현혹되어 강사가 추천해 주는 공부 방법에 따라 잘못된 학습하는 경우가 대부분이다. 또한 사람마다 자기에게 맞는 학습법은 분명 존재할 것이다. 하지만 그 방법 외에 효과적인 다른 방법 또한 찾아 볼 수 있다. 헤르만 에빙하우스는 사람의 망각 연구한 결과 망각의 주기를 수치로 나타내었고, 라이트너는 플래시 카드를 박스에 넣어 복습을 반복하는 아날로그 장치를 만들어 복습의 효과를 연구하였다. 본 논문에서는 헤르만 에빙하우스의 망각 곡선 이론을 통해 효율적인 영어 단어 학습방법을 논리적으로 증명하고, 웹사이트를 사용한 라이트너 박스와 망각 곡선의 이론을 적용하여 망각의 주기에 따른 복습의 효과를 적용하여 결과적으로 사용자에게 접근성이 좋은 학습형 플랫폼을 제공하여 시간 대비 학습률이 좋은 시스템을 개발하고자 하였다.

  • PDF

Tess를 이용한 교수${\cdot}$학습에서 변환지도에 대한 사례연구 -부진아를 대상으로-

  • Go, Sang-Suk;Hong, Seok-Man
    • Communications of Mathematical Education
    • /
    • v.14
    • /
    • pp.85-102
    • /
    • 2001
  • 칠판과 분필만을 이용한 증명 위주의 기하 수업을 탈피하여 현장에서 사용할 수 있는 능동적인 교수${\cdot}$학습에 한가지 방법을 제시하고자 수학에 자신감이 없는 고등학교 1학년 학습 부진아를 대상으로 컴퓨터 프로그램, Tess를 이용하여 학생의 변환 개념에 대한 이해도를 조사하였다. 또한, 테셀레이션을 직접 만들어 가는 과정을 통하여 타 교과와의 수학적 연결성을 이해하고, 수학의 실용성과 실생활과의 연관성, 도형의 아름다움을 학생이 스스로 찾고, 발견하는데 초점을 두었다. 우리의 전통 문양도 수학교육에 충분히 이용될 수 있다는 사실을 확인할 수 있었고, 학생의 수학에 대한 태도가 크게 향상됨을 알 수있었다.

  • PDF

The Study on the Method which escapee from Local maxima of Error-Backpropagation Algorithm (오류역전파 알고리즘의 Local maxima를 탈출하기 위한 방법에 관한 연구)

  • 서원택;조범준
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10b
    • /
    • pp.313-315
    • /
    • 2001
  • 본 논문에서 소개하는 알고리즘을 은닉층의 뉴런의 수를 학습하는 동안 동적으로 변화시켜 역전파 알고리즘의 단점인 Local maxima를 탈출하고 또한 은닉층의 뉴런의 수를 결정하는 과정을 없애기 위해 연구되었다. 본 알고리즘의 성능을 평가하기 위해 두 가지 실험에 적용하였는데 첫번째는 Exclusive-OR 문제이고 두번째는 7$\times$8 한글 자음과 모음의 폰트 학습에 적용하였다. 이 실험의 결과로 네트웍이 local maxima에 빠져드는 확률이 줄어드는 것을 알 수 있었고 학습속도 또한 일반적인 역전파 알고리즘보다 빠른 것으로 증명되었다.

  • PDF