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

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

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

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

• 한국IT서비스학회:학술대회논문집
• /
• 2005.11a
• /
• pp.408-413
• /
• 2005

D-클래스는 암호학 등의 보안 분야에 응용될 수 있는 가능성을 가지고 있다. 그러나 D-클래스 계산은 NP-완전 문제로서 현재 $4{\times}4$ 이하 크기의 행렬에 대한 D-클래스 만이 알려져 있어 D-클래스의 특성에 대한 연구가 제대로 이루어지지 못하고 있다. 최근 새로운 D-클래스를 얻기 위하여 보다 효율적인 D-클래스 계산에 대한 연구가 수행되었으나 아직 새로운 D-클래스를 계산할 수 있을 정도의 효율적인 연구결과는 보이지 않고 있다. 본 논문은 논리 대수의 연산 특성을 이용하여 D-클래스 계산을 보다 효율적으로 할 수 있는 수학적 이론과 방법을 제시한다.

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

• Communications of Mathematical Education
• /
• v.9
• /
• pp.63-72
• /
• 1999

수학의 가장 기본적인 요소인 수 개념과 감각의 형성과정에서 자리값에 대한 이해는 필수적이다. 또한 자리 값의 개념을 지도하기 위해서는 수와 연산지도가 통합되어야 하며, 논리적 사고력을 신장의 한 요소인 계산 알고리즘이 유의미한 학습되기 위해서는 자리값에 대한 이해가 바탕이 되어야 한다. 수에 대한 개념적 지식이 불충분한 상태에서 양을 수치화 하거나 지필 위주로 계산 알고리즘을 기계적으로 적용함으로 해서 발생하는 수와 연산학습의 결손을 줄이기 위해 본 연구에서는 수 개념과 감각을 기르기 위해 자리값 지도 방안에 대해서 알아보고자 한다.

• Journal of the Korean Society for information Management
• /
• v.13 no.1
• /
• pp.173-185
• /
• 1996

In this paper, we propose four optimizing methods for effectively processing queries in the Booleam information retrieval system ; (i) the short-circuit evaluation scheme used for optimizing logical expressions in programming lan-guages is applied to Boolean queries.(II) use the difference of the number of index word frequencies appearing in the related documents. (IIi) reduce the number of operators in the queries by applying the distribution law in the set theory. (iv) evaluate only once for the repeated expressions in the query. These methods have been implemented and tested in KRISTAL-II system on the UNIX workstation environment.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• Journal of Educational Research in Mathematics
• /
• v.22 no.4
• /
• pp.477-494
• /
• 2012

This study is to review the content organization and developmental ways of the unit on the mixed calculations and explore the alternatives on the basis of students' responsive examples and error patterns with relation to the mixed calculations, mnemonics of PEMDAS and historical context with relation to the order of operations. Then I analyzed the textbook and manual for teachers of the unit of mixed calculations of fourth grade and improvement about teaching the mixed calculations. First, I pointed out illogical connection between practical problem and rules of order of operations. Second, I suggested constructing a textbook by considering conventional character of order of operations. Third, I pointed out the importance of structural understanding of an expression of mixed calculations and various strategies with relation to teaching and learning. This study is suggestive for textbook development of the mixed calculations.

• Korean Journal of Remote Sensing
• /
• v.18 no.6
• /
• pp.305-317
• /
• 2002

The purpose of this study is to analyze the land cover environmental changes in the Anmyeon-do. Especially, it centers on the changes in the land cover environment through methods of GIS and remote sensing. The land cover environmental change areas were detected from remote sensing data, and geographic data sets related to land cover environment change were built as a spatial database in GIS. Fuzzy logic was applied for data representation and integration of thematic maps. In the natural, social, and economic environment variables, the altitude, population density, and the national land use planning showed higher fuzzy membership values, respectively. After integrating all thematic maps using fuzzy logic operation, it is possible to predict the change quantitatively. In the study area, a region where land cover change will be likely to occur is the one on a plain near the shoreline. In particular, the hills of less than 5% slope and less than 15m altitude, adjacent to the ocean, were quite vulnerable to the aggravation of coastal environment on account of current, large-scale development. In conclusions, it is expected that the generalized scheme used in this study is regarded as one of effective methodologies for land cover environmental change detection from geographic data.

• School Mathematics
• /
• v.9 no.1
• /
• pp.99-117
• /
• 2007

In this paper it is discussed how children develop their logical reasoning beyond difficulties in the process of making sense of division with decimals in the classroom setting. When we consider the gap between mathematics at elementary and secondary levels, and given the logical nature of mathematics at the latter levels, it can be seen as important that the aspects of children's logical development in the upper grades in elementary school should be clarified. This study focuses on the teaching and learning of division with decimals in a 5th grade classroom, because it is well known to be difficult for children to understand the meaning of division with decimals. It is suggested that children begin to conceive division as the relationship between the equivalent expressions at the hypothetical-deductive level detached from the concrete one, and that children's explanation based on a reversibility of reciprocity are effective in overcoming the difficulties related to division with decimals. It enables children to conceive multiplication and division as a system of operations.