• 대한수학교육학회지:수학교육학연구
• /
• 제24권3호
• /
• pp.359-374
• /
• 2014

증명 학습과 관련하여 학생들이 경험하는 어려움과 오류는 수학교육계의 난제라 할 만하다. 증명에 대한 형식적 학습이 이루어지는 기하 영역에서뿐만 아니라 대수 증명에 대해서도 문자식의 처리나 일반성의 파악과 관련하여 어려움의 요소는 도처에서 발견된다. 본 연구에서는 두 3의 배수의 합은 3의 배수라는 명제에 대한 문자식을 포함한 증명에서 학생들이 증명의 문맥을 적절하게 이해하는가를 알아보는 데 초점을 둔다. 중학교 3학년 학생 24명을 대상으로 하여 증명 과정에 문자식이 포함되며 결론 부분은 빈 칸으로 생략되어 있는 증명을 제시하고 그 증명이 어떤 명제에 대한 증명인지 알아보도록 한 결과 반 이상의 학생이 문자식 자체에 근거하여 부적절한 응답을 하였다. 나아가 그 중 임의 추출한 세 명을 개별 면담함으로써 사고 특징을 조사하였다. 대수 증명을 식의 성립을 보이는 것으로 간주하는 증명관, 증명 수행과 이해에서의 문자식 해석의 괴리 등을 비롯한 사고 특징을 파악하고 그로부터 교육적 시사점을 도출하였다.

• Journal of Information Science Theory and Practice
• /
• 제9권1호
• /
• pp.1-23
• /
• 2021

This study introduces novel research using Practice Context Models supported by Knowledge Networks and Percolation Theory with the aim to contribute to knowledge management in Proof-of-Concept (PoC) activities. The authors envision this proposal as a potential instrument to identify network structures based on a percolation (propagation) threshold and to analyze the importance of nodes (e.g., practitioners, practices, competencies, movements, and scenarios) during the percolation of knowledge in PoC activities. After thirty months immersed in the natural PoC habitat, acting as observers and practitioners, and supported by an ethnographic exercise and a designer-research mindset, the authors identified the production of meaning in PoC activities occurring in a hermeneutic circle characterized by the presence of several knowledge networks; thus, discovering the 'natural knowledge' in PoC as a spectrum of cognitive development spread throughout its network, as each node could produce and disseminate certain knowledge that flows and influences other nodes. Therefore, this research presents the use of Practice Context Models 'connected' to Knowledge Networks and Percolation Theory as a potential and feasible proposal to be built using the attribution of values (weights) to the nodes (e.g., practitioners, practices, competencies, movements, scenarios, and also knowledge) in the context of PoC with the aim to allow the players (e.g., PoC practitioners) to have more flexibility in building alliances with other players (new nodes); that is, focusing on those nodes with higher value (focus on quality) in collaboration networks, i.e., alliances (connections) with the aim to contribute to knowledge management in the context of PoC.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제27권2호
• /
• pp.157-173
• /
• 2024

Researchers continue to emphasize the centrality of proof in the context of school mathematics and the importance of proof to student learning of mathematics is well articulated in nationwide curricula. However, researchers reported that students' performance in proving tasks is not promising and students are not likely to see the need to prove a proposition even if they learned mathematical proof previously. Research attributes this issue to students' tendencies to accept an empirical argument as proof for a mathematical proposition, thus not being able to recognize the limitation of an empirical argument as proof for a mathematical proposition. In Korea, there is little research that investigated high school students' views about the need for proof in mathematics and their understanding of the limitation of an empirical argument as proof for a mathematical generalization. Sixty-two 11^th graders were invited to participate in an online survey and the responses were recorded in writing and on either a four- or five-point Likert scale. The students were asked to express their agreement with the need of proof in school mathematics and to evaluate a set of mathematical arguments as to whether the given arguments were proofs. Results indicate that a slight majority of students were able to identify a proof amongst the given arguments with the vast majority of students acknowledging the need for proof in mathematics.

• 한국의류산업학회지
• /
• 제12권6호
• /
• pp.755-763
• /
• 2010

This study was intended to identify the persuasion effects according to social proof message type and product type in the context of online cosmetic advertising. For the experiment, 4 stimuli were developed as experimental stimuli for the 2(social proof message type: attitudinal social proof message, behavioral social proof message)${\times}$2(product type: hedonic product, utilitarian product) factorial design. A total of 160 questionnaires allocating forty students to each group were distributed. The results were as follows. First, behavioral social proof message showed more effective than attitudinal social proof message in advertisement attention, click-through intention and purchase intention. Second, utilitarian product showed more effective than hedonic product in advertisement attention, click-through intention and purchase intention. Third, there was interaction effect according to social proof message type and product type on the aspect of click-through intention.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.513-528
• /
• 2014

