• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.49-67
• /
• 2003

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

• 전기의세계
• /
• v.24 no.4
• /
• pp.31-39
• /
• 1975

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

• Journal of Science Education
• /
• v.33 no.1
• /
• pp.69-76
• /
• 2009

Probabilistic reasoning and combinational reasoning are essential to build a logical thinking and a process of thinking dealing with everyday life as well as scientific knowledge. This research aims at finding the optimal period to teach reasoning to the students who haven't developed probabilistic reasoning and combinational reasoning. The treatment program was performed for 20 students from each grade who couldn't develop two parts of reasoning. The treatment program using baduk stones and cards was performed repeatedly, focusing on the specific activities. After four weeks of treatment program, the test to check the development of probabilistic reasoning and combinational reasoning was performed again and the changes of reasoning development were identified. After giving treatment program for reasoning development, 15.0%, 25.0% and 40.0% of improvement in the 4th, the 5th, the 6th graders respectively were shown. With regard to the combinational reasoning, the results showed the improvement of 20.0% in the 4th grades, 25.0% in the 5th graders and 63.2% in the 6th graders. As a result of research in the above, students, who were not formed probabilistic reasoning and combinational reasoning, could be known to be enhanced through learning, but to fail to be formed the qualitative change like the cognitive development. It is expected that this research can contribute to the improvement of students' cognitive level and there would be more active researches in different fields to improve the cognitive level of the 6th graders who are in their optimal periods to learn two parts of reasoning.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.5
• /
• pp.503-510
• /
• 1989

This paper represents a method which construct Combinational Mutiple Valued Logic circuits. First, it constructs Combinational Multiple Valued Logic Cell as the input variable, Then, it can be applied to the general case by expanding ti, thus these series of process is simple and regular. The construction theory of Combinational Multiple Valued Logic circuits, representes here has regularity, simplicity and modularity, especially, in case imput variables are incresed this theory also has characteristics of expansion.

• Journal of the Korean Chemical Society
• /
• v.58 no.6
• /
• pp.667-680
• /
• 2014

The purpose of this study was to develop teaching stratege focused on Conservational reasoning, Proportional reasoning, Variable-controlling reasoning, Probabilitic reasoning, Correlational reasoning, Combinational reasoning and investigate its effects on enhancing students' logical thinking skills through the science teaching on common education. And the teaching materials was implemented to 110 students in middle school over about six months. The results indicated that the experimental group presented statistically meaningful improvement in logical thinking skills (p<05). Especially, this teaching stratege was effective on Conservational reasoning, Variable-controlling reasoning, Combinational reasoning but was not effective on Proportional reasoning, Probabilitic reasoning, Correlational reasoning (p<.05). Logical thinking according to the teaching strategy skill was not affected by gender, cognitive level, academic achievement (p<.05).

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.1.1-11
• /
• 1974

A general and systematic method of organizing two-dimensional flexible cellular array which is capable of reclizing arbitrary combinational switching function is developed. A set of n functions of n variables is transformed to revalued functions of one variable. This set of functions form a semigroup under the normal operation which is defined in this paper. A systematic method of generating any functions using three base functions is presented. Three basic networks which are capable of realizing three base functions are designed using only one one-dimensional array. The algorithm is presented for lealizing arbitrary combinational switching functions by organizing this basic array in two.dimensional cellular array and by appropriately setting the parameters or the edge of the array.

• Journal of The Korean Association For Science Education
• /
• v.29 no.4
• /
• pp.437-449
• /
• 2009

The purpose of the study is to meta-analyze research results on Korean students' logical thinking ability. The results of meta-analysis on the research studies between the year 1980 and the year 2000 show that about 40-50% of Korean middle school students have conservation reasoning, proportional reasoning and combinatorial reasoning abilities, and that about 25-30% of them have control of variables and probability reasoning abilities. In addition, only 8% of the Korean middle-school students have correlational ability. When comparing their logical thinking ability results with those of Japanese and American middle-school students, The ratio (32.6%) of Korean middle-school students who have formal thought ability is a little higher than that of American students (30.6%), but much lower than that of Japanese students (50.1%).

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.12-18
• /
• 1974

In this paper, we are concerned with the problem of generating fault-detection experiment for combinational logic networks with fan-out. We establish the lower limit on the necessary number of fault-section tests and show how such experiments can be obtained by considering inversion parity from the output to the point whore fan-out exilts on the networks. Boolean difference is used advantageously.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.05a
• /
• pp.675-676
• /
• 2013

This paper presents a design method for multiple-output combinational digital logic systems using time domain based on multiplexing and common multi-terminal extension decision diagrams. The common multi-terminal extension decision diagrams represents extension valued multiple-output functions, while time domain based on multiplexing systems transmit several signals on a single lines. The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams, that is the common binary decision diagrams and common multi-terminal extension decision diagrams.

• Korean Journal of Logic
• /
• v.2
• /
• pp.91-118
• /
• 1998

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