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

• Journal of the Korean School Mathematics Society
• /
• v.8 no.1
• /
• pp.101-116
• /
• 2005

The purpose of this study is to survey mathematics teacher's cognition of proof along with their proof forms of expression and proof ability, and to explore the relationship between their proof scheme and teaching practice. This study shows that mathematics teachers tend to regard proof as a deduction from assumption to conclusion and that they prefer formal proof with mathematical symbols. Mathematics teachers also recognize that prof is an important area in school mathematics but they reveal poor understanding of teaching methods of proof. Teachers tend to depend on the proof style employed in mathematics textbooks. This study demonstrates that a proof scheme is a major factor of determining the teaching method of proof.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.118-123
• /
• 1998

정형방법들은 명세와 설계 문제들에서 모호성, 불완전성, 그리고 불일치성을 보다 쉽게 발견하고 수정하기 위해 사용된다. Z 저형 명세 언어를 객체 지향 패러다임으로 기술하기 위하여, 클래스 기술에 대한 명확한 정의가 필요하다. 그리고 이를 증명할 수 있는 프로토타입이 필수적이다. Z 스키마의 숨김 연산자와 그의 확장인 논리 한정 연산자와 투사 연산자를 이용하여 클래스의 원리를 가지는 클래스 스키마를 유도하여 정의한다. 유도된 클래스 스키마가 상속성, 다형성, 캡슐화 등의 객체 지향 원리를 가지는가에 대한 증명하기 위한 프로토타입을 설계한다.

• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.347-360
• /
• 1989

Retearches on epistemology for artificial intelligence have started quite recently.Recently,Konolige made a contribution to epistemology by proposing a deduction model based on an efficieit modal logic for a proof mechanism for belief.In this thesis,a unified and generalized proof mechanism for the epistemic logic using a formal system called a View is pesented.In addition,the algorithm to adapt the theorem prover according to the given rule schema,which charncterizes the deduction model of the epistemic logic,is constructed. With this algorlthm,multiple agents having different rule schemas can co-exist in the proposed system. The soundness and completeness of the proposed proof mechanism is proved and a simple theorem prover is implemented to demonstrate the usefulness and practilcality.

• Journal of Educational Research in Mathematics
• /
• v.18 no.1
• /
• pp.123-135
• /
• 2008

This study analysed the schemata which are requisite to understand and prove examples of mathematical induction, and examined students' construction of the schemata. We verified that the construction of implication-valued function schema and modus ponens schema needs function schema and proposition-valued function schema, and needs synthetic coordination for successive mathematical induction schema. Given this background, we establish $1{\sim}4$ levels for students' understanding of the mathematical induction. Further, we analysed cognitive difficulties of students who studying mathematical induction in connection with these understanding levels.

• Journal of the Korean Society for information Management
• /
• v.31 no.2
• /
• pp.41-56
• /
• 2014

The necessity of the raw data management and reuse is issued by diffusion of the recognition that research data is a national asset. In this paper, a metadata design model by schema class inheritance and a metadata integrated search model by schema objects are suggested for a structural management of the data. A data architecture in which an schema object has an 1 : 1 relation to the data collection was designed. A suggested model was testified by creation of a virtual schema class and objects which inherit the schema class. It showed the possibility of implement systematically. A suggested model can be used to manage the data which are produced by government agencies because schema inheritance and integrated search model present way to overcome the weak points of the 'Top-dow Hierarchy model' which is being used to design the metadata schema.

• Journal of KIISE:Databases
• /
• v.31 no.5
• /
• pp.445-456
• /
• 2004

The database schema is assumed to be stable enough to remain valid even as the modeled environment changes. However, in practice. data models are not nearly as stable as commonly assumed by the database designers. Even though a rich set of schema change operations is provided in current database systems, the users suffer from the problem that schema change usually impacts existing application programs that have been written against the schema. In this paper, we are exploring the possible solutions to overcome this problem of impacts on the application programs. We believe that for continued support of the existing programs on the old schema, the old schema should continue to allow updates and queries, as before. Furthermore, its associated data has to be kept up-to-date. We call this the program independency property of schema change tools. For this property. we devise so-called program independency schema evolution (PISE) methodology. For each of the set of schema change operations in the relational schemas, the sketch of the additional algorithms due to the PISE compliance is presented in order to prove the comprehensiveness and soundness of our PISE methodology.

• Proceedings of the IEEK Conference
• /
• 2003.07d
• /
• pp.1511-1514
• /
• 2003

본 논문에서는 지능형 방송에서 내용 기반 검색 서비스에 관해 연구하였다. 이를 통해 MPEG-7 오디오/비주얼 서술자들을 이용하여 TVAF 메타데이타와 메타데이타 전송 서비스 스키마를 확장하였다. 그리고 MPEG-7 오디오 서술자를 이용한 내용 기반 검색 시 나리에 제안된 스키마를 적용하여 효용성을 증명하였다.

• The KIPS Transactions:PartB
• /
• v.9B no.1
• /
• pp.23-28
• /
• 2002

A fundamental problem in building an intelligent agent is that an agent does not understand the meaning of its perception or its action. One reason that an agent cannot understand the world is partially caused by a syntactic approach that converts a semantic feature into a simple string. To solve this problem, Cohen introduces a semantic approach that an agent autonomously learns a meaningful representation of physical schemas, on which some advanced conceptual structures are built, from physically interacting with environment using its own sensors and effectors. However, Cohen does not deal with a meta level of conceptual primitive that makes recognizing a schema possible. We propose that negation is a meta schema that enables an agent to recognize a physical schema. We prove some semantic aspects of negation.

• Journal of KIISE:Databases
• /
• v.28 no.2
• /
• pp.131-139
• /
• 2001

데이터 변환은 데이터 재사용, 데이터 교환 및 통합 등에 사용되는 중요한 기술이다. 본 논문에서는 객체지향 데이터베이스를 유효한 XML 문서들로 변환시키는 두 가지 알고리즘을 제시한다. 먼저 객체지향 데이터베이스의 스키마, 객체지향 데이터베이스, DTD 그리고 XML 문서를 정의한 뒤 두 가지 알고리즘, 즉 객체지향 데이터베이스의 스키마를 DTD로 변환시키는 알고리즘과 객체지향 데이터베이스를 XML 문서들로 변환시키는 알고리즘을 제시한다. 그리고 제시한 두 가지 알고리즘의 결과는 항상 잘 구성된 XML 문서들이고 유효한 XML 문서들임을 증명한다. 잘 구성된 XML 문서는 XML문서가 갖추어야 하는 필수 조건이므로 반드시 필요하다. 또한 유효성은 유효한 XML 문서들을 필요로 하는 XML 응용에 유효한 XML 문서를 제공할 수 있도록 한다.