• 한국수학교육학회지시리즈A:수학교육
• /
• 제4권1호
• /
• pp.1-15
• /
• 1966

In accordance with the tendency of Modern Mathematics laying emphasis on Mathematical structure, that is, on axioms, it is necessary for students to be interested in structure of Geometry on Mathematics Education. In fact, it is of importance not only to obtain new ideas but also to forget old ones in the development of Mathematics. Most students do not understand the Mathematical significance of axioms, and do not know what Mathemetical truth is. Now Non-Euclidean Geometry offers opportunity to understand the essence of Mathematics better, and is no less effective than Euclidean Geometry in training student in logical inference. This thesis is a study with regard to what should be taught and how student should be guided at High school Mathematics. Chiefly Hyperbolic Geometry is discussed in connection with Abosolute Geometry. As Non-Euclidean Geometry has not appeared in our curriculum, some experiments are required before putting it into actual curriculum to find out how much students understand and how much pedagogically useful it can be. This is only a. presentation of a tentative plan, which needs to be criticized by many teachers.

• Kyungpook Mathematical Journal
• /
• 제26권1호
• /
• pp.67-72
• /
• 1986

• Kyungpook Mathematical Journal
• /
• 제22권1호
• /
• pp.141-148
• /
• 1982

• 대한수학회논문집
• /
• 제18권3호
• /
• pp.533-540
• /
• 2003

We introduce the notion of semi-convergence of p-stacks and by using that notion we characterize the semi-interior, semiclosure, separation axioms and semi-continuity on a topological space. Also we introduce a new notion of p-somicompactness and investigate its properties in terms of semi-convergence of p-stacks.

• 충청수학회지
• /
• 제5권1호
• /
• pp.167-172
• /
• 1992

In this paper, we introduce $T_0$, $T_1$ and Hausdorff axioms in fibrewise convergence spaces as a generalization of fibrewise topological spaces and of convergence spaces. Furthermore we investigate some results about the fibrewise Hausdorff convergence space.

• 호남수학학술지
• /
• 제26권3호
• /
• pp.269-280
• /
• 2004

In this paper, some new characterizations of quasi pre-$R_0$ spaces due to Tapi et al. [The Mathematics Education XXIX(3) (1995) 147] are obtained. A new notion of quasi-pre-$R_1$ spaces is defined and their properties are studied to some extent.

• 논리연구
• /
• 제23권1호
• /
• pp.1-23
• /
• 2020

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. 마지막으로 이를 고정점을 갖는 누승적 확장에 대한 연구로 확대한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1995년도 종합학술발표회논문집
• /
• pp.51-58
• /
• 1995

The importance of the risk analysis tool has been recognized and its use also has been emphasized by a number of researchers recently The methodology were examined but neither algorithms nor practical applications have been implemented or practiced in Korea. In this paper, the architecture of the Buddy System, one of the automated risk assessment tools. is analyzed in depth to provide the algorithmic understanding and to promote the development of the risk analysis methodology. The Buddy System mainly uses three main factors of vulnerability, threat and countermeasures as a nucleus of the qualatative analysis with the modified loss expectancy value. These factors are identified and assessed by the separation of duties between the end user and security analyst. The Buddy System uses five axioms as its bases of assessment algorithm and the assessed vulnerability level is strictly within these axioms. Since the In-place countermeasures reduce the vulnerability level up to a certain level. the security analyst may use "what if " model to examine the impact of additional countermeasures by proposing each to reduce the vulnerability level further to within the acceptable range. The emphasis on the qualitative approach on vulnerability leveling is very well balanced with the quantitative analysis that the system performance is prominent.prominent.

• Kyungpook Mathematical Journal
• /
• 제57권4호
• /
• pp.711-719
• /
• 2017

Let Inn(Q) denote the inner automorphism group on a quandle Q. For a subset M of Q, let c(M) denote the orbit of M under the Inn(Q)-action on Q. Then c satisfies the axioms of the closure operator. In this paper, we study the topological space Q corresponding to the topology obtained from the closure operator c.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.229-232
• /
• 2003

This study discusses the strengths and weaknesses of MAUT, AHP, and PROMETHEE as multicriteria decision making aids with respect to their underlying assumptions and axioms, and suggest the usefulness and limitations of PROMETHEE as a outranking method. For the demonstration purpose, we provide a numerical example to evaluate 3 domestic life insurers using PROMETHEE.