• Title, Summary, Keyword: 1계논리

Search Result 48, Processing Time 0.047 seconds

A Historical Background of Mathematical Logic and $G{\ddot{o}}del$ (수리논리학의 역사적 배경과 괴델)

  • Park, Chang-Kyun
    • 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.

  • PDF

All Optical AND Logic Gate Using XPM (XPM 을 이용한 전광 AND 논리 구현)

  • Kang, Byung-Kwon;Kim, Jae-Heon;Park, Yoon-Ho;Lee, Seok;Lee, Yu-Seung;Jeon, Young-Min;Kim, Sun-Ho;Park, Seung-Han
    • Proceedings of the Optical Society of Korea Conference
    • /
    • /
    • pp.20-21
    • /
    • 2000
  • 광을 기반으로 한 논리 연산은 전자 소자의 속도 한계 및 연산 용량의 한계를 극복할 대안으로 많은 관심을 끌고 있다. 초고속 전광 논리 연산의 구현은 대부분 물질의 비선형성을 이용하며 특히 광섬유의 비선형 Ken 효과를 이용한 Sagnac 간섭계의 형태를 이용한 논리 연산이 주로 연구되어 왔다$^{(1)}$ . 그러나 광섬유의 비선형성을 이용하기 위해서는 충분히 큰 광 강도가 필요하며 회로 구성에 있어서도 크기가 크다는 단점이 있다. 최근에는 반도체 광증폭기의 비선형 이득 포화 현상을 이용한 TOAD 등이 발표되어 상대적으로 크기도 감소하고 사용되는 광 강도 역시 감소시킬 수 있었다$^{(2)}$ . 간섭계를 이용한 광논리의 구현은 Sagnac 간섭계 뿐만 아니라 비선형 특성을 갖는 도파로로 구성된 Mach-Zehnder 간섭계, Michelson 간섭계 등도 이용이 가능하다. (중략)

  • PDF

과학언론인 칼럼 - 과학대중화의 경제학

  • Heo, Du-Yeong
    • The Science & Technology
    • /
    • v.30 no.10
    • /
    • pp.24-25
    • /
    • 1997
  • 과학대중화에서 언론은 가장 큰 공급자다. 지금까지 우리나라 언론의 주력상품은 정치와 스포츠였고 90년대 들어서야 경제, 레저, 정보통신 등이 부가가치 높은 상품으로 부상했다. 과학대중화를 위해서는 과학기술계 스스로 시장의 논리, 경제의 논리, 경쟁의 논리를 도입해야 하고 언론의 먹을 거리인 기사를 늘려야 한다.

  • PDF

고차 개념으로서 수

  • Park, Jun-Yong
    • Korean Journal of Logic
    • /
    • v.5 no.1
    • /
    • pp.81-117
    • /
    • 2001
  • 이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

  • PDF

An Efficient Execution of Non-Horn Logic Programs (비혼 논리 프로그램의 효율적 수행)

  • Shin, Dong-Ha;Baek, Ynn-Cheol
    • 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.

A Study on the Mac Protocol for Multichannel Network Underwater Acoustic Communication (수중 초음파 다중통신 네트워크를 위한 MAC 프로토콜에 관한 연구)

  • Kim, Chun-Suk
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.1 no.1
    • /
    • pp.42-48
    • /
    • 2006
  • This paper proposes the new efficient system design strategies for the acoustic-based underwater multiple modem and media access control protocol. The system aims to establish the acoustic-based communication network of an underwater vehicles for deep sea mining, which ensures a certain level of maximum throughput regardless of the propagation delay of acoustic and allows fast data transmission through the acoustic-based multiple channel.

  • PDF

A Study on State Analysis of Heat Exchange between Counter-Flow Fluid via Fast Walsh Transform (고속 월쉬 변환을 이용한 이동 유체간 열교환 상태 해석에 관한 연구)

  • Kim, Tae-Hoon;Lee, Seung
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.15 no.6
    • /
    • pp.73-81
    • /
    • 2001
  • This study uses the distributed parameter systems resented by the spatial discretization technique. In this paper, the distributed parameter systems are converted into lumped parameter systems, End fast Walsh transform and the Picard's iteration method are allied to analysis the state of the systems. This thesis presents a new algorithm which usefully exercises the optimal contro1 in the distributed parameter systems. In exercising the optimal control of the distributed parameter systems, the excellent consequences are found without using the existing decentralized contro1 or hierarchical control method. This study can be applied to the linear time-varying systems and the non-linear systems. Farther researches are required to solve the problems of convergence in case of the numerous applicable intervals. The simulation proves the effectiveness of the proposed algorithm.

  • PDF

Abstraction of the Real World Using Projective Maps (주관투영도(主觀投影圖)를 활용한 실세계의 추상화)

  • 노태호;최인수
    • Journal of the Korea Society of Computer and Information
    • /
    • v.7 no.1
    • /
    • pp.20-26
    • /
    • 2002
  • Projective Maps let designers find out uncovered attributes which are unexposed by users' incomplete view at abstraction step, and design proper database for users' model This database keeps the original meaning and has a good structure to represent the real world precisely. Also, the database which is designed by using Projective Maps, resents a method which describes the real world by less projections to users.

  • PDF

A Study on Knowledge Management Model of Library Based on Knowledge Ecology (지식생태학 관점에서 본 도서관의 지식관리 모형 연구)

  • Choi, Hee-Yoon
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.40 no.1
    • /
    • pp.397-416
    • /
    • 2006
  • This study is focusing on the establishment of knowledge management framework of library, supposed that library becomes an integrated knowledge system offering various types of knowledge. Knowledge management of library based on knowledge ecology justifies the logical and physical roles of library, as the sustainer of the knowledge ecosystem in which all the types of social factors consisting of knowledge ecosystem are Interacting to continuously circulate knowledge. The library as the center of knowledge ecosystem should make sure the systemized environment in which knowledge producer is supported to timely distribute knowledge to knowledge consumer through information professional accomplishing the role of knowledge facilitator.