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

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

• 한국수학사학회지
• /
• 제17권2호
• /
• pp.73-84
• /
• 2004

스톤은 스톤 쌍대성에 의하여 완비 불 대수는 극단적으로 비연결인 콤팩트 하우스도르프 공간에 대응되어 불 대수의 범주 Bool에서 단사 대상은 완비 불 대수인 사실에 의하여 0차원 콤팩트 공간의 범주 ZComp의 사영 대상은 극단적으로 비연결인 콤팩트 공간임을 증명하였고, 완전 정규 공간 X가 극단적인 비연결 공간이기 위한 필요충분조건은 X에서 실직선로의 연속함수의 순서집합 C(X, )이 데데킨트 완비인 사실[6]이 드모르간 틀에서도 성립함을 증명하였다[2]. 이 논문에서는 드 모르간의 역사를 조사하고, 드모르간 틀을 도입하여 극단적인 비연결 공간과의 관계와 드 모르간 틀과 불 대수 사이의 관계를 연구한다.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.557-571
• /
• 2008

이 논문은 드모르간의 음수 지도 방법을 연구하는 것을 목적으로 한다. 이를 위하여 우선 드모르간이 제시한 대수발달 단계에 따라 드모르간의 음수관을 정리하고, 드모르간의 음수 지도 방법을 불가능한 뺄셈의 탐색, 불가능한 뺄셈에 대한 수정규칙 탐구, 불가능한 뺄셈에 대한 의미의 구성의 3단계로 나누어 고찰하였다. 드모르간의 음수 지도 방법의 특징은 방정식 지도와 결합되었다는 점, 불가능한 뺄셈 기호를 사용한다는 점, 역사발생적 과정을 준수하는 점진적 형식화를 추구한다는 점이다. 또한, 드모르간의 방법을 학교수학의 방법과 비교함으로써, 그 장점과 단점을 분석하였다. 드모르간은 수학적 실재를 형식과 의미를 동시에 갖는 것으로 보았던 자신의 수학관에 따라 음수를 설명하였으며, 대수의 발달 단계에 맞추어 음수를 서로 상이한 존재로 간주하였고 이에 따라 여러 단계를 거쳐 음수를 지도하도록 하고 있다. 그의 이러한 세심한 조처는 음수의 지도가 단시간에 마무리될 수 없는 성격의 것임을 분명히 인식하게 해 준다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.531-536
• /
• 1998

It is well known that a Boolean algebra is one of the most important algebra for engineering. A fuzzy algebra, which is referred to also as a Kleen algebra, is obtained from a Boolean algebra by replacing the complementary law in the axioms of a Bloolean algebra with the Kleen's law, where the Kleen's law is a weaker condition than the complementary law. Removal of the Kleen's law from a Kleen algebra gives a De Morgan algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements by using a computer. From the result, we could find out a hypothesis that the structure excepting for each element name between a Kleene algebra and a De Morgan algebra is the same from the lattice standpoint.

• 한국수학사학회지
• /
• 제20권4호
• /
• pp.175-190
• /
• 2007

드 모르간은 집합 단원에서 나오는 이름으로, 학생들에게 널리 알려진 수학자이다. 그는 19세기 영국의 대수학과 논리학에 영향을 끼치는 등 매우 폭넓은 연구업적을 남긴 수학자임과 동시에 위대한 수학 선생이기도 하였던 인물이다. 본고에서는 이러한 드 모르간의 생애와 수학에서의 업적을 간단히 살펴본 후, 그의 수학교육에서의 철학과 교수법에 대하여 살펴봄으로써 훌륭한 수학 교사가 갖추어야할 사항에 대하여 고찰해보고자 한다.

• 대한전자공학회논문지SD
• /
• 제47권2호
• /
• pp.51-59
• /
• 2010

드모르간 및 재대입 논리변환은 unate gate network (UGN)을 보다 일반적인 balanced inversion parity (BIP) network으로 전환하는데 충분하다. 이러한 회로계층에 대해서도 자세히 논의하고 있다. 우리는 드모르간 및 재대입 논리변환이 경로지연고장 테스트집합을 유지한다는 것을 증명하였다. 본 논문의 결과를 이용하여 함수 z를 구현하는 모든 UGN에서 모든 경로지연고장을 검출하는 상위수준 테스트집합은 함수 z의 어떠한 BIP realization에서도 모든 경로지연고장을 검출한다는 것을 보일 수 있다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.522-525
• /
• 1998

Although each de Morgan algebra has not always fixed points(centers), it has always fixed cores, the natural extention of fixed points. Fixed cores, of they do not degenerate to fixed points, are Boolean algebras, It is also shown the necessary and sufficient condition a algebra to be a Kleene algebra(fuzzy algebra) is that it has just one fixed core.

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

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

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

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

• 전기의세계
• /
• 제28권8호
• /
• pp.57-65
• /
• 1979

This paper is concerned with not only the transformation of the logic diagrams to the NAND and the NOR forms but also the inverse transformation deriving the simple Boolean function from a logic diagram. The conversions of the algebraic expression from the AND, OR and NOT operations to the NAND and the NOR operations are usually quite complicated, because they involve a large number of repeated applications of De Morgan's Theorem and the other logic relations. For the derivation of the Boolean function, it becomes difficult because the Boolean function is determined from the De Morgan's theorem in consecutive order until the output is expressed in terms of input variables (9). But, these difficulties are avoided by the use of new techniques, called the TWO-NOTs method and the MOVING-NOT method, that are presented in this paper.