• 한국수학사학회지
• /
• 제18권3호
• /
• pp.91-106
• /
• 2005

수학사는 수학 교육에서 수학의 실제와 수학을 하는 사고 과정을 강조하기 위해 분석의 대상이 되어야 한다. 수학사를 분석하는 것은 수학적 활동을 이해하는 방법 가운데 하나로, 역사적으로 수학자들의 활동이 어떻게 변하면서 발전되어 왔는지, 그리고 수학적 개념들이 어떻게 전개되어 왔는지를 살펴보기 위한 것으로, 이러한 내용은 수학 교육적 관점에서 중요하게 다루어져야 한다. 본 연구는 이러한 관점에서 학교대수에서 다루는 문자 기호(미지수)와 음수를 중심으로 하여 수학사에서 등 장한 몇몇 텍스트를 분석하고 동시에 교육적인 논의를 이끌어내고자 한다. 이를 위해 먼저 수학교육에서 역사-발생적 분석의 필요성과 그 의의에 대해 살펴보고, 이러한 분석에서 제기되는 인식론적 장애에 대해 논의한다. 다음으로 역사-발생적 분석을 실제 대수 지도에 적용해보기 위해, 방정식에서 사용된 문자 기호(미지수)의 역사를 몇몇 텍스트를 통해 살펴보고 이를 선행된 실험연구의 결과와 함께 논의한다. 또한 음수의 역사를 개괄하면서 역시 몇몇 텍스트를 살펴보고, 음수의 역사를 대수 지도와 관련해서 논의한다. 수학사는 인류의 대역적인 학습 과정으로 학교수학에서 다루는 개념들에 의미 있는 토대를 마련해준다. 본 연구의 논의는 이러한 측면에 주목한 것으로 역사-발생적 분석을 대수 지도를 개선하기 위한 방안 가운데 하나로 본 것이다.

• 한국산업정보학회논문지
• /
• 제5권1호
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.129-144
• /
• 2009

이 연구의 목적은 19세기 대수와 논리 분야에서 드모르간이 구체적으로 어떻게 기여했는지를 살펴보는 것이다. 19세기 대수 분야 발달과정에서 드모르간은, 산술에서 단순히 유추한 형태의 기호대수를 넘어서, 형식으로부터 구성하는 수학의 가능성을 인식하고 이를 명시적으로 나타내어 추상대수학으로 나아갈 수 있는 기초를 닦았다. 드모르간은 19세기 논리학 분야 발달과정에서 아리스토텔레스 논리학의 재구성자인 동시에 수학적 논리학의 창시자로 간주할 수 있다. 그의 연구로 논리학이 철학에서 분리되어 나와 수학과 더욱 긴밀하게 결합하게 되어 수학적 논리학이 하나의 독립적 학문으로 자리 잡게 되었다. 그의 연구 활동을 통하여 우리는 19세기 수학의 발달에서 대수학과 논리학이 현재의 상태로 진화하여 가는 모습을 좀 더 명확하게 알 수 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권2호
• /
• pp.399-428
• /
• 2009

2007년 개정교육과정은 대수의 도입 시기를 초등으로 앞당기고 있다. 최근의 연구결과들로부터 볼 때 초등수학 수준에서 대수를 도입할 때 패턴의 일반화를 이용하는 것은 타당한 과정으로 판단된다. 초등학교 6학년 학생들이 패턴의 일반화과정 학습에서 대수를 도입하는 것이 가능한지 그리고 어떤 효과가 있는지, 초등학교 6학년 학생들의 패턴의 일반화 과정은 어떠한지에 대한 연구가 보완되어야 할 필요가 있다. 본 연구는 초등학교 5학년들에게 패턴을 일반화하여 대수를 도입하고 지도하고 그 과정에서 나타나는 일반화 과정의 특징과 학생들이 겪는 어려움을 분석하였다. 이를 통하여 패턴의 일반화를 지도하거나 패턴에 기초한 대수 교육과정을 개발할 때 시사점을 얻고 교수학습 자료 개발에 대한 정보를 제공하고자 한다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제12권3호
• /
• pp.215-233
• /
• 2008

Deep comprehension of basic mathematical notions and concepts is a basic condition of a successful teaching. Some elements of algebraic thinking belong to the elementary school mathematics. The question "What stays the same and what changes?" link arithmetic problems with algebraic conception of variable. We have studied beliefs and comprehensions of future elementary school mathematics teachers on early algebra. Pre-service teachers from three academic pedagogical colleges deal with mathematical problems from the pre-algebra point of view, with the emphasis on changes and invariants. The idea is that the intensive use of non-formal algebra may help learners to construct a better understanding of fundamental ideas of arithmetic on the strong basis of algebraic thinking. In this article the study concerning arithmetic series is described. Considerable number of pre-service teachers moved from formulas to deep comprehension of the subject. Additionally, there are indications of ability to apply the conception of change and invariance in other mathematical and didactical contexts.

• 한국수학사학회지
• /
• 제37권2호
• /
• pp.21-38
• /
• 2024

In this article, we study the historical development of how the main concepts of linear algebra - matrices, vectors, and transformations - arise, are connected then integrated into a category. Also we study how linearity is recognized and integrated into algebraic and geometric viewpoint. Furthermore, we discuss, based on this, the role of linear algebra as a unifying concept in a school mathematics.

• 호남수학학술지
• /
• 제27권1호
• /
• pp.83-100
• /
• 2005

• 대한수학회보
• /
• 제59권1호
• /
• pp.73-82
• /
• 2022

Let K be a field of characteristic zero. We first show that images of the linear derivations and the linear 𝓔-derivations of the polynomial algebra K[x] = K[x₁, x₂, …, x_n] are ideals if the products of any power of eigenvalues of the matrices according to the linear derivations and the linear 𝓔-derivations are not unity. In addition, we prove that the images of D and 𝛿 are Mathieu-Zhao spaces of the polynomial algebra K[x] if D = ∑ⁿ_i=1 (a_ix_i + b_i)∂_i and 𝛿 = I - 𝜙, 𝜙(x_i) = λ_ix_i + 𝜇_i for a_i, b_i, λ_i, 𝜇_i ∈ K for 1 ≤ i ≤ n. Finally, we prove that the image of an affine 𝓔-derivation of the polynomial algebra K[x₁, x₂] is a Mathieu-Zhao space of the polynomial algebra K[x₁, x₂]. Hence we give an affirmative answer to the LFED Conjecture for the affine 𝓔-derivations of the polynomial algebra K[x₁, x₂].

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권4호
• /
• pp.569-590
• /
• 2023

본 사례 연구의 목적은 대수 문장제를 해결하고 일반화하는 과정에서 드러난 두 중학생의 공변 추론 수준을 비교하여 분석하는 것이다. 학교 수학에서 이차방정식을 학습하지 않은 중학생 2명을 대상으로 수업을 진행하였고, 수업이 모두 끝난 뒤 회고 분석 과정에서 속도가 일정하게 변하는 상황을 포함한 대수 문장제의 해결에서 두 학생 간의 차이가 두드러지게 드러났다. 이에 본 연구는 속도의 일정함을 가정하거나 속도가 일정하게 변하는 상황을 포함한 대수 문장제를 해결하거나 일반화하는 과정에서 학생들 스스로 구성한 두 변수에 대해 그들 사이의 변화 관계에 대한 이해 수준을 Thompson과 Carlson(2017)이 제안한 공변 추론 수준에 비추어 비교·분석하였다. 그 결과, 본 연구에서는 대수 문장제의 문제 해결 방식과 그 결과가 표면적으로 유사해 보이더라도 두 학생 간의 공변 추론 수준이 서로 다를 수 있음을 확인하였고, 대수 문장제를 해결하고 일반화하는 과정에서 드러난 유사성을 공변 관점에서 제시하였다. 이를 통해 본 연구는 대수 문장제의 교수·학습에서 문제 상황을 빠르게 식으로 변환하여 해를 찾는 데 주목하기보다 학생 스스로 변화하는 두 양을 찾고 그들 사이의 불변하는 관계를 다양한 방식으로 나타내는 활동이 충분히 다루어질 필요가 있음을 제안한다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.799-812
• /
• 2001

데이터 교환을 위한 표준 형식으로 XML 활용 증가에 따라 데이터베이스 분야에서 XML 처리의 중요성이 증가하고있다. 현재까지 XML 데이터모델과 정규표현 질의 같은 복잡한 질의처리를 위한 XML대수에 관한 연구가 수행되고 있지만 미디에이터 시스템처럼 XML질의 처리 시 기능이 제한적이다. 따라서 이 논문에서는 반 구조데이터 모델을 확장한 방향 그래프 기반 XML 모델을 설계하고 XML 질의를 위한 XML 대수 연산을 정의하며 그 구현기법을 제시한다. XML 대수 연산 구현을 위해 물리적 저장소인 RDBMS를 접근하기 위한 접근 메소드와 패스 인덱스를 이용하여 알고리즘을 구현한다. 아울러 제안 알고리즘의 효율성을 보이기 위하여 반 구조 특성을 가지는 EST유전체 서열에 대한 XML 문서를 대상으로 성능을 평가한다.