• Title/Summary/Keyword: 형식논리

Search Result 11, Processing Time 0.119 seconds

개폐회로의 논리설계 III

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

  • PDF

Logic of Ancient Mathematics of East Asia : Epistemology by Xun zi, Logic by Mozi (동양 산학의 논리학 : 순자의 인식론과 묵자의 논리학)

  • Koh, Young-Mee;Ree, Sang-Wook
    • Journal for History of Mathematics
    • /
    • v.23 no.3
    • /
    • pp.33-44
    • /
    • 2010
  • We investigate what kind of logic is used in the ancient East Asian mathematics from their philosophical viewpoints. Such viewpoints are the logic by Mozi and the epistemology by Xun zi. We conclude that the logic residng in the ancient East Asian mathematics is surely existent and that the logic is the mathematics itself.

타르스키의 논리상항의 정의에 대한 연구

  • Choi, Byeong-Il
    • Korean Journal of Logic
    • /
    • v.3
    • /
    • pp.95-113
    • /
    • 2000
  • 타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

  • PDF

CMXML: A Conceptual Modeling Methodology for XML (CMXML: XML의 개념적 모델링 기법)

  • Kim, Young-Ung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.15 no.4
    • /
    • pp.231-237
    • /
    • 2015
  • However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

A History of Calculus and the Dialectical Materialism (미적분의 역사와 변증법적 유물론)

  • 조윤동
    • School Mathematics
    • /
    • v.5 no.4
    • /
    • pp.521-540
    • /
    • 2003
  • The processes of mathematics development and the results of it are always those of making a conquest of the circumscription by historical inevitability within the historical circumscription. It is in this article that I try to show this processes through the history of calculus. This article develops on the basis of the dialectical materialism. It views the change and development as the facts that take place not by individual subjective judgments but by social-historical material conditions as the first conditions. The dialectical materialism is appropriate for explaining calculus treated in full-scale during the 17th century, passing over ahistorical vacuum after Archimedes about B.C. 4th century. It is also appropriate for explaining such facts as frequent simultaneous discoveries observed in the process of the development of calculus. 1 try to show that mathematics is social-historical products, neither the development of the logically formal symbols nor the invention by subjectivity. By this, I hope to furnish philosophical bases on the discussion that mathematics teaching-learning must start from the real world.

  • PDF

Query Translation for Resolving the Difference between User Query Words and Ontology Resources (온톨로지 검색에 있어서 사용자 질의어와 온톨로지 리소스와의 상이성 해소를 위한 질의어 변환)

  • Kim, Tae-Wan
    • Journal of the Korea Society of Computer and Information
    • /
    • v.16 no.3
    • /
    • pp.35-44
    • /
    • 2011
  • Ontologies are playing an important role in semantic web which is emerging as a next stage of the web revolution because various kinds of metadata are described in ontologies. Correspondingly, many query languages like SPARQL, RDQL etc. have been proposed for querying these ontologies. But users have to know the structures and resource names of ontologies completely to get search results even if they have expertise on complex formal logic and syntax of the query languages. Especially, casual users do not know the resource names and may use different words from resource names when they write their query language. This vocabulary gap problem have to be solved to raise the success rate. In this paper, an approach for translating user's search words to corresponding resource names has been proposed. This approach uses semantic similarity between user created search words and ontology resource names.

A study on the interaction between visual perception and the body in contemporary painting space (20세기 회화공간에서 시지각과 신체의 상관성에 관한 연구)

  • Lee, Kum-Hee
    • Journal of Science of Art and Design
    • /
    • v.11
    • /
    • pp.109-152
    • /
    • 2007
  • This thesis started from accepting the criticism and concretely seeking the possibility of visual visuality, in particular, visual physicality or physical visuality through the expression revealed in painting space. This study aims at stressing the role of the body in visual perception and pictorial expression by it by examining the interaction between it and the body. First of all, this study explored perception and the position of the body in the great frame of the historical stream from modernism, through minimalism, through post-minimalism to later art in order to confirm the interaction between visual perception and the body or the change in the intervention of physicality in the stream of contemporary art, and connected them with a discourse on perception and the body. It raised as the grounds for it the discussions which provided the theoretical background about perception. It dealt with the scientific discussions on perceptual physicality by Gestalt psychology in perceptive psychology, and next the discussion of Rudolf Arnheim who exemplified Gestalt psychology mainly on the dimension of visual art. It is significant in explaining the perceptual activeness which is the same as that of M. Merleau-Ponty as a primary debater to solve the questions of perceptual physicality and physical visuality. M. Merleau-Ponty set forth ambiguous perception and the body as its background as the fundamental bases for perceiving the world rather than consciousness proved explicitly. As Hal Foster said, as minimalist phenomenological background they provided appropriate theoretical background to the late art rising against modernist logic. Next, after the 1970s Frank Stella showed a working method and a tendency entirely different from those in the previous period. For example, deconstruction of frame, decentralized spatial expression, dynamic and mixed expression, and allowing real space by overlapping were judged to swing to approval of perceptual physicality. Francis Bacon's painting structure, that is, figure, triptych, aplat and a method of production by accident were understood to well reflect M. Merleau-Ponty's chair logic of chiasme. This study tries to seek the possibility of pictorial expression from works aiming at defining the question of seeing in connection with physicality, the role of the body as the body accumulated and the linking with a real, daily life as the background of the body, and confirm the phase shift.

  • PDF