• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제7권1호
• /
• pp.1-10
• /
• 2003

This research reviewed literatures on proof in mathematics education. Several views of proof can be classified (and identified) such as psychological approach (Platonism, empiricism), structural approach (logicism, formalism, intuitionism) and social approach (ontology, axiomatic systems). All these views of proof are valuable in mathematics education society. The concept of proof can be found in the form of analytic knowledge not of constructive knowledge. Human beings developed their knowledge in the sequence of constructive knowledge to analytic knowledge. Therefore, in mathematics education, the curriculum of mathematics should involve the process of cognitive knowledge development.

• Journal of applied mathematics & informatics
• /
• 제41권4호
• /
• pp.883-892
• /
• 2023

In this research, under some specific situations, we precisely derive new coupled fixed point theorems in a complete b-metric space endowed with the graph. We also use the concept of coupled fixed points to ensure the solution of differential equations for the system of impulse effects.

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

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 commutative ideals in BCK-algebras. The notion of an intuitionistic fuzzy commutative ideal of a BCK-algebra is introduced, and some related properties are investigated. Characterizations of an intuitionistic fuzzy commutative ideal are given. Conditions for an intuitionistic fuzzy ideal to be an intuitionistic fuzzy commutative ideal are given. Using a collection of commutative ideals, intuitionistic fuzzy commutative ideals are established.

• Journal of applied mathematics & informatics
• /
• 제38권1_2호
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• 대한수학교육학회지:학교수학
• /
• 제1권2호
• /
• pp.401-415
• /
• 1999

In this paper, 'relations of proportion are used in the introduction of function concept' in 7-first stage of 7th mathematics curriculum is focused. Under the assumption that above statement means dependence-centered view in the teaching of function, the contents of function In 7-first stage is interpreted. Some issues are critically contemplated, And, finally, statement of using relations of proportion in the introduction of function concept is interpreted as dependence-centered view in the teaching of function. Conclusions are as follows: (1) symbol y= f(x) is not inevitable. (2) Term 'codomain' must not be used. (3) Term 'range of x' and 'range of y' must be used. (4) Term 'independent variable' and 'dependent variable' must be used.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제53권3호
• /
• pp.313-327
• /
• 2014

'Tangent' is one of the most important concepts in the middle and high school mathematics, especially in dealing with calculus. The concept of tangent in the current textbook consists of the ways which make use of discriminant or differentiation. These ways, however, do not present dynamic view points, that is, the concept of variation. In this paper, after applying 'Roberval's way of finding tangent using vectors in terms of kinematics to parabola, ellipse, circle, hyperbola, cycloid, hypocycloid and epicycloid, we will identify that this is the tangent of those curves. This trial is the educational link of mathematics and physics, and it will also suggest the appropriate example of applying vector. We will also help students to understand the tangent by connecting this method to the existing ones.

• Journal of applied mathematics & informatics
• /
• 제28권5_6호
• /
• pp.1419-1430
• /
• 2010

Since Goetschel and Voxman [5] proposed a linear order on fuzzy numbers, several authors studied the concept of semicontinuity and convexity of fuzzy mappings defined through the order. Since the order is only defined for fuzzy numbers on $\mathbb{R}$, it is natural to find a new order for normal fuzzy sets on $\mathbb{R}^n$ in order to study the concept of semicontinuity and convexity of fuzzy mappings on normal fuzzy sets. In this paper, we introduce a new order "${\preceq}_s$ for normal fuzzy sets on $\mathbb{R}^n$ with respect to the support function. We define the semicontinuity and convexity of fuzzy mappings with this order. Some issues which are related with semicontinuity and convexity of fuzzy mappings will be discussed.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제10권3호
• /
• pp.189-203
• /
• 2006

Teaching of fractions is very challengeable for elementary and middle school teachers. Many teachers feel uncomfortable teaching the subject. How shall we introduce the concept of fractions? Shall we focus more on concept development or computational procedures and skills? What methodology can be used in teaching those important topics? These are the kind of questions many teachers and researchers try to answer. In this article, the authors are to look at this issue from a cross nation perspective, by examining how the Chinese mathematics curriculum and the Chinese teachers deal with this subject.

• Journal of applied mathematics & informatics
• /
• 제39권3_4호
• /
• pp.569-585
• /
• 2021

In this paper, we introduce the concept of relative co-fuzzy annihilator filters in distributive lattices. We give a set of equivalent conditions for a co-fuzzy annihilator to be a fuzzy filter and we characterize distributive lattices with the help of co-fuzzy annihilator filters. Furthermore, using the concept of relative co-fuzzy annihilators, we prove that the class of fuzzy filters of distributive lattices forms a Heyting algebra. We also study co-fuzzy annihilator filters. It is proved that the set of all co-fuzzy annihilator filters forms a complete Boolean algebra.

• Korean Journal of Mathematics
• /
• 제30권3호
• /
• pp.443-458
• /
• 2022

In this paper, we apply the concept of intuitionistic Q-fuzzy set to PMS-algebras. We study the concept of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras and investigate some related properties of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras. We provide the relationship between an intuitionistic Q-fuzzy PMS-subalgebra and an intuitionistic Q-fuzzy PMS-ideal of a PMS-algebra. We establish a condition for an intuitionistic Q-fuzzy set in a PMS-algebra to be an intuitionistic Q-fuzzy PMS-ideal of a PMS-algebra. Characterizations of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras in terms of their level sets are given.