• 논리연구
• /
• 제6권2호
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

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

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

• 과학교육연구지
• /
• 제33권1호
• /
• pp.69-76
• /
• 2009

이 연구의 목적은 확률 논리와 조합 논리가 형성되지 않은 학생들에게 논리 지도를 위한 최적의 시기를 찾고자 하는 것이다. 초등학교 4, 5, 6학년 학생 430명을 대상으로 논리의 형성정도를 사전에 검사하였다. 검사도구는 GALT를 참고하여 개발하였고, 이는 과학 교육 전문가에게 타당도를 검증 받았다. 처리 프로그램은 두 가지 논리가 모두 형성되지 않은 각 학년 20명의 학생을 대상으로 수행하였다. 이는 바둑돌과 카드를 반복적으로 수행하는 검사도구이다. 4주 뒤 사후검사에서 확률논리와 조합논리의 발달정도를 알아보는 검사를 다시 수행하였고 그 변화는 확인되었다. 확률논리의 경우 4, 5, 6학년에서 형성율이 각각 15%, 25%, 40% 증가하였고, 평균도 .15, .30, .50 증가하였다. T-검증에 의한 의미있는 결과는 6학년 중에서 얻어졌다. 그러나 과도기 학생 비율(21.7%)를 제외하면 형성 학생의 비율은 5.0%로 여전히 저조하였고, 다수의 학생(73.3%)은 미형성 상태를 유지하였다. 조합논리의 경우 4, 5, 6학년에서 형성율이 각각 20%, 25%, 63.2% 증가하였고, 평균도 .20, .25, .63 증가하였다. T-검증에 의한 의미있는 결과는 역시 6학년 중에서 얻어졌다. 그러나 처치 후 논리 형성 학생으로의 전이는 없었으며, 과도기 학생의 비율만 35% 증가하였다. 위의 연구결과, 확률논리와 조합논리가 형성되지 않은 학생들은 학습을 통한 향상은 이루어 졌지만, 인지발달과 같은 질적인 변화는 이루어지지 않았다. 이 연구로 인하여 확률논리와 조합논리의 학습 효과가 큰 6학년 학생들의 인지수준 개선을 위한 여러 분야에서의 더 활발한 연구가 이루어지길 기대한다.

• 한국통신학회논문지
• /
• 제14권5호
• /
• pp.503-510
• /
• 1989

본 논문에서는 조합 다치논리 회로를 구성하는 이론을 제시하였다. 먼저 조합 다치논리 회로구성은 입력되는 변수를 기준으로 하여 셀을 구성한 후 이를 확장하여 일반적인 경우에 까지 적용하도록 하였으므로 구성절차가 단순하고 규칙적이다. 본 논문에서 제시한 다치논리 회로구성이론은 규칙성, 간단성, 모듈성의 특징을 가지며, 특히 다치논리 회로에 입력되는 변수가 증가되는 경우 다치논리 회로 구성은 확장성을 갖는다.

• 대한화학회지
• /
• 제58권6호
• /
• pp.667-680
• /
• 2014

본 연구의 목적은 과학 수업 시간에 비례, 보존, 변인 통제, 확률, 상관, 조합 논리 활동을 강화한 탐구 교수 전략을 개발하고 이를 적용함으로써 그 효과를 검증하는 것이다. 이를 위해서 논리적 사고력 강화 모형인 MCP(M: 동기 유발단계, C: 갈등 유발 단계, P: 문제 해결 단계)모형을 개발하였으며 이를 탐구 과정에 적용하여 논리적 사고력을 강화한 탐구 교수 모형을 개발하였다. 이 후 중학교 1학년 과학 교과서 내용에 있는 논리 사고 요소를 추출한 후에 이 논리 사고 요소들을 MCP 모형으로 변형하여 중학교 1학년용 탐구 과학 교수 전략들을 개발하였다. 대부분 구체적 조작 수준이거나 과도기 수준인 중학교 1학년 학생들을 대상으로 개발한 교수 전략을 2011년 5월부터 12월까지 60차시 동안 실시한 후 이 교수 전략이 논리적 사고력에 미치는 효과를 알아보았다. 그 결과 논리적 사고력은 유의미하게 향상되는 것으로 나타났다(p<.05). 특히 보존 논리, 변인 통제 논리, 조합 논리가 유의미하게 신장된 것으로 나타난 반면 비례 논리, 확률 논리, 상관 논리는 유의미한 향상이 없었다(p<.05). 이러한 교수 전략에 따른 논리적 사고력은 학생들의 인지 수준의 영향을 받고 있지 않은 것으로 나타났다(p<.05).

• 대한전자공학회논문지
• /
• 제11권4호
• /
• pp.1.1-11
• /
• 1974

