• 한국수학교육학회지시리즈A:수학교육
• /
• 제13권2호
• /
• pp.6-10
• /
• 1974

We consider 'ordinary' graphs: that is, finite undirected graphs with no loops or multiple edges. An intersection representation of a graph G is a function r from V(G), the set of vertices of G, into a family of sets S such that distinct points $\chi$$_{\alpha}$ and $\chi$$_{\beta}$/ of V(G) are. neighbors in G precisely when ${\gamma}$($\chi$$_{\alpha}$)∩${\gamma}$($\chi$$_{\beta}$/)$\neq$ø, A graph G is a rigid circuit grouph if every cycle in G has at least one triangular chord in G. In this paper we consider the main theorem; A graph G has an intersection representation by arcs on an acyclic graph if and only if is a normal rigid circuit graph.uit graph.d circuit graph.uit graph.

• 충청수학회지
• /
• 제28권4호
• /
• pp.525-535
• /
• 2015

In this paper, we study on spinors with two hyperbolic components. Firstly, we express the hyperbolic spinor representation of a spacelike curve dened on an oriented (spacelike or time-like) surface in Minkowski space ${\mathbb{R}}^3_1$. Then, we obtain the relation between the hyperbolic spinor representation of the Frenet frame of the spacelike curve on oriented surface and Darboux frame of the surface on the same points. Finally, we give one example about these hyperbolic spinors.

• 대한수학회보
• /
• 제44권4호
• /
• pp.677-682
• /
• 2007

The unique positive zero of $F_m(z):=z^{2m}-z^{m+1}-z^{m-1}-1$ leads to analogues of $2(\array{2n\\k}\)$(k even) by using hypergeometric functions. The minimal polynomials of these analogues are related to Chebyshev polynomials, and the minimal polynomial of an analogue of $2(\array{2n\\k}\)$(k even>2) can be computed by using an analogue of $2(\array{2n\\k}\)$. In this paper we show that the analogue of $2(\array{2n\\2}\)$. In this paper we show that the analygue $2(\array{2n\\2}\)$ is the only real zero of its minimal polynomial, and has a different representation, by using a polynomial of smaller degree than $F_m$(z).

• 대한수학회보
• /
• 제22권1호
• /
• pp.23-29
• /
• 1985

Let H be an arbitrary complex Hilbert space. We constructed an extension K of H by means of weakly convergent sequences in H and the Banach limit. Let .phi. be the faithful *-representation of L(H) on K. In this note, we investigated the relations between spectra of T in L(H) and .phi.(T) in L(K) and we obtained the following results: 1) If T is a compact operator on H, then .phi.(T) is also a compact operator on K (Proposition 6), 2) .sigma.$_{l}$ (.phi.(T)).contnd..sigma.$_{l}$ (T) for any operator T.mem.L(H) (Corollary 10), 3) For every operator T.mem.L(H), .sigma.$_{ap}$ (.phi.(T))=.sigma.$_{ap}$ (T))=.sigma.$_{ap}$ (T)=.sigma.$_{p}$(.phi.(T)) (Lemma 12, 13) and .sigma.$_{c}$(.phi.(T))=.sigma.(Theorem 15).15).

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

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

We study to design educational Logo-based microworld environment equipped with 3D construction capability, 3D manipulation, and web-based communication. Extending the turtle metaphor of 2D Logo, we design simple and intuitive symbolic representation system that can create several turtle objects and operations. We also present various mathematization activities applying the turtle objects and suggest the way to make good use of them in mathematics education. In our microworld environment, the symbolic representations constructing the turtle objects can be used for web-based collaborative learning, communication, and assessments.

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

Although improper integrals constitute a concept of great utility for Mathematics students, it appears that students are unable to assimilate this concept within the wider system of concepts they learn in their first year of Mathematics studies. In this paper we describe a competence model used in a study about the kind of understanding students possess about improper integral calculus when two registers of representation come into play. Competence will be considered as the coherent articulation of different semiotic registers. After analysing the results of a questionnaire, six students were selected to be interviewed on the basis of their overall results and the significance of their answers. For the interview, five original questions from the questionnaire were used together with a new question. In this article we will analyse, from our theoretical point of view, the work carried out by one student who was interviewed to show how our competence model works and we will discuss this formal competence model used.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.281-286
• /
• 2003

The primary purpose of this study was to investigate how and to what extent 'representations' affect the students' understanding and the growth of understanding in a technology [GSP]-based collegiate mathematics classroom. There are three themes related as frames of the study along with this purpose, which are mentioned in the first chapter and extended in the second chapter: technology in mathematics education; images on computer screen - visualization and representation; understanding and growth of understanding. Three research questions guided this study: 1) How do students present each component of representations when they study 'transformations' in a technology [GSP]-based classroom? If there is any difference between the first and second presentation for each component, how are they different?; 2) How and to what extent do representations affect the students' understanding and the growth of understanding in a technology [GSP]-based classroom?; What types of benefits and obstacles are there when students study 'transformations' in a technology [GSP]-based classroom?

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권3호
• /
• pp.337-347
• /
• 2008

도형으로서의 직선을 좌표평면에서 대수적으로 표현하는 과정에서 곧음이라는 직선의 고유한 성질은 삼각형의 닮음에 의해 x값의 변화량에 대한 y값의 변화량의 비가 일정하다는 성질로 구체화되고, 이로부터 기울기의 개념이 자연스럽게 등장한다. 이때 기울기는 좌표평면에서 직선의 직선다움 즉, 직선성(直線性)을 나타내주는 수학적 개념으로 서로 평행인 직선을 구분하지 않을 때 한 직선의 불변량이라 할 수 있고, 직선의 방정식은 일정한 비로서의 기울기가 지닌 성질을 대수적으로 표현한 것이라 할 수 있다. 본 논문에서는 좌표평면에서의 직선 및 직선성(直線性)으로서의 기울기 개념이 학교수학에서 어떻게 다루어지고 있는지 분석하고, 개선 방안에 대하여 논의한다.

• 호남수학학술지
• /
• 제31권4호
• /
• pp.579-590
• /
• 2009

The precise form of singular functions, singular function representation and the extraction form for the stress intensity factor play an important role in the singular function methods to deal with the domain singularities for the Poisson problems with most common boundary conditions, e.q. Dirichlet or Mixed boundary condition [2, 4]. In this paper we give an elementary step to get the singular functions of the solution for Poisson problem with Neumann boundary condition or Robin boundary condition. We also give singular function representation and the extraction form for the stress intensity with a result showing the number of singular functions depending on the boundary conditions.