• The KIPS Transactions:PartD
• /
• v.9D no.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.

• Education of Primary School Mathematics
• /
• v.2 no.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.

• Journal of The Korean Association For Science Education
• /
• v.12 no.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.

• Honam Mathematical Journal
• /
• v.46 no.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.

• Journal of The Korean Association For Science Education
• /
• v.23 no.2
• /
• pp.190-199
• /
• 2003

The purposes of this study was to investigate the effect of inductive Instructional method and deductive one concerning the learners' population genetic concepts and achievement according to learners' cognitive characteristics. For the study, 180 students were sampled from a boys' high school: 90 students for inductive teaching method and 90 students for deductive teaching method. Group Assessment of Logical Thinking(GALT) and Group Embedded Figure Test (GEFT) were used as the measure of cognitive characteristics. The results of this study were as follows. 1) The inductive instructional method was more effective in the understanding of population genetic concepts and their achievement. 2) Inductive instructional method was more effective than deductive one for the learners in formal operational level and in field independent cognitive style. 3) For the learners in a transitional level and field dependent cognitive style, deductive instructional way was more effective than inductive way on the average, but it was not statistically significant. It was turned out that learners' cognitive level was one of important factors when teachers instruct the concept of population genetics.

• Honam Mathematical Journal
• /
• v.33 no.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.

• Communications of the Korean Mathematical Society
• /
• v.23 no.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.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• 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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.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.

• The Pure and Applied Mathematics
• /
• v.15 no.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.