• 정보처리학회논문지D
• /
• 제9D권2호
• /
• pp.243-250
• /
• 2002

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lasez′s Strong Model Semantics(LSMS) which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it′s properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제2권2호
• /
• pp.113-131
• /
• 1998

The purpose of this study is to investigate the relationships among affective characteristics, mathematical problem-solving abilities, and reasoning abilities of the 6th graders for mathematics, and to analyze whether the relationships have any differences according to the regions, which the subjects live. The results are as follows： First, self-awareness is the most important factor which is related mathematical problem-solving abilities and reasoning abilities, and learning habit and deductive reasoning ability have the most strong relationships. Second, for the relationships between problem-solving abilities and reasoning abilities, inductive reasoning ability is more related to problem-solving ability than deductive reasoning ability Third, for the regions, there is a significant difference between mathematical abilities and deductive reasoning abilities of the subjects.

• 한국과학교육학회지
• /
• 제12권1호
• /
• pp.35-46
• /
• 1992

The purpose of this study was to investigate the most effective teaching model in the study of boiling point elevation. The teaching models were classified into three group-deductive, inductive and analogical teaching models. Learning materials, based on three teaching models respectively, were applied to 11th grade students, and the effect of teaching models were investigated and analyzed. The average achievement score(4.24) of the group treated with the analogical teaching model was higher than those(3.06 respectively) of each group treated with inductive or deductive teaching model(p<0.001). Most students answered that the analogical teaching model was helpful and interesting one for the comprehension of scientific concept.

• 호남수학학술지
• /
• 제46권1호
• /
• pp.82-100
• /
• 2024

The main objective of the study is to introduce ideals of Sheffer stroke Hilbert algebras by means of fuzzy points, and investigate some properties. The process of making (fuzzy) ideals and fuzzy deductive systems through the fuzzy points of Sheffer stroke Hilbert algebras is illustrated, and the (fuzzy) ideals and the fuzzy deductive systems are characterized. Certain sets are defined by virtue of a fuzzy set, and the conditions under which these sets can be ideals are revealed. The union and intersection of two fuzzy ideals are analyzed, and the relationships between aforementioned structures of Sheffer stroke Hilbert algebras are built.

• 한국과학교육학회지
• /
• 제23권2호
• /
• pp.190-199
• /
• 2003

본 연구는 집단 유전(하디-바인베르크 법칙)개념 학습에 있어서 귀납적 지도 방법과 연역적 지도방법에서 효과의 차이를 알아보고 학습자의 인지적 특성에 맞는 수업모형에 대한 시사점을 얻고자 하였다. 연구대상은 고등학교 남학생 180이며 90명은 귀납식 수업모형, 90명은 연역식 수업모형으로 수업을 하였다. 인지적 특성을 파악하기 위해서 논리적 사고력 검사(GALT)와 인지양식 검사(GEFT)를 실시하였다. 본 연구의 결과는 다음과 같다. 첫째, 귀납적인 지도 방법이 연역적인 지도방법에 비해서 유의도 수준 0.01에서 개념 검사 및 성취도 검사에서 유의미하게 효과적인 것으로 나타났다. 둘째, 귀납적 지도방법이 형식적 조작기의 학생과 장 독립적 학생에게 있어서 연역적 지도방법에 비해 더 효과적인 것으로 나타났다. 셋째, 인지수준이 과도기에 있는 학습자와 장의 존적인 학습자에게 있어서는 연역적 수업이 평균으로 볼 때는 효과적이었으나 통계적으로는 의미가 없었다. 이러한 결과는 교사들의 학습전략을 다양화 및 학습자의 인지수준과 인지양식에 대한 고려가 필요함을 시사해준다.

• 호남수학학술지
• /
• 제33권1호
• /
• pp.61-71
• /
• 2011

The notion of a complicated pre-logic is introduced and investigated some properties of it. A special set in a pre-logic is established and some related its properties are discussed. Also more extended special sets in a pre-logic are introduced and some relations with deductive systems are obtained.

• 대한수학회논문집
• /
• 제23권3호
• /
• pp.313-324
• /
• 2008

Molodtsov [8] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of subtraction algebras. The notion of soft WS-algebras, soft subalgebras and soft deductive systems are introduced, and their basic properties are derived.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 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.

• 한국지능시스템학회논문지
• /
• 제11권3호
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권4호
• /
• pp.377-385
• /
• 2008

The notion of fuzzy abysms in Hilbert algebras is introduced, and several properties are investigated. Relations between fuzzy subalgebra, fuzzy deductive systems, and fuzzy abysms are considered.