본 연구에서는 대학원에 재학 중인 중 고등학교 수학 교사 36명을 대상으로 증명 및 증명 지도에 대한 인식을 조사하였다. 본 연구의 결과, 대부분의 교사들이 증명의 정당화 역할은 잘 인식하지만, 설명(확인), 이해, 발견, 의사소통, 체계화, 수학적 표현의 사용 등으로서의 역할은 미흡하게 인식하며, 많은 교사들이 증명의 조건에 대해 혼란스러운 개념을 가지고 있는 것으로 나타났다. 증명 지도의 이유에 대해서는 논리적 사고력 함양, 수학적 사고력 신장, 명제의 이해, 참인 명제의 확인, 수학의 본질 이해, 수학 지식 증가, 수학적 표현 증진, 수학의 즐거움 경험, 의사소통, 엄밀성 추구, 연계성 추구 등의 다양한 의견을 제시하였다. 증명 지도의 수행과 관련하여, 상당수의 교사들이 실제 증명 지도가 미흡하게 이루어지고 있다고 응답했으며, 학생들의 두려움과 흥미 부족, 증명 지도 시간 부족, 학생 사고수준 미흡, 지도 방식 미흡 등을 증명 지도의 제약 조건으로 언급하였다. 한편, 본 연구에서는 '증명'이라는 수학적 용어가 누락된 2009 개정 수학과 교육과정의 성취기준을 살펴보았다. '${\cdots}$를 이해하고 설명할 수 있다'는 성취기준은 증명 교수-학습과 관련하여 적절하지 않으며, 특히 논리적 추론이나 정당화 과정을 증명과 동일시하는 미흡한 개념을 가지고 있는 교사들에게 더욱 큰 혼란을 줄 위험이 있음을 확인하였다.

• 한국언어정보학회지:언어와정보
• /
• 제5권2호
• /
• pp.1-8
• /
• 2001

Natural language string sets are known to require a grammar with a generative capacity slightly beyond that of Context Free Grammars. Proofs regarding complexity of natural language have involved particular properties of languages like English, Swiss German and Bambara. While it is not very difficult to prove that Korean is more complex than the simplest of the many infinite sets, no proof has been given of this in the literature. I identify two types of center embedding in Korean and use them in proving that Korean is not a regular set, i.e. that no FSA's can recognize its string set. The regular language i salam i (i salam ul$)^j$ michi (key ha)^k$ essta is intersected with Korean, to give {i salam i (i salam ul$)^j$ michi (key ha$)^k$ essta i $$\mid$$ j, k $\geq$ 0 and j $\leq$ k}. This latter language is proved to be nonregular. As the class of regular sets is closed under intersection, Korean cannot be regular.

• Journal of the Korean Statistical Society
• /
• 제23권2호
• /
• pp.504-512
• /
• 1994

A simple proof for the random central limit theorem is given for a family of stationary linear lattice processes, which belogn to a class of 2 dimensional random fields, applying the Beveridge and Nelson decomposition in time series context. The result is an extension of Fakhre-Zakeri and Fershidi (1993) dealing with the linear process in time series to the case of the linear lattice process with 2 dimensional indices.

• 한국수학사학회지
• /
• 제16권2호
• /
• pp.55-70
• /
• 2003

This study investigated tile intuitive level of justification in geometry, as the former step to the aximatization, with concrete examples. First, we analyze limitations that the axiomatic method has in tile context of discovery and the educational situation. This limitations can be supplemented by the proper use of the intuitive method. Then, using the histo-genetic analysis, this study shows the process of the development of geometrical thought consists of experimental, intuitive, and axiomatic steps. The intuitive method of proof which is free from the rigorous axiom has an advantage that can include the context of discovery. Finally, this paper presents the issue of intuitive proving that the three angles of an arbitrary triangle amount to 180$^{\circ}$, as an example of the local systematization.

• ETRI Journal
• /
• 제35권1호
• /
• pp.7-17
• /
• 2013

The ongoing proliferation of new services, applications, and contents is leading the Internet to an architectural crisis owing to its inability to provide efficient solutions to new requirements. Clean-slate architectures for the future Internet offer a new approach to tackle current and future challenges. This proposal introduces a novel clean-slate architecture in which the TCP/IP protocol stack is decoupled in basic functionalities, that is, atomic services (ASs). A negotiation protocol, which enables context-aware service discovery for providing adapted communications, is also specified. Then, we present how ASs can be discovered and composed according to requesters' requirements. In addition, a media service provisioning use case shows the benefits of our framework. Finally, a proof-of-concept implementation of the framework is described and analyzed. This paper describes the first clean-slate architecture aligned with the work done within the ISO/IEC Future Network working group.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.525-530
• /
• 2010

대부분의 상황인식서비스는 공급자 또는 개발자에 의해 정의되고 있다. 그러나, 자신에게 무엇이 필요한지는 사용자가 가장 잘 알 수 있기 때문에, 사용자가 스스로 필요한 상황인식서비스를 정의할 수 있게 해주는 방법도 중요하다. 우리의 생활공간이 지능공간으로 변화되어 감에 따라 개인화된 상황인식서비스의 정의 수단은 더욱 중요해질 것이다. 본 논문은 사용자의 일상생활을 기록한 데이터로부터 유용한 서비스를 추출해주는 새로운 서비스 정의방법 CASPER를 소개한다. CASPER는 사용자의 생활 기록에 나타난 사건의 인과관계를 분석함으로써 유용한 서비스를 생성해주는 효과가 있다. 본 논문은 CASPER의 알고리즘과 그 유효성 검증 실험에 대해 설명한다.