변경의 Parameter를 제어 함으로써 임의의 조합논리함수를 이차원가변논리회로로 실현하는 일반적이고 조직적인 방법을 개발하였다. n변수-n출력 조합논리회로의 진리치표를 상태할당에 의해서 상태가의 변환으로 포착하여 이를 다치일변수 영리수수의 실현문제로 취급하였다. 이 다위일변수 함수집합이 정규결합연산에 환하여 반군을 이룬다는 사실에 착안하여 3개의 기저함수를 정의하고 이 기저함수에 의하여 임의의 다치일변수함수를 생성하는 기저함수렬의 조직적 구성법을 구하였다. 기저함수를 실현하는 기본회로를 단위회로의 일차원 배열로 구성하고 오직 하나의 기본회로만으로 3개의 기저함수외에도 몇개의 기저함수의 계열과 또 기저함수의 역함수를 실현하도록 하였다. 이 기본회로를 이차원으르 배열하고 변경의 parameter만을 적절히 설정 함으로써 임의의 조합논리회로를 실현하는 알고리즘을 구성하였다.

• 한국과학교육학회지
• /
• 제29권4호
• /
• pp.437-449
• /
• 2009

이 연구의 목적은 한국 중학생들의 논리적 사고에 대해 메타분석을 통해 평균적인 논리 형성 정도를 알아보는 것이다. 1980년대부터 2000년까지 학술지에 게재된 논리적 사고 하위 논리를 조사한 연구는 6편이며, 이들에 대해 메타 분석해 본 결과, 우리나라 중학생들의 GALT 검사에 의한 논리적 사고 형성자 비율은 32% 정도이며, 하위 논리별로 보면, 보존 논리 48%, 비례 논리 42%, 변인통제 논리 29%, 확률 논리 33%, 상관 논리 10%, 조합논리 35% 정도로 나타났다. 우리나라 중학생들의 논리 형성자 비율 평균은, 비슷한 시기에 다른 연구자들에 의해 조사된 미국 학생들의 수준(31%)과는 비슷하고 일본 중학생들의 수준(50%)에 비해서는 많이 떨어지는 것으로 나타났다.

• 대한전자공학회논문지
• /
• 제11권4호
• /
• pp.12-18
• /
• 1974

본 논문은 출력분준가 있는 조합논리회로의 최소 고장검출실험의 생성에 관한 것이다. 조합논리회로의 출력분준선에 있어서의 신청반전의 우기성을 고려함으로서 출력분준가 있는 회로에 대한 특성그래프와 그 부분그래프를 작성하여 필요한 테스트수의 하한과 그 최소실험을 구하였다. 출력분준선의 고장검출 가능가부를 판정하는데 Boolean Difference를 이용하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.675-676
• /
• 2013

본 논문에서는 TDBM과 CMTEDD를 사용하여 다중출력조합디지털논리시스템 설계방법의 한가지를 제안하였다. 또한, CBDD와 CMTEDD를 기반으로 최종 조합디지털논리시스템 구성을 멀티플렉서를 사용하여 구현하였다. 제안한 방법은 기존의 방법에 비해 모듈사이의 내부결선을 효과적으로 줄일 수 있으며 입력변수의 쌍과 출력함수의 쌍에 의해 게이트 수를 줄일 수 있는 장점이 있다.

• 논리연구
• /
• 제2권
• /
• pp.91-118
• /
• 1998

라이프니츠는 일반적으로 현대논리학의 선각자라고 부른다. 그래서 라이프니츠 논리학에서는 현대 논리학을 이해함에 있어서 중요한 단초들을 발견할 수 있다. 라이프니츠의 논리학을 대표하는 개념으로는 흔히 보편수학, 보편기호학 그리고 논리연산학을 들곤한다. 라이프니츠의 보편수학의 이념은 연대 논리학이 논리학과 수학의 통일에서 출발할 수 있는 결정적인 근거를 제공했다. 이러한 현대 논리학의 출발에 있어서는 상이한 두 입장을 발견할 수 있는데, 부울, 슈레더의 논리대수학과 프레게의 논리학주의가 바로 그것이다. 이 두 입장은 "논리학과 수학의 통일"에 있어서는 공통적인 관심을 보이지만, 논리학의 본질을 라이프니츠의 보편기호학에서 찾느냐 또는 라이프니츠의 논리연산학에서 찾느냐에 따라 상이한 입장을 취한다. 이외에도 보편과학이나 조합술을 이해하지 않고는 라이프니츠 논리학에 대한 총체적인 시각을 갖기 힘들다. 이 두 개념은 특히 타과학이나 과학적 방법론과 관련지어 논리학이란 과연 무엇인가라는 논리철학적인 조명에 있어서 중요한 실마리를 제공한다.