• Electronics and Telecommunications Trends
• /
• v.30 no.4
• /
• pp.54-58
• /
• 2015

수리 논리 기반의 프로그램 증명방법은 매우 유용한 프로그램 분석방법이지만, 수리 논리식에 대한 증명을 사람이 직접 수행하는 것은 매우 힘들고 고된 작업이다. 본고에서는 이러한 수리 논리 기반의 프로그램 증명을 자동화하기 위하여 개발된 중간 증명 언어(Intermediate Verification Language)에 대하여 살펴보고자 한다.

• 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.

• Korean Journal of Logic
• /
• v.1
• /
• pp.95-115
• /
• 1997

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.101-105
• /
• 2011

공유하천의 물 배분문제는 이해당사자간 입장차이가 뚜렷하여 일관된 해결책을 찾기가 어려운 과제이다. 따라서 문제해결을 위한 접근방법이나 적용하고자 하는 논리와 원칙이 일방적일 수 있으며, 연안국가간 서로 상반되는 논리를 주장하는 것이 대부분이다. 즉 어떤 국가든 자기에게 가장 유리한 입장을 취하게 되며 상대방의 주장에 동조하는 자세는 자국 내에서 큰 비판에 직면할 수 있다는 정치적 부담이 있다. 결국 각각의 연안국가들은 자기에게 가장 유리한 이론과 논리를 내세우게 되며 타협과 협력에 도달하기 위해서는 수문, 기상, 사회, 문화, 경제 및 정치적 문제를 극복해야 한다. 본 연구에서는 남북공유하천의 공평하고 합리적인 이용방법을 제시하기 위하여 이해관계가 복잡한 하류유역의 수리권을 추정하였다. 이를 위해 국제 공유하천에서 수리권 배분을 위한 표준화된 법칙이 없으므로 과거 사례 분석을 통해 해석방법을 찾고자 하였다. 아울러 현재 남북공유하천의 문제점을 진단하고 국제사례를 통해 하류국가인 남한지역에 기득수리권이 존재함을 증명하고자 하였다. 또한 수리권 배분(북한의 임남댐 보장방류량)을 위해 국제적으로 적용된 사례와 이의 평가기준 등을 고려하여 남북공유하천에 적용하고자 하였다.

• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.57-70
• /
• 2012

We will research the elementary formal logic and mathematical concept represented in Mojing, and focus on the ancient Chinese's mathematical principles implicit in Mojing. Moreover, the mathematical significance and values of Mojing are examined.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.425-440
• /
• 2014

In his recent paper, Hanseung Kim (2014) discusses the Cable Guy paradox and argues that given the nature of regret, it is rational to bet on the cable guy's afternoon arrival, though it is equally probable for him to arrive in the morning or afternoon interval. In this paper, I argue that regret is not essential to the paradox in that the paradox still arises even if we ignore regret. I then briefly discuss a possible way to proceed to resolve the paradox.

• Korean Journal of Logic
• /
• v.3
• /
• pp.53-93
• /
• 2000

프레게의 논리주의 프로그램은 기본적인 산수 법칙 혹은 가장 단순한 수의 법칙을 논리적 원리로부터 유도해 냄으로써 달성된다. 프레게는 이른바 외연 공리를 포함하는 논리적 원리로부터 흄의 원리로 지칭되는 원리를 거쳐 '기본적인' 산수 법칙을 이끌어내고 있다. 외연 공리가 흄의 원리를 연역하는 과정에서만 사용되고 인다는 사실은 프레게가 말하는 기본적인 산수 법칙을 외연 공리 대신 흄의 원리를 공리로 채택함으로써 유도해낼 수 있음을 암시한다. 여기서는 흄의 원리로부터 페아노의 다섯 가지 공리를 연역해 내는 프레게의 과정을 조상 관계에 대한 일반적인 고찰에 기초하여 보다 단순화하고 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.613-619
• /
• 2009

과거의 용수개발은 단위시설 또는 단위사업별 중심의 양적 확대개발 위주로 추진하여 수리시설간 수자원을 효율적으로 활용할 수 있는 용수공급체계가 미흡하였다. 수리시설의 양적 확대개발 위주의 추진결과 '03년도 총 수리시설수인 68,018개소 중 관개면적 50ha이상의 주 수원공은 1,888개소로서 전체수리시설의 2.8%를 차지하여 비합리적인 공급불균형 현상이 발생하여 체계적인 급수관리가 이루어지지 못하는 문제가 발생하였다. 또한 기존의 공급체계는 논 용수중심에서 식생활 변화로 인한 밭작물 수요증가로 용수이용 패턴이 변하고 있다. 더욱이 농촌지역의 생활환경 개선이 요구됨에 따라 생활용수, 공업용수, 환경용수 등 농촌지역에 과거와는 다른 형태의 용수수요가 발생하고 있다. 하지만 농촌지역의 수자원은 한정되어 있고 환경파괴 및 적지부족 등의 이유로 신규 수자원개발이 불가능한 사회여건이 지속되어 있어 많은 문제점이 나타나고 있어 균형적인 농촌발전과 건전한 농촌지역조성을 위해서는 새로운 대안이 제시되어야 하는 시점이다. 본 연구에서는 그 대안으로 부각되고 있는 농업용저수지 재개발에 대하여 사업의 우선순위를 합리적으로 결정할 수 있는 의사결정시스템의 개발을 목적으로 하고 있다. 기존 문헌을 고찰하면 개발우선순위는 과학적 논리보다는 정치적, 사회적 논리가 의사결정에 중요한 역할을 하였으나 의사결정시스템의 제공을 통해 정책결정자가 과학적이고 합리적인 논리에 따라 사업개발의 우선순위를 결정할 수 있을 것으로 기대한다. 본 연구에서는 재개발 의사결정에 필요한 지형적, 사회적, 환경적 요인을 지수화 하는 방법을 고찰하였고, 우선순위를 산정에 필요한 수치지도, 저수지 관련 자료의 작성과 지형정보(GIS)를 구축하였다. 우선순위 대상저수지의 선정은 기존문헌과 수계 및 용량 등을 고찰하여 79개로 우선 선별하였다.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.17-27
• /
• 1995

We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.