• Korean Journal of Mathematics
• /
• v.23 no.2
• /
• pp.259-267
• /
• 2015

This paper is devoted to investigate the existence of the solutions for a class of the noncooperative elliptic system involving critical Sobolev exponents. We show the existence of the negative solution for the problem. We show the existence of the unique negative solution for the system of the linear part of the problem under some conditions, which is also the negative solution of the nonlinear problem. We also consider the eigenvalue problem of the matrix.

• Korean Journal of Mathematics
• /
• v.16 no.4
• /
• pp.527-535
• /
• 2008

Let $I{\in}C^{1,1}$ be a strongly indefinite functional defined on a Hilbert space H. We investigate the number of the critical points of I when I satisfies one pair of Torus-Sphere variational linking inequality. We show that I has at least two critical points when I satisfies one pair of Torus-Sphere variational linking inequality with $(P.S.)^*_c$ condition. We prove this result by use of the limit relative category and critical point theory on the manifold with boundary.

• The Mathematical Education
• /
• v.63 no.2
• /
• pp.233-254
• /
• 2024

This paper delves into the symbiotic integration of coding and mathematics education, aimed at cultivating computational thinking and enriching mathematical problem-solving proficiencies. We have identified a corpus of scholarly articles (n=38) disseminated within the preceding two decades, subsequently culling a portion thereof, ultimately engendering a contemplative analysis of the extant remnants. In a swiftly evolving society driven by the Fourth Industrial Revolution and the ascendancy of Artificial Intelligence (AI), understanding the synergy between these domains has become paramount. Mathematics education stands at the crossroads of this transformation, witnessing a profound influence of AI. This paper explores the evolving landscape of mathematical cognition propelled by AI, accentuating how AI empowers advanced analytical and problem-solving capabilities, particularly in the realm of big data-driven scenarios. Given this shifting paradigm, it becomes imperative to investigate and assess AI's impact on mathematics education, a pivotal endeavor in forging an education system aligned with the future. The symbiosis of AI and human cognition doesn't merely amplify AI-centric thinking but also fosters personalized cognitive processes by facilitating interaction with AI and encouraging critical contemplation of AI's algorithmic underpinnings. This necessitates a broader conception of educational tools, encompassing AI as a catalyst for mathematical cognition, transcending conventional linguistic and symbolic instruments.

• The Mathematical Education
• /
• v.54 no.1
• /
• pp.65-81
• /
• 2015

The purpose of this study is to investigate the international trends of how the core competencies are reflected in mathematics curriculum, and to find the implications for the revision of Korean mathematics curriculum. For this purpose, the curriculum of the 9 countries including the U.S., Canada(Ontario), England, Australia, Poland, Singapore, China, Taiwan, and Hong Kong were thoroughly reviewed. It was found that a variety of core competencies were reflected in mathematics curricula in the 9 countries such as problem solving, reasoning, communication, mathematical knowledge and skills, selection and use of tools, critical thinking, connection, modelling, application of strategies, mathematical thinking, representation, creativity, utilization of information, and reflection etc. Especially the four most common core competencies (problem solving, reasoning, communication, and creativity) were further analyzed to identify their sub components. Consequently, it was recommended that new mathematics curriculum should consider reflecting various core competencies beyond problem solving, reasoning, and communication, and these core competencies are supposed to combine with mathematics contents to increase their feasibility. Finally considering the fact that software education is getting greater attention in the new curriculum, it is necessary to incorporate computational thinking into mathematics curriculum.

• East Asian mathematical journal
• /
• v.25 no.3
• /
• pp.399-413
• /
• 2009

Whitehead's philosophy is evaluated as an applicable philosophy and an accurate, logical explanation system about the world through mathematics. Whitehead's ideological development can be divided into mathematical research, critical consciousness about sciences and philosophical exploration. Although it is presented as a whole unified conceptual framework to understand nature and human beings which is based on modern mathematics and physics in the 20th century, Whitehead's philosophy has not been sufficiently understood and evaluated about the full meaning and mathematics educational values. In this paper, we study relations of Whitehead's philosophy and the mathematical education. Moreover, we study implicity of mathematical education.

• Research in Mathematical Education
• /
• v.13 no.4
• /
• pp.341-347
• /
• 2009

In the present paper we give a brief account of importance and necessity of pre and in-service education for professional development of mathematics teachers. We discuss some critical issues and new strategies for enhancing professional development. A few new strategies for professional learning are also explained. In the end some observations and suggestions arc mentioned for implementation

• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.269-278
• /
• 2000

A Boolean function generates a binary sequence which is frequently used in a stream cipher. There are number of critical concepts which a Boolean function, as a key stream generator in a stream cipher, satisfies. These are nonlinearity, correlation immunity, balancedness, SAC(strictly avalanche criterion), PC(propagation criterion) and so on. In this paper, we present the algorithms for generating random nonlinear combining functions satisfying given correlation immune order and nonlinearity. These constructions can be applied for designing the key stream generators. We use Microsoft Visual C++6.0 for our program.

• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.103-112
• /
• 2009

We show the existence of the solutions for the following nonlinear elliptic problem under the Dirichlet boundary condition. To show the existence of the solutions we use the variational formulation.

• Korean Journal of Mathematics
• /
• v.20 no.2
• /
• pp.239-245
• /
• 2012

We prove that an asymmetric beam equation has at least two solutions, one of which is a positive solution. To prove the existence of the other solution, we use linking inequalities.

• Korean Journal of Mathematics
• /
• v.17 no.4
• /
• pp.419-428
• /
• 2009

We show the existence of at least one nontrivial solution of the homogeneous mixed type nonlinear elliptic problem. Here mixed type nonlinearity means that the nonlinear part contain the jumping nonlinearity and the critical growth nonlinearity. We first investigate the sub-level sets of the corresponding functional in the Soboles space and the linking inequalities of the functional on the sub-level sets. We next investigate that the functional I satisfies the mountain pass geometry in the critical point theory. We obtain the result by the mountain pass method, the critical point theory and variational method.