• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.541-551
• /
• 1998

Recently, the importance of participating in classes activity and cultivating student's thinking ability is emphasized in the mathematics education society. Teachers are demanded to change their teaching style centered pencile-and paper into using the variety instructional aids, such as calculator, video tape, computer, ohp, and projector, etc. In this paper, we search for the mathematica's function and the method that apply mathematical to the secondary school mathematics. Mathematical has many functions: calculator, algebra, graphics, animations, programing, notebook. We find that mathematica can be applied to the graph of function, the understand of simultaneous equations, the graph of trigonometry function, the calculation of limit, the computation of areas as limits, the derivative of a function and tangent line, a solid figure, and others in secondary school mathematics.

• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.439-452
• /
• 1998

In this Study, I concerned the learning-teaching of the use of letters in algebra. Our Study can be summarized as follows; First, I tried to establish the theoretical Foundation necessary for the learning-teaching of the use of letters in literal expressions. Second, I made a course of study that leads to the understanding of the meaning and the use f literals in algebraic expressions. Third, Based on this course of study, I held classes on First-grade students in middle school and I carried on an investigation their understanding of the meaning and the use of literals in algebraic expressions. Finally, I made an analysis of findings in this investigation and identified student's a better understanding of the meaning and the use of literals in algebraic expressions.

• The Pure and Applied Mathematics
• /
• v.23 no.3
• /
• pp.237-246
• /
• 2016

Ebadian et al. proved the Hyers-Ulam stability of bimultipliers and Jordan bimultipliers in C*-ternary algebras by using the fixed point method. Under the conditions in the main theorems for bimultipliers, we can show that the related mappings must be zero. Moreover, there are some mathematical errors in the statements and the proofs of the results. In this paper, we correct the statements and the proofs of the results, and prove the corrected theorems by using the direct method.

• Journal for History of Mathematics
• /
• v.30 no.3
• /
• pp.137-162
• /
• 2017

The Chinese algebraic method, the tian yuan shu, was developed during Song period (960-1279), of which Li Ye's works contain the earliest testimony. Two 18th century editors commentated on his works: the editor of the Siku quanshu and Li Rui, the latter responding to the former. Korean scholar Nam Byeong-gil added another response in 1855. Differences can be found in the way these commentators considered mathematical objects and procedures. The conflicting nature of these commentaries shows that the same object, the quadratic equation, can beget different interpretations, either a procedure or an assertion of equality. Textual elements in this paper help modern readers reconstruct different authors' understandings and reconsider the evolution of the definition of the object we now call 'equation'.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.24 no.5
• /
• pp.569-577
• /
• 2014

Park et al. (2011) introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, the concept of generalized intuitionistic fuzzy soft equality is introduced and some related properties are derived. It is proved that generalized intuitionistic fuzzy soft equality is congruence relation with respect to some operations and the generalized intuitionistic fuzzy soft quotient algebra is established.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.7-27
• /
• 2015

Kuneth formula is to compute (co)-homology of $A{\otimes}B$ for known (co)-homology of the complexes A and B. In the ordinary case, this is done by using elementary homological methods in an abelian category. However, when we consider the bounded cochain complex with values in $\mathbb{R}$ and its structure as a real Banach space, the techniques of homological algebra for constructing K$\ddot{u}$nneth type formulas on it are not effective. The most notable facts are the image of a morphism of Banach spaces is not necessarily closed, and also the closed summand of a Banach space need not be a topological direct summand. The main goal of this paper is to construct the theory of K$\ddot{u}$nneth type formula on bounded cohomology with real coefficients in the suitable category of Banach spaces with some restricted conditions.

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.377-402
• /
• 2007

After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of intuitionistic fuzzy sets introduced by Aranassov is one among them. In this paper, we apply the concept of an intuitionistic fuzzy set to implicative ideals in BCK-algebras. The notion of an intuitionistic fuzzy implicative ideal of a BCK-algebra is introduced, and some related properties are investigated. An extension property for intuitionistic fuzzy implicative ideals is established. Characterizations of an intuitionistic fuzzy implicative ideal are given. Conditions for an intuitionistic fuzzy ideal to be an intuitionistic fuzzy implicative ideal are given. Using a collection of implicative ideals, intuitionistic fuzzy implicative ideals are established.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1618-1621
• /
• 2002

In this paper, the constructive modeling procedure of nonholonomic mobile robot system is carried out with the help of controllability Lie algebra used in differential geometry field, and their geometrical properties are also analyzed. And, a new trajectory controller is suggested to guarantee its convergence to reference trajectory. Design procedure of the suggested trajectory controller is back-stepping scheme which was introduced recently in nonlinear control theory. The performance of the proposed trajectory controller is verified via computer simulation. In the simulation the trajectory controller is applied to differentially driven mobile robot system on the assumption that the trajectory planner be given.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2787-2789
• /
• 2000

In this paper. the constructive modeling procedure of nonholonomic mobile robot system is carried out with the help of controllability Lie algebra used in differential geometry field. and their geometrical properties are also analyzed. And, a new trajectory controller is suggested to guarantee its convergence to reference trajectory. Design procedure of the suggested trajectory controller is back-stepping scheme which was introduced recently in nonlinear control theory. The performance of the proposed trajectory controller is verified via computer simulation. In the simulation the trajectory controller is applied to differentially driven robot system on the assumption that the trajectory planner be given.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.133-141
• /
• 2005

Digital contents can be distributed via internet without qualify defect and this will bring a great loss to the contents provider. Therefore, it is necessary to investigate on the key exchanging protocol to protect the digital contents effectively. In this study we propose the key exchanging protocol based on password to send the digital contents efficiently. The stability suggested here is based on the difficulty of the discrete algebra and Diffie-Hellman problem and also it provides a secure safety against various attacks such as a guess attack on the password.