• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.81-87
• /
• 2010

We modify the definition of difference algebra given by J. Meng to obtain a structure which is a directoid with sectional switching involutions with respect to the given partial order. Moreover, we show that this is a representation of our skew difference algebras because every such directoid can be converted into a skew difference algebra.

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.433-436
• /
• 2006

In this note we show that a representable difference algebra is equivalent to a commutative BCK-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.379-386
• /
• 2005

In this paper, we consider a collection of ideals of a difference algebra X. We use the concept of congruence relation with respect to ideals to construct a uniformity that induces a topology on X which makes this to a topological difference algebras. We study the properties of this topology regarding different ideals.

• Honam Mathematical Journal
• /
• v.28 no.3
• /
• pp.343-351
• /
• 2006

In this paper, we study decompositions of weak ideals in difference algebras and obtain equivalent conditions for closed weak ideals. Moreover, we show that if I is an ideal of a difference algebra X, then $I^g$ is an ignorable weak ideal of X.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.29-40
• /
• 2009

Motivated by [Linear Algebra and its Appl. 420(2007), 218-227] and [Linear Algebra and its Appl. 425(2007), 171-183], we, in this paper, study the solvability of periodic boundary value problems of higher order nonlinear functional difference equations with p-Laplacian. Sufficient conditions for the existence of at least one solution of this problem are established.

• Journal of Educational Research in Mathematics
• /
• v.20 no.3
• /
• pp.275-292
• /
• 2010

In this study, we discussed the way to teach algebra earlier through investigating to research trends of Early Algebra and researching about nature of subject involving algebra. There is a strong view that arithmetic and algebra have analogous forms and that algebra is on extension to arithmetic. Nevertheless, it is also possible to present a perspective that the fundamental goal and role of symbols and letters are difference between arithmetic and algebra. And, we could recognize that geometry was starting point of algebra trough historical perspectives. To consider these, we extracted some of possible directions to approaches to teach algebra earlier. To access to teaching algebra earlier, following ways are possible. (1) To consider informal strategy of young children. (2) Arithmetic reasoning considered of the algebraic relation. (3) Starting to algebraic reasoning in the context of geometrical problem situation. (4) To present young students to tool of letters and formular.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.207-214
• /
• 2003

There exist two distinct Symmetric differences in a non Boolean orthomodular lattics. Let L be an orthomodular lattice. Then L is a Boolean algebra if and only if one symmetric difference is equal to the other. An orthomodular lattice L is Boolean if and only if one of two symmetric differences of L is associative.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.18 no.1
• /
• pp.25-34
• /
• 1981

Any logical stuckft faults in multivalued combinational circuits are analyzed using the concept of Boolean difference. The algebra employed is the implementation oriented algebra developed by Allen and Givone. All the lines in the circuit are classified into five types according to their properties. For each type, the equation that represents the complete test set is derived and proved. All the results in examples are confumed to be correct by comparing the truth tables of the normal and faulty circuits.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.238-240
• /
• 2014

A cloud computing include a SaaS frameworks be able to use a software as a service. Despite the existing service depending on the difference of the tenant and the use, if the service provider re-establish a service, they are required resources In terms of costs and managerial. So we propose a technique for analysis software structure using the process algebra to reuse existing software. A process algebra analyze the structure of the software, express in business process or different languages and verify that it can be reused. As CCS in a process algebra is useful to convert the business process or XML, by using this, we structure a process and propose meta storage for comparison and management a structured document.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.635-641
• /
• 2003

The notion of negative difference on a poset is introduced, and the interrelations between FI-algebras and posets with negative difference are discussed.