• 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 Digital Contents Society
• /
• v.10 no.3
• /
• pp.375-380
• /
• 2009

Computer programming education can improve students' logical thinking and problem-solving ability. Therefore, it is essential tool to improve algorithmic thinking ability. We study how much Dolittle and Squeak influences improving elementary students' logical thinking ability. Thus, we divided 6th grade elementary students into two classes and then taught Dorittle and Squeak programming languages for 6 weeks, respectively. We compare and analyze each logical thinking ability and its sub-classifications. The results showed that Dorritle affects significant improvement, but not Squeak.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.1005-1008
• /
• 2010

산출물들의 논리적 결합은 소프트웨어의 다양한 유지보수 활동에서 유용하게 활용될 수 있다. 버전 이력은 과거의 변경을 분석하여 산출물들간의 논리적 결합을 판단하는데 사용된다. 본 논문은 한 형상항목에 포함된 산출물들의 버전 링크를 구성함으로써 논리적 결합을 찾아내고, 이를 통해 과거의 변경에 대한 추적성과 향후의 변경에 대한 기준을 제공할 수 있도록 하였다. 형상관리 시스템과 개인 작업환경을 통합함으로써 산출물들간 버전 링크를 구성하고 논리적 결합을 식별할 수 있도록 하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.1
• /
• pp.76-82
• /
• 2002

This paper presents a quaternary-binary decoder, a quaternary logic current buffer, and a quaternary logic full-adder using current-mode multiple-valued logic CMOS circuits. Proposed full-adder requires only 15 MOSFET, 60.5% and 48.3% decrease of devices are achieved compared with conventional binary CMOS full-adder and Current's full-adder. Therefore, decrease of area and internal nods are achieved. Designed circuits are simulated and verified by HSPICE. Proposed full-adder has 1.5 ns of propagation delay and 0.42㎽ of power consumption. Also, proposed full-adder can easily adapted to binary system by use of encoder, designed decoder and designed current buffer.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.4
• /
• pp.1-8
• /
• 1999

In the logic where we study the principle and method of human, the binary logic with the proposition which has one-valued property that it can be assigned the truth value 'truth'or 'false'. Although most of the traditional binary logic which was drawn by human includes fuzziness hard to deal with, the knowledge for expressing it is not precise and has less degree of credit. This study uses multi-valued logic in order to slove the problem above that .When compared with the data processing ability of the binary logic, Multi-valued logic has an at a high speed. Therefore the Inference can be possible by minimization multi-valued logic in stead of using the information stead of using the information system based on the symbolic binary logic.

• Journal of Practical Engineering Education
• /
• v.8 no.2
• /
• pp.95-101
• /
• 2016

In this paper, we introduce an implementation method of switch-based LED (Light Emitting Diode) Art logic circuits to help understanding the operation principle of digital logic circuits. Digital logic circuit practice using bread board is widely practiced in colleges or high schools in South Korea. However, actual digital logic circuit practice lacks examples of basic implementation, and as results of this problem, study with more complicated examples disturbs understanding the basic operation principle of digital logic circuits. Therefore, we proposed and tested an implementation method of switch-based LED Art logic circuits to help understanding the necessity of digital logic circuits which control signals of multiple output devices simultaneously.

• School Mathematics
• /
• v.10 no.3
• /
• pp.357-374
• /
• 2008

The complex number system is supposed to introduce first chapter in the first grade of high school. When number system is expanded to complex numbers, the main aim is to understand preservation of algebraic structure with regard to the flow of curriculum and textbook. This research reviewed overall alternative articulation and treatment of textbooks from a logical viewpoint. Two research questions are developed below. First, in the structure of the current curriculum, when we consider student's 'level', how are the alternative articulation and treatment of textbooks in complex unit on a logical point of view? Second, What are more logical alternative articulation and treatment? What alternative articulation and treatment are suitable for a running goal? and what are the improvement which is definitive?

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.