• 정보교육학회논문지
• /
• 제14권4호
• /
• pp.555-560
• /
• 2010

본 연구의 목적은 생활 속에서 알고리즘 개념을 포함하는 사례들을 이용한 알고리즘 학습이 초등학생들의 논리적 사고력에 어떤 영향을 미치는가에 대해 알아 보는 것이다. 이를 위해 사전 GALT 검사, 생활 속에서 알고리즘을 지도할 수 있는 사례 선정 및 지도안 작성후 실험처치, 사후 GALT 검사, 그리고 사전, 사후 GALT 검사 결과 간의 대응 표본 t 검증 순으로 실험을 실시하였다. 그 결과 논리적 사고력의 변화 정도와 논리적 사고력을 구성하는 하위 5 개 영역(보존논리, 비례논리, 조합논리, 확률논리, 변인통제논리)의 변화 정도는 유의수준 .05에서 통계적으로 유의미한 결과를 얻었지만 상관논리 변화 정도는 유의 수준 .05에서 통계적으로 유의미한 결과를 얻지 못하였다.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.29-44
• /
• 2008

퍼지 논리는 1965년 Zadeh([13])에 의하여 소개된 이후 꾸준히 확장, 발전하였다. 퍼지 논리와 관련된 수학사 및 수학교육 논문([1], [2], [3], [4], [5], [7])들이 많이 발표되었지만 정작 퍼지 논리의 창시자인 Zadeh에 대한 연구 논문은 아직 발표되지 않았다. 본 논문에서는 Zadeh의 생애와 업적을 알아보고 이를 통해 우리가 배워야 할 점들에 대해 논의한다. 또한 이가 논리, 다가 논리, 퍼지 논리, 직관주의 논리 및 직관적 퍼지 집합을 비교, 분석하고 직관적 퍼지 집합에서 '직관적(intuitionistic)' 이라는 용어의 부적절성에 대해 논의한다.

• 논리연구
• /
• 제1권
• /
• pp.117-138
• /
• 1997

• 컴퓨터교육학회논문지
• /
• 제13권2호
• /
• pp.1-14
• /
• 2010

지금까지의 정보 교과에서의 논리적 사고력 향상에 관한 연구는 대부분 일반적인 논리적 사고력 검사지를 바탕으로 이루어졌으며, 프로그래밍 학습 결과를 통한 논리적 사고력의 향상에 한정되어 있다. 본 연구에서는 일반적인 논리적 사고력의 특성 및 타 교과에서 논리적 사고력의 특성과 달리 정보 교과의 문제 해결 과정에서의 논리적 사고력의 조작적 정의를 제시하였다. 먼저, 정보 교과의 문제 해결 과정에서 요구되는 논리적 사고력의 구성요소를 선정하고, 각각에 대한 조작적 정의를 개방형식의 전문가 설문과 연구자 숙의 과정을 통하여 제시하였다. 또한, 각각의 조작적 정의를 바탕으로 중등 정보 교과 '문제 해결 방법과 절차' 영역의 내용요소와 연관성을 제시하고, 그에 따른 평가 문항을 개발하였다. 연구 결과, 정보 교과의 문제해결과정에서 요구되는 논리적 사고력의 구성요소는 서열화 논리, 명제 논리, 상관 논리, 변인 통제 논리, 조합 논리, 비례 논리이며, 조작적 정의와 정보교과 내용요소를 바탕으로 논리적 사고력 평가문항을 개발하여 그 실효성을 알아보았다. 본 연구 결과는 정보 교과의 논리적 사고력 신장을 위한 교수학습방법과 평가 방안의 가이드라인을 제공하는 데에서 의의를 찾을 수 있을 것이다.

• 전기의세계
• /
• 제24권4호
• /
• pp.31-39
• /
• 1975

복잡한 시스템의 설계 또는 연구에서 무엇보다도 중요한 것은 조합설계의 원리를 완전해 이해하는데 있으며 여기서 기술한 조합개폐회로이론은 그 기초가 된다. 조합논리회로란, 출력이 입력의 현재상태에만 전적으로 종속되는 회로를 의미한다. 조합설계의 주목적은 최소수의 소자로 우리가 원하는 개폐특성을 실현하는 회로를 설계할 수 있는 능력을 부여하는데 있다. 이 장에서는 논리함수, 논리식의 표현형식, 논리식의 간단화 및 이들 기법이 실지 조합개폐회로의 설계에 어떻게 적용되는가를 실례를 통하여 기술한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1997년도 춘계학술대회 학술발표 논문집
• /
• pp.220-223
• /
• 1997

