• Journal of The Korean Association For Science Education
• /
• v.10 no.2
• /
• pp.73-83
• /
• 1990

이 연구의 목적은 (가)학생들의 "공기중의 물"에 대한 직관척 견해와 그 특성들을 파악하여 기술하고, (나) 나이와 학습 능력의 증가에 따른 직관적 견해의 분포 및 변화 경향의 파악 및 기술(description)에 있다. 미국 텍사스주 중부에서 36명의 연구대상 학생들이 선발되었다(5-, 8-, 11-학년 및 대학교 학생 각각 9명씩). 대학생들을 제외한 각 학년은 3명 씩의 우수, 보통 및 열퉁 학생들로 구성되었다. 연구 방법은 현상에 대한 면담법(Interview-About-Phenomena)이 사용되었다. 대기 중의 물은 7개의 종속개념(수증기, 습도, 증발, 웅결, 승화 I 과 II, 그리고 이슬점)으로 세분되어 조사되었다. 연구 결과 각 종속개념마다 3개에서 7개까지 여러 직관적 견해들이 파악되었다. 학년과 학습능력이 증가 할수록 학생들은 더 정교한 직관적 견해를 보유하고 있었다. 파악된 직관적 견해들의 재구성(restructuring) 또는 보다 정교한(more sophisticated) 견해로의 변화는 종속개념에 따라 다르다. 직관적 견해들이 재구성되기 쉬움에 따라 종속개념들을 배열한 것올 "재구성 계열"(Restructuring series)이라 정의 하였으며 이는 다음과 같다. 수증기-습도-이슬점-응결-중발-승화 I 과 II. 이 연구의 결과는 과학교수 전략 및 과학 학습교재의 고안과 개발, 과학교사 양성과정, 그리고 과학학습 평가 등에 활용되어져야 할 것이다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.

• 대한공업교육학회지
• /
• v.34 no.1
• /
• pp.129-154
• /
• 2009

The purpose of this study was to find the effect of intuitive free association and systematic free association on the creativity of high school students group in the conceptual design process. Based on this study result, the conclusion can be summarized as follows. 1. There was meaningful relation between intuitive free association and creativity factor of high school students. Mean value of experimental group A 's creativity and it's factor originality, practicality, elaboration, and fluency which treated intuitive free association was increased. 2. There was meaningful relation between systematic free association and creativity factor of high school students. Mean value of experimental group B 's creativity and it's sub factors: originality, problem solving, elaboration, and fluency which was treated systematic free association was increased. 3. It was found that two different divergent thinking does not show any meaningful difference in creativities of two groups. However, the meaningful difference was found in post creativity test in each groups sub-factors. There was meaningful difference in practicality factor, though there was no meaningful difference in originality, elaboration, fluency factors. Using the obtained results, it was concluded that intuitive thinking and systematic thinking play different roles in practicality which is one of sub-factors of the creativity of high school students. Consequently, it can be concluded that systematic thinking which leads students to take a step to solve a given problem can elicit more scientific thinking, and helps students create more practical solution in problem solving than intuitive thinking that emphasize the quantitative aspect of ideas.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.125-141
• /
• 2000

현행 교육과정에서는 서로 만나는 두 직선의 둘레로 회전하여 얻는 곡면 즉 직원뿔을 꼭지점을 지나지 않는 평면으로 잘라 만들어지는 원추곡선 중에서 원을 제외한 포물선, 타원, 쌍곡선에 대한 시각적 직관적 개념 형성 지도가 미흡한 실정이다. 이에 시각적, 직관적 개념 형성에 적합한 상황과 대상을 제공할 수 있는 컴퓨터 응용소프트웨어를 이용하여 이차곡선을 도입하고 Computer Algebra System을 적용한 MathView를 이용하여 포물선, 타원, 쌍곡선 방정식의 개념 지도 방안을 구안하였다.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.1
• /
• pp.91-111
• /
• 2007

