• Journal of the Korean earth science society
• /
• v.41 no.1
• /
• pp.48-60
• /
• 2020

The purpose of this study is to analyze the patterns and characteristics of changes in integrated process skills during the process of science high school students' inquiry by using group-based trajectory modeling. 59 students participated in this study. Three hypothetico-deductive inquiry tasks were used as an intervention activity. We asked science high school students to perform those three tasks sequentially and to generate reports of the process and results. We evaluated students' reports by four elements (designing inquiry, collecting data, analyzing data, and forming conclusion) of the integrated process skills according to the scoring rubric developed by Lee and Park (2017), and analyzed the level of changes in integrated process skills in those three inquiry tasks by using group-based trajectory modeling. In addition, we analyzed the characteristics of changes in integrated process skills from several perspectives. The findings are as follows: First, concerning the change patterns of students' integrated process skills, all of the four elements were classified into two groups, but the change patterns were very different by elements. Second, regarding the change characteristics of students' integrated process skills, we found the context-dependency of integrated process skills, variation of learning progression for integrated process skills, and jaggedness of integrated process skills level. Based on these findings, we suggested that a couple of ways be sought to improve the integrated process skills of science high school students.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.413-417
• /
• 1999

최근 인터넷을 통한 언어 교육 연구에 관심이 고조되면서 다양한 언어 학습 홈페이지가 등장하였다. 이 논문은 국어 작문 학습을 목표로 본 연구실에서 개발한 '바른 우리글 쓰기' 학습시스템에 대해 다룬다. 본 학습 시스템은 초보자에서 전문가에 이르는 학습자를 대상으로 우리말로 글을 쓸 때 필요한 우리말 지식을 체계적으로 학습하도록 하거나 학습자가 직접 쓴 문장에서 스스로 오류를 찾아 분석하고 그에 따른 설명 및 글쓰기 규칙을 더 상세하게 알 수 있도록 설계하였다. 학습시스템의 내부 구조를 효율적으로 구성하기 위해 우리말 글과 관련 있는 자료를 수집하여 각각 지식베이스화하고, 학습 내용을 서로 체계적으로 연결하기 위해 우리나라 사람이 자주 틀리는 오류를 중심으로 해당 글쓰기 규칙과 참고 자료와 용례를 하이퍼텍스트화하였다. 이 시스템은 특히 학습 모형에 따라 학습 자료를 재구성할 수 있도록 지식베이스와 모형을 독립하였다. 이와 같이 학습 자료를 풍부하게 준비하고 학습 내용을 구성하는 일 만큼이나 중요한 과제는 학습자의 수준에 맞춰 학습 줄거리를 구성하는 작업이다. 이 시스템에서도 학습자의 특성을 살릴 수 있도록 연역적 학습 모형과 귀납적 학습 모형을 시도하였지만 더 세분화된 학습 줄거리 구성에 대한 연구가 있어야 한다. 따라서 학습자의 학습 동기를 유발할 수 있는 학습 내용과 적절한 기술이 조화를 이룬 홈페이지를 만드는 일이 향후 우리가 지향할 연구 과제이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.619-621
• /
• 2002

네트워크 기반 컴퓨터 시스템은 현대사회에 있어서 매우 중요한 역할을 담당하고 있기 때문에 이들은 정보 범죄들로부터 안정적이면서 효율적인 환경을 제공하는 것은 매우 중요한 일이다. 현재의 침입탐지 시스템은 네트워크 상에서 지속적으로 처리되는 대량의 패킷에 대하여 탐지속도가 떨어지고, 새로운 침입유형에 대한 대응방법이나 인지능력에도 한계가 있기 때문이다. 따라서 다양한 트래픽 속에서 탐지율을 높이고 탐지속도를 개선하기 위한 방안이 필요하다. 본 논문에서는 침입탐지 능력을 개선하기 위해 먼저, 광범위한 침입항목들에 대한 탐지 적용기술을 학습하고, 데이터 마이닝 기법을 이용하여 침입패턴 인식능력 및 새로운 패턴을 생성하는 적용기술을 제안하고자 한다. 침입 패턴생성을 위해 각 네트워크에 돌아다니는 관련된 패킷 정보와 호스트 세션에 기록되어진 자료를 필터링하고, 각종 로그 화일을 추출하는 프로그램들을 활용하여 침입과 일반적인 행동들을 분류하여 규칙들을 생성하였다. 마이닝 기법으로는 학습된 항목들에 대한 연관 규칙을 찾기 위한 연역적 알고리즘을 이용하였다. 또한, 추출 분석된 자료는 리눅스기반의 환경 하에서 다양하게 모아진 네트워크 로그파일들을 본 논문에서 제안한 방법에 따라 적용한 결과이다.

• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.41-52
• /
• 2010

Ancient Indian mathematical works, all composed in Sanskrit, usually consisted of a section of sturas in which a set of rules or problems were stated with great economy in verse in order to aid memorization by a student. And rules or problems of the mathematics were transmitted both orally and in manuscript form.Indian mathematicians made early contributions to the study of the decimal number system, arithmetic, equations, algebra, geometry and trigonometry. And many Indian mathematicians were appearing one after another in Ancient. This paper is a comparative study of mathematics developments in ancient India and the other ancient civilizations. We have found that the Indian mathematics is quantitative, computational and algorithmic by the principles, but the ancient Greece is axiomatic and deductive mathematics in character. Ancient India and the other ancient civilizations mathematics should be unified to give impetus to further development of mathematics education in future times.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.45-63
• /
• 1999