다치 논리는 2치 논리에 비하여 동일 정보량을 처리하는데, 고속 처리가 가능하고, 정보의 기억 밀도가 크며, 논리 회로 실현시 입.출력 단자수가 감소하는 등의 장점을 가지고 있다. 본 논문에서는 이러한 다치 논리가 가지는 장점을 이용하여, 영상 처리시 필요한 농도를 2치가 아닌 다치로 농도표현을 하고자 한다.

• 논리연구
• /
• 제13권2호
• /
• pp.27-59
• /
• 2010

작년 7월 28일 고(故) 김영정 교수의 갑작스러운 별세 이후 4편의 미발표 논문이 발견되었다. 그 논문에는 김영정 교수의 원대한 계획이 있었음이 확인되었다. 특히 그의 독자적인 개념과 이론이 확인되었는데, 김영정 교수가 "선제논리" 또는 "장논리"라고 부르는 것이다. 이 글에서는 김영정 교수의 그 계획을 "선제논리 프로그램"이라고 부르고자 한다. 김영정 교수는 논리학과 비판적 사고의 더욱 밀접한 연관관계의 필요성과 가능성을 실현하기 위하여 선제논리라는 새로운 논리체계를 모색하였다. 이 글에서는 김영정 교수의 "선제"와 선제논리가 무엇인지(2절), 왜 김영정 교수가 논리학의 관점에서 선제논리가 필요하다고 보았는지를(3절) 살펴볼 것이다. 이렇게 함으로써 우리는 김영정 교수가 마지막 학문적 열정과 투혼을 쏟아 부었던 작업 내용의 얼개를 파악할 수 있다. 이러한 파악을 바탕으로 나는 김영정 교수로 하여금 최후까지 고뇌에 싸이게 했던 문제를 비판적으로 조명하고자 한다(4절, 5절).

• 한국산학기술학회논문지
• /
• 제18권8호
• /
• pp.361-366
• /
• 2017

2개 논리식에 대해서 어떤 논리식 F의 일부가 다른 논리식 G 전체를 포함하고 있을 때, 논리식 F의 일부분을 논리식 G로 대치한 식을 대입식이라고 한다. 논리식 사이에 대입 관계가 성립되면 전체 논리식에 사용된 리터럴 개수를 대폭 줄일 수 있는 장점이 있으나, 대입 관계가 성립하지 않는 경우 대입식으로부터 얻을 수 있는 간략화 효과가 없게 되어 상대적으로 리터럴 개수를 줄이는 효과가 줄어들게 된다. 지금까지의 연구들이 주어진 논리식들 자체에 대해서 논리식들 사이의 대입 관계를 찾고, 대입이 가능하면 대입식을 산출하기 위한 방법을 제안하였는데, 본 논문에서는 논리식들 사이에 대입식이 만들어지도록 필요한 항을 추가하고, 다시 추가된 항들에 대한 보정을 통해 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 항추가를 위한 행렬을 만들고, 행렬에서 항이 추가 가능한 묶음 찾고 추가된 항에 대해 보정을 하여 대입식이 완성된다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2008년도 춘계학술대회 학술발표회 논문집
• /
• pp.317-320
• /
• 2008

본 논문에서는 Type-1 퍼지 논리 시스템과 Type-2 퍼지 논리 시스템을 설계하고, 불확실한 정보를 갖는 입력 데이터에 대하여 각각의 성능을 비교한다. Type-1 퍼지 논리 시스템은 외부잡음에 민감한 단점을 가지고 있는 반면, Type-2 퍼지 논리 시스템은 불확실한 정보를 잘 표현할 수 있으며 효율적으로 취급한다. 따라서 Type-2 퍼지 논리 시스템을 이용하여 이러한 단점을 극복하고자 2가지의 모델을 설계한다. 첫 번째 모델은 규칙의 전 ${\cdot}$ 후반부가 불확실성을 표현 할 수 없는 Type-1 퍼지 집합으로 구성된 Type-1 퍼지 논리 시스템을 설계한다. 두 번째는 규칙 후반부만 Type-2 퍼지 집합으로 구성한 두가지의 Type-2 퍼지 논리 시스템을 설계한다. 여기서 규칙 전반부의 입력 공간 분할에는 Min-Max 방법의 균등분할을 사용하고, 규칙 후반부 멤버쉽 함수의 중심 결정에는 입자 군집 최적화(Particle Swarm Optimization) 알고리즘을 사용하여 동정한다. 또한 입력 데이터에 인위적으로 가하는 노이즈의 정도에 따른 각각 모델의 성능을 비교한다. 마지막으로 비선형 모델 평가에 주로 사용되는 가스로 시계열 데이터를 제안된 모델에 적용하고, 실험을 통하여 불확실한 정보를 다루기에 Type-1 퍼지 논리 시스템 보다 Type-2 퍼지 논리 시스템이 효율적이라는 것을 보인다.

• 논리연구
• /
• 제17권1호
• /
• pp.71-109
• /
• 2014

셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.