This study investigated how high school students predict the rule, the sum of sequence for the concept of sequence, for the given patterns based on inductive approach using computers that provide dynamic functions and materials that are visual. Students for themselves were able to induce the formula without using the given formula in the textbook. Furthermore, this study examined how these technology and materials affect students' understanding of the concept of actual infinity for those who have the concept of the potential infinity which is the misconception of infinity in a infinity series. This study shows that students made a progress from the concept of potential infinity to that of actual infinity with technology and materials used I this study. Students also became interested in the use of computer and the visualized materials, further there was a change in their attitude toward mathematics.

• School Mathematics
• /
• v.10 no.3
• /
• pp.319-337
• /
• 2008

Intuitions in independence formed by common language help and also hinder the establishment of new conceptual system about independence as a mathematical term. Intuitions which entail such conflicts can be a driving force in explaining independence but at the same time, it is the impedimental factor causing a misconception. The goal of this paper is to help students use the intuitions properly by distinguishing helpful intuitions and impedimental intuitions. This paper suggests that we need to reveal in teaching the misconception resulting not from mathematic but from linguistic interpretation of independence. This paper points out the need for the clear distinction of independence of trials and independence of events and gives an counterexample of the case that sampling with and without replacement shouldn't be specified as a representative example of independence and dependence of events. The analysis of intuition in this parer is based on intuitions classified by Fischbein and this paper analyzed institutions applied to the concept of independence corresponding intuitions classified by Fischbein.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.46-48
• /
• 2001

웹 캐슁은 캐쉬 액새스턱 통해 웹 서버와 네트워크의 부하를 감소시켜 웹 응용을 가속화하는 중요한 기술이다. 전통적인 데이타 캐슁과 마찬가지로, 웹 캐슁은 캐쉬 일관성 유지라는 문제를 안고 있다. 그러나, 기존의 캐슁과는 달리 웹 캐슁에서는 웹 서버 데이타 갱신을 지연하여 반영하는 약 일관성이 허용된다. 이러한 조건은 TTL(time-to-live, 캐쉬 서버가 캐쉬된 데이타 아이템이 유효하다고 기대하는 시간)이 일관성 유지를 위해 사용되는 것을 허용한다. 이것은 효과적인 TTL 추정방법의 개발이 필요하도록 하였다. 그러나, 현재가지 소개된 두 가지 추정 방법(고정 TTL방법과 휴리스틱 방법)은 직관적 해석이 어렵고, 이론적인 추정근거가 빈약하다. 본 논문에서는 이러한 단점을 보완하기 위하여 확률적 분석에 기 반하여 정형적이고, 직관적인 의미를 갖는 위험도 기반 TTL 설정 방법을 제안한다. 이 방법에서는 위험도를 TTL 이내에 원본 데이타가 갱신될 확률로 정의하고, 갱신분포를 포아송 과정으로 가정한 후, 주어진 위험도를 TTL 식을 유도한다. 위험도 기반 TTL 설정 방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률적 유도를 통하여 TTL 설정방법은 기존방법과 비교하여 위험도란 개념을 통하여 보다 직관적이고, 확률은 유도를 통하여 TTL 설정에 대한 이론적인 근거를 제공한다.

• Journal of the Korean School Mathematics Society
• /
• v.21 no.2
• /
• pp.113-139
• /
• 2018

There is no doubt about the importance of teacher knowledge for good teaching. Many researches attempted to conceptualize elements and features of teacher knowledge for teaching in a quantitative way. Unlike existing researches, this article suggests an interpretation of preservice teacher knowledge in the field of geometry using the Shulman - Fischbein framework in a qualitative way. Seven female preservice teachers voluntarily participated in this research and they performed a series of written tasks that asked their subject matter knowledge (SMK) and pedagogical content knowledge (PCK). Their responses were analyzed according to mathematical algorithmic -, formal -, and intuitive - SMK and PCK. The interpretation revealed that preservice teachers had overally strong SMK, their deeply rooted SMK did not change, their SMK affected their PCK, they had appropriate PCK with regard to knowledge of student, and they tended to less focus on mathematical intuitive - PCK when they considered instructional strategies. The understanding of preservice teachers' knowledge throughout the analysis using Shulman-Fischbein framework will be able to help design teacher preparation programs.