• East Asian mathematical journal
• /
• v.23 no.3
• /
• pp.361-370
• /
• 2007

The notion of problem-solving in mathematics education effects mathematics teachers notice and its importance in mathematics is getting better. The purpose of this thesis is to consider the mathematical reasoning for improving the ability of problem solving. It is necessary that notion, enforcement method, procedure and evaluation standard of performance assessment should be explained to students. The teachers, improvements of specialty for class and evaluation as well as systematic reeducation for performance assessment are essential.

• The Pure and Applied Mathematics
• /
• v.16 no.1
• /
• pp.59-68
• /
• 2009

We introduce the notion of GT-algebras as a generalization of the concept of Tarski algebras. We introduce the notion of GT-filters in GT-algebras, and we prove some properties of GT-filters.

• Language and Information
• /
• v.3 no.2
• /
• pp.51-66
• /
• 1999

This paper argues that the de se reading is a composite of the corresponding de re one plus the presupposition that there exists a strong epistemic relation between the object of attitude, linguistically realized as an anaphor, and the attitude-bearer, the referent of the anaphor's antecedent. Close examination of the relation between the attitudes de se and anaphora reveals that the notion de se, as currently understood, should be generalized to explain the choice of anaphors. A taxonomy of anaphors in terms of a general notion like presupposition provides further empirical support for the approach taken here.

• School Mathematics
• /
• v.1 no.2
• /
• pp.417-431
• /
• 1999

In this study, I consider Brousseau's theory of didactical situation focused on 'the development process of situations', and analyze some examples of didactical situation related to instruction of 'decimal' concept. To elaborate situations which really make a mathematical notion function, we have to analyze the essence of the notion, and to construct the situation which can be developed to situations of 'action-formulation-validation - institutionalization'. From this view, it can be said that the instruction of decimal concept in our country mainly lies in the situations of 'action' and 'institutionalization'. we have to provide more situations of 'formulation' and 'institutionalization' which can connect 'action' and 'institutionalization'.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.3
• /
• pp.491-502
• /
• 2016

In this paper, as a generalization of symmetric bi-derivations and symmetric bi-f-derivations of a lattice, we introduce the notion of symmetric bi-(f, g)-derivations of a lattice. Also, we define the isotone symmetric bi-(f, g)-derivation and obtain some interesting results about isotone. Using the notion of $Fix_a(L)$ and KerD, we give some characterization of symmetric bi-(f, g)-derivations in a lattice.

• The Pure and Applied Mathematics
• /
• v.14 no.1 s.35
• /
• pp.15-21
• /
• 2007

We introduce the notion of pre-convergence of p-stacks and characterize the pre-interior, pre-closure, separation axioms and pre-continuity on a topological space by using pre-convergence of p-stacks. We also introduce the notion of p-precompactness and investigate its properties in terms of pre-convergence of p-stacks.

• The Pure and Applied Mathematics
• /
• v.20 no.3
• /
• pp.223-232
• /
• 2013

Alexseev's formula generalizes the variation of constants formula and permits the study of a nonlinear perturbation of a system with certain stability properties. In recent years M. Pinto introduced the notion of $h$-stability. S.K. Choi et al. investigated $h$-stability for the nonlinear differential systems using the notion of $t_{\infty}$-similarity. Applying these two notions, we study bounds for solutions of the perturbed differential systems.

• The Pure and Applied Mathematics
• /
• v.18 no.4
• /
• pp.293-304
• /
• 2011

The notions of an initial section and a special set in BH-algebras are defined and some of their properties are obtained. The notion of a complicated BH-algebra is introduced and some related properties are obtained. Finally, the notion of essences in BH-algebras are defined, and many properties are investigated.

• Language and Information
• /
• v.2 no.1
• /
• pp.214-255
• /
• 1998

Close examination of previous constraints on bound anaphora that are designed to directly constrain the distribution of referentially dependent(RD) items shows that no universal structural relation may exist that relates RD items to their antecedents. As an alternative to these constraints, this paper proposes an axiom of semantic interpretation, called the Principle of Referential Autonomy, which dispenses with any pretheoretical notion of grammatical functions or configurational notion like c-command. Together with certain English-specific facts, this principle enables us to infer the ungrammaticality of core examples of strong and weak crossover.

• Communications of the Korean Mathematical Society
• /
• v.16 no.4
• /
• pp.573-583
• /
• 2001

In this paper we introduce the notion of quotient in-cline and obtain the structure of incline algebra. Moreover, we also introduce the notion of prime and maximal ideal in incline, and study some relations between them in incline algebra.