학교 수학의 궁극적인 목표는 “수학적 능력과 태도를 육성하는데 있다.” 이러한 목표를 달성하기 위해서는 수학의 기본적인 지식과 기능을 습득하는 일과 수학적으로 사고하는 능력을 기르는 일이 뒷받침되어야 할 것이다. 수학적 사고는 학교수학에서 지도되는 내용 그 자체에 관련된 것이 아니라 이들 수학을 수학내용을 이해하고 지식으로 획득하는 과정에서 행하여지는 수학적인 활동과 관련이 있다고 하겠다. 본고에서는 수학적인 활동의 방법적인 측면에서 귀납 추론, 연역 추론, 유비 추론에 대해서 개괄적으로 알아보고, 귀납 추론의 필요성 및 특성과 구체적인 적용 사례에 대해서 알아보고자 한다.

• Korean Journal of Logic
• /
• v.15 no.2
• /
• pp.273-294
• /
• 2012

In my previous article "An Inferentialist Account of Indicative Conditionals" and "An Inferentialist Account of Indicative Conditionals and Hasuk Song's Objections", I argued that the so-called Uncontested Principle is not uncontestable. According to the Uncontested Principle, an indicative conditional '$A{\rightarrow}C$' logically implies a material conditional '$A{\supset}C$'. In his recent paper "On the Recent Controversies surrounding the Uncontested Principle" Wonbae Choi presents three objections to my claim. First, my denial of the Uncontested Principle implies rejecting modus ponens. Second, my denial of the Uncontested Principle is tantamount to taking the truth-conditions of an indicative conditional as weaker than those of a material conditional, which are usually taken to be the weakest among conditionals. Third, my view that we can warrantedly assert '$A{\rightarrow}C$' even when 'A ${\therefore}$ C' is inductively justified is based on a misunderstanding of the way in which indicative conditionals are justified. In this paper I argue that Choi's objections are all based on misunderstandings of my view. First, I do not deny the validity of modus ponens (as a form of deductive reasoning). Second, the fact that the inductive warrantability of 'A ${\therefore}$ C' does not imply the truth of '$A{\supset}C$' does not show that the truth-conditions of an indicative conditional is weaker than those of a material conditional. Third, Choi's claim that a contingent conditional '$A{\rightarrow}C$' is true only when 'C' can be deductively derived from 'A' in conjunction with a hidden premiss is not well grounded, nor does it fit the facts.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.527-545
• /
• 2008

One of the education purpose of the section "Figures" in the eighth grade is to develop students' deductive reasoning ability, which is basic and essential for living in a democratic society. However, most or middle school students feel much more difficulty or even frustration in the study of formal arguments for geometric situations than any other mathematical fields. It is owing to the big gap between inductive reasoning in elementary school education and deductive reasoning, which is not intuitive, in middle school education. Also, it is very burden for students to describe geometric statements exactly by using various appropriate symbols. Moreover, Usage of the same symbols for angle and angle measurement or segments and segments measurement makes students more confused. Since geometric relations is mainly determined by the measurements of geometric objects, students should be able to interpret the geometric properties to the algebraic properties, and vice verse. In this paper, we first compare and contrast inductive and deductive reasoning approaches to justify geometric facts and relations in school curricula. Convincing arguments are based on experiment and experience, then are developed from inductive reasoning to deductive proofs. We introduce teaching methods to help students's understanding for deductive reasoning in the textbook by using stepwise visualization materials. It is desirable that an effective proof instruction should be able to provide teaching methods and visual materials suitable for students' intellectual level and their own intuition.

• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.337-358
• /
• 2015

Vann Mcgee produced "counterexamples" to Modus Ponens in "A Counterexample to Modus Ponens". Discussions about the examples tended to focus on a probabilistic reading of conditional statements. This article attempts to establish both (1) Modus Ponens is a deductively valid rule of inference, and (2) the counterexample-like appearance of Mcgee's example can be (and should be) explained without making a reference to the notion of conditional probability. The reason why his examples seem to counter Modus Ponens is found rather within the ambiguity a conditional statement exhibits. That is, Mcgee's examples are cases of equivocation on the conditional statements involved.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.2
• /
• pp.359-367
• /
• 1999

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.153-159
• /
• 2003

수학 학습의 목표를 수학적 사고력의 신장이라는 측면에서 보았을 때 이를 위하여 문제에 대한 다양한 해법을 찾는 활동은 중요하다. 문제에 대한 다양한 접근은 문제해결의 전략을 학습시키고 사고의 유연성을 길러줄 수 있는 방법이 된다. 문제에 대한 다양한 해법을 찾는 과정에서 이미 알고 있는 지식이 어떻게 응용되는지를 알게 된다. 특히 기하 문제에 대한 다양한 접근은 문제해결의 전략을 학습시킬 수 있는 좋은 예가 된다. 본고에서는 문제해결을 통한 수학적 일반성을 발견하기 위한 방법으로서 문제에 대한 다양한 해법을 연역과 귀납에 의하여 일반화하는 과정을 탐색하고자 한다. 특히 수학 문제에 대한 다양한 해법을 찾는 것은 문제해결 전략으로서 뿐만 아니라 창의적 사고의 신장 측면에서 시사점을 던져준다.