• 한국수학사학회지
• /
• 제16권1호
• /
• pp.25-44
• /
• 2003

In this paper, we deal with the ‘dearithmetization’ of algebra. Historically, the origin of algebra comes from arithmetic. Also school algebra is related to arithmetic in general. However, we have many difficulties in teaching school algebra, and there is many problems for students to learn algebra from elementary arithmetic knowledges. This paper supposed that the solution of these problem may be founded in the ‘dearithmetization’ of algebra. And we supposed that the ‘dearithmetization’ of algebra may be developed by three historical achievements - the completion of symbolic algebra, the principle of permanence of form, and the expansion of number concepts. In order to justify these supposition, we investigate Peacock's ideas, i.e. ‘symbolic algebra’, ‘the principle of permanence of form’, and consider how the integer is introduced in modern mathematics. And we analyze various textbooks, and investigate the ‘dearithmetization’ of school algebra which has been progressed in the three fields - symbolic algebra, the principle of permanence of form, and the expansion of number concepts.

• 한국수학사학회지
• /
• 제21권4호
• /
• pp.61-78
• /
• 2008

이 연구에서는 대수 발달의 단계에 관한 드모르간의 관점을 그가 사용한 용어를 바탕으로 산술, 보편산술, 기호대수, 의미적 대수의 순서로 나누어 논의한다. 드모르간은 즉각적으로 계산 결과를 얻는 산술과 문자기호를 사용하는 보편산술을 구분하였다. 그에 의하면, 보편산술은 산술에서 대수로 이행하는 과도기적 단계인 바, 이 단계에서 이상하고 불합리한 현상들이 발생하기에 대수가 필요하게 된다. 대수 발달의 단계에 관해 드모르간이 가진 관점의 특징은 기호의 의미가 사라진 규칙 체계 즉, 기호적 계산법을 얻은 후, 이 기호적 계산법 자체를 논리적으로 만들기 위해 기호에 확장된 의미를 부여하여 의미적 계산법으로 만든다는 것이다. 단일대수는 -1에 확장된 의미를 부여함으로써 만들어지고, 이중대수는 $\sqrt{-1}$에 확장된 의미를 부여함으로써 만들어진다. 드모르간에 의하면, 대수 발달에서는 앞에서 제시된 체계의 불완전성에 주목하여 다음 체계를 이끌어낸다.

• 대한조선학회지
• /
• 제32권6호
• /
• pp.39-45
• /
• 1995

• 대한전자공학회논문지
• /
• 제20권5호
• /
• pp.1-7
• /
• 1983

일반적으로 다치론리는 Modulo-M의 수 체계를 기초로 한다. 이 논문에서는 다치의 치의 요소를 서로 배타적인 상태를 나타내는 기호하여 집합의 방식으로 다치 논리를 설정하고, 기호 다치 논리극교와 그 변화를 정의하였으며, 그 성질을 정리, 증명하였다. 또, 경산외 변화에 의한 기회 다치 논리극교의 MacLaurin 전개와 Taylor 전개 방법을 제안하고 증명하였다.

• 한국수학사학회지
• /
• 제20권3호
• /
• pp.167-180
• /
• 2007

이 연구의 목적은 분석의 환원적 기능이 대수 발달 과정에 중요한 역할을 하였음을 밝히는 것이다. 이를 위하여 먼저 고대 그리스 시대의 분석을 환원적 분석과 파푸스식의 분석으로 나누어 정리하여 이 양자에서 모두 환원적 성격의 분석이 작용하고 있음을 보였다. 파푸스식의 분석 및 종합의 과정은 변환, 탐색, 작도, 논증의 네 단계로 나누어 볼 수 있으며, 이 중 변환은, 해법이 실제로 존재하는지의 여부와 별개로 주어진 문제가 풀리기 위한 조건을 또 다른 문제로 변환하는 과정을 일컫는 것으로 일종의 환원이라고 볼 수 있다. 수학자들은 분석의 환원적 기능에 힘입어 새로운 문제를 만들어내며, 역사의 어떠한 순간에 이르러서는 새로운 관점에서 수학을 바라볼 수 있게 된다. 기호 대수가 탄생하는 과정 이면에는 분석적 사고가 그 바탕을 이루고 있으며, 분석의 환원적 기능은 기호 대수의 발달에 있어 중요한 역할을 하였다.

• 한국수학사학회지
• /
• 제25권4호
• /
• pp.69-82
• /
• 2012

본 논문은 복소수 지도에 대한 De Morgan의 관점을 분석하였다. De Morgan의 복소수를 도입하고 정당화하는 과정은 그의 대수에 대한 관점이 보편적 산술, 기호 대수, 의미 대수로 발전해가는 과정과 일치한다. De Morgan은 허수의 유용성을 이유로 수학적으로 엄밀하지 않은 허수를 인정하였다. 이를 설명하기 위해 De Morgan은 기호의 의미나 대상은 고려할 필요가 없다는 기호대수를 수용했다. 그러나 그는 허수의 의미를 포기할 수 없었고, 결국 길이와 방향을 가진 직선을 대상으로 하는 이중대수 이론을 전개하였다. De Morgan은 복소수 지도를 정당화하는 과정을 정련해가면서 대수와 수학 전반에 관한 자신의 관점을 지속적으로 발전시켜나갔다고 볼 수 있다. 이는 복소수의 지도가 새로운 수학적 개념의 도입에 머물지 않고 대수에 대한 관점의 변화와 발전을 일으키는 촉매가 될 수 있음을 보여주고 있다.

• 한국수학사학회지
• /
• 제12권2호
• /
• pp.15-23
• /
• 1999

This paper deals with the origin of the concept of lattices in mathematics and its development until 1930's. Although it is purely mathematical, its formation is due to the development of symbolic logic Further, logicians were mostly concerned about how to imitate the methods and duplicate the problems of algebra but not the application to mathematics. The first purely mathematical approach was given by Dedekind and his results were neglected and then reappeared in 1930's.

• Kyungpook Mathematical Journal
• /
• 제56권4호
• /
• pp.1141-1160
• /
• 2016

In this paper, a symbolic algorithm for solving a regular initial value problem (IVP) for a system of linear differential-algebraic equations (DAEs) with constant coeffcients has been presented. Algebra of integro-differential operators is employed to express the given system of DAEs. We compute a canonical form of the given system which produces another simple equivalent system. Algorithm includes computing the matrix Green's operator and the vector Green's function of a given IVP. Implementation of the proposed algorithm in Maple is also presented with sample computations.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.19-22
• /
• 1987

A program is developed for generations the dynamic equations for robotic manipulators using the symbolic language muSIMP/MATH. The muSIMP/MATH is a LISP-based computer algebra package, devoted to the manipulation of algebraic expressions including number, variables, functions, and matrix. The muSIMP/MATH can operate on IBM-PC compatibles with MS-DOS. The program is developed, on the e formalism. This is program is applicable to the manipulators of any number of degrees of freedom, maximum six degree of freedom in this program. To control robotic manipulators by using dynamic equation is required a symbolic equations. The generated dynamic equation can be applied directly to the robotic manipulators, for the generated dynamic equation is a reduced form of symbolic expression.

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

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