• Journal of Educational Research in Mathematics
• /
• v.16 no.2
• /
• pp.95-113
• /
• 2006

The study tries to differentiate the levels of mathematical reasoning from inductive reasoning to formal reasoning for teaching gradually. Because the formal point of view without the relation to objects has limitations in the creation of a new knowledge, our mathematics education needs consider the such characteristics. We propose an intuitive level of proof related in concrete operations and perceptual experiences as an intermediating step between inductive and formal reasoning. The key activity of the intuitive level is having insight on the generality of reasoning. The details of the process should pursuit the direction for going away from objects and near to formal reasoning. We need teach the mathematical reasoning gradually according to the appropriate level of reasoning more differentiated.

• Journal of Educational Research in Mathematics
• /
• v.27 no.2
• /
• pp.191-205
• /
• 2017

The purpose of this study is to investigate the types and characteristics of the Seventh Graders' proofs. Harel, & Sowder's proof schemes were used to analyze the subjects' responses. As a result of the study, there was a difference in the type of proof schemes used by the students depending on the academic achievement level. While the proportion of students using a transformative proof scheme decreased from the top to the bottom, the proportion of students using inductive (measure) proof scheme increased. In addition, features of each type of proof schemes were shown, such as using informal codes in the proof process, and dividing a given picture into a specific ratio in the problem. Based on this, we extracted four meaningful conclusions and discussed implications for proof teaching and learning.

• Korean Journal of Logic
• /
• v.2
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1999.08a
• /
• pp.123-128
• /
• 1999

최근 급속히 발달한 인터넷을 통해 단순한 전자우편뿐만 아니라 학술 논문, 저작물 및 보고서, 계약서 등 실제 물리적인 문서를 표현하는 전자문서의 교환이 빈번하게 이루어지고 있다. 본 연구에서는 현재 사용되고 있는 전자문서 형식들인 가지고 있는 특성과 장단점을 비교 연구하였다. 우선 문서교환을 목적으로 하는 전자문서 형식이 가져야 할 특성으로 범용성, 신속성, 장치 독립성, 간결성, 확장성 등을 제시하고 이를 기준으로 현재 사용되거나 제안되고 있는 전자문서 형식들을 평가하였다. 특히 DVI, HTML, XML, SGML. PDF, Postscript 등의 문서 형식들을 대상으로 조사하고 평가하였다. 그 결과 연군개발정보센터에서 사용 중인 DVI 문서 형식이 한글 문서를 인터넷 상에 구현하는 가장 효율적인 방법 가운데 하나임이 증명되었다.

• Journal of the Korean School Mathematics Society
• /
• v.14 no.3
• /
• pp.325-337
• /
• 2011

There have been several studies regarding strict and formal proof in the field of geometry in middle school curriculum, and the level of proof has been gradually lowered along with the changes in the curriculum. In the 2011 Revised Middle School Math Curriculum, there have been efforts to eliminate the term 'proof' and instead to replace it with the new one, 'justification'. Therefore, this study intends to present specific and practical examples of justification by analyzing the current math textbook especially in the field of geometry. As a result, it identified that strict and practical proof has been sharply increased in the second year of middle school. It also witnessed the possibility of justification from the various examples presented in the first, second, and the third year of the middle school math textbook.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.07a
• /
• pp.503-505
• /
• 2014

지능형 웹의 확장을 위해 링크드 데이터(Linked Open Data)를 통한 표준화 연구가 활발하게 진행되고 있다. 뿐만 아니라 링크드 데이터는 RDF, SPARQL을 이용한 정보를 더욱 더 지능적이고 다양한 분야에 적용 할 수 있는 방법으로 제시되고 있다. 하지만 이기종 환경에서는 각각 서로 다른 데이터 형식을 지니게 되므로 통합환경을 구축하는데 어려움이 따른다. 이를 위해 본 논문에서는 다양한 이기종 환경에서의 데이터 형식 변환이 가능한 RDF 컨버터를 제안한다. 제안하는 RDF 컨버터는 SPARQL를 비롯한 다양한 질의어로 데이터의 효율적인 분석, 변환이 가능하다. 성능평가를 통해 RDB 데이터 형식 분석과 RDF 데이터 변환에 대한 정확도를 확인하였고 D2RQ와 Jena2의 비교를 통해 서로 다른 RDB 데이터가 D2RQ에서 변환시간이 4.2% 빠르다는 성능을 증명하였다.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.23-48
• /
• 2007

This study begins from posing a problem, 'formal introduction of mathematical induction in school mathematics'. Most students may learn the mathematical induction at the level of instrumental understanding without meaningful understanding about its meaning and structure. To improve this didactical situation, we research on the historical progress of mathematical induction from implicit use in greek mathematics to formalization by Pascal and Fermat. And we identify various types of thinking included in the developmental process: recursion, regression, analytic thinking, synthetic thinking. In special, we focused on the role of regression in mathematical induction, and then from that role we induce the implications for teaching mathematical induction in school mathematics.

• Smart Media Journal
• /
• v.3 no.3
• /
• pp.36-45
• /
• 2014

Based on the perception of Maurice Merleau Ponty, This study defines that Moving is a form lively to experience meaning, pleasure as the aesthetic attribute structured to a product, expression and value are synthesized into. The purpose of study is to argue that Wearable, Ubiquitous, Interaction, Play, D, I, Y, Universal, Ecology are the forms, modalities that the moving is variously subjected to the product design. Above This is the result reasoned according to analogical form as below between the moving and all design forms. First, The moving as the aesthetic expression and value are synthesized into is the intrinsic, general proposition, maxim for the value judgement. Second, All design forms are the cases which the values based on the aesthetic expression system are subjected to Third, Thus All design forms are the modalities of the aesthetic expression based on the values. The certainty of this judgement, reasoning is the proof that the correspondence between the moving as the aesthetic expression and design form is the fact. That is to say, It is the proof that Users lively experience the aesthetic meaning, pleasure in fact as the aesthetic values are subjected to all design forms. The lived experience of each user in their daily life itself is the only method or assurance for this. The moving integrates the existence of a product and what should be of users into the aesthetic dimension and at the same time, is realized based on this. The emphasized theme in all cases of this study is not the product but the moving. So, The product design is changed into the action which structures the moving like above to a product.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.755-758
• /
• 2000

시각 언어는 인간-컴퓨터 사이의 인터랙션 수단이다. 올바른 인터랙션을 위하여 저작된 컨텐츠와 재생되는 씬의 시맨틱이 인간과 컴퓨터는 물론 인간과 인간 사이에서 일관성과 신뢰성을 가져야 한다. 본 논문에서는 인터랙션의 일관성과 신뢰성을 위한 시각 언어의 시각문장 집합을 정의하고 형식화한다. 이러한 형식화는 시각 언어의 시각적 저작 내용의 모호성을 제거하여 공동 참여자의 신뢰성을 높인다. 또한 형식 정의에 대하여 저작 컨텐츠와 재생 씬의 동일성을 그래프로 증명한다. 이러한 형식 정의를 MPEG-4 컨텐츠 저작 도구에 적응한다. 즉. 각 객체 사이의 시간관계 정의에 따라 저작하며, 사용자 인터랙션에 따른 씬의 속성의 변화를 효율적으로 지원한다. 저작된 컨텐츠는 씬의 속성 정보에 따라 객체 사이의 동기화를 유지하면서 재생한다.