• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.407-433
• /
• 2018

In order to analyze textbooks from a discursive approach, the purpose of this study is to structuralize an analytic framework based on previous literature review and apply it to analyzing the meanings and their syntheses developed by words and visual mediators appeared in the definition of graph in first-year middle school textbooks. The discursive approach consists of the communicational approach developed by Sfard(2008) and the systemic functional linguistics developed by Halliday(1985/2004). In this study, ideational meta-functions for ideational meanings and interpersonal meta-functions for interpersonal meanings were employed to analyze the meanings produced by words and visual mediators in textbooks, whereas textual meta-functions for textual meanings were used for analyzing the synthesized relationships between words and visual mediators. Results show that first, density in mathematical discourse was very high and subjects in mathematical activities were ambiguous in the ideational meanings of words, and behavior aspect was more emphasized than thinking aspect in the interpersonal meanings of words which request student participations. In the case of ideational meanings of visual mediators, there was a lack of narrative diagrams, whereas there were qualitative differences in the case of offer. Second, there was a need for promoting a wide range of diverse synthetic relationships between words and visual mediators for developing enriched mathematical meanings through the varying uses like specification, explanation, similarity, and complement. These results are so important that they provide a new analytic framework from a discursive approach to textbook analysis because not only words, but also visual mediators are analyzed as tools for producing meanings in mathematics textbooks and their synthetic relationships are also examined.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.65-80
• /
• 2010

The aims of our study are to investigate the nature of mathematical reasoning and the teaching of mathematical reasoning in school mathematics. We analysed the process of shaping deduction in ancient Greek based on Netz's study, and discussed on the comparison between his study and Freudenthal's local organization. The result of our analysis shows that mathematical reasoning in elementary school has to be based on children's natural language and their intuitions, and then the mathematical necessity has to be formed. And we discussed on the sequences and implications of teaching of the sum of interior angles of polygon composed the discovery by induction, justification by intuition and logical reasoning, and generalization toward polygons.

• The Mathematical Education
• /
• v.63 no.1
• /
• pp.1-18
• /
• 2024

This study aims to analyze low-performing high school students' difficulties in constructed response (CR) mathematics assessments and explore ways to use writing activities to support student learning. The participants took CR assessments, engaged in guided writing activities across 15 lessons, and provided responses to our interviews. The study identified 20 types of student difficulties, which were sorted into two main categories: "mathematical difficulties" and "CR difficulties." The difficult nature of mathematics as a school subject included a lack of understanding of mathematical concepts, students' difficulty with mathematical symbols and notations, and struggles with word problems. Challenges specific to CR assessments included students' difficulties arising from the testing conditions unlike those of multiple-choice items, and included issues related to constructing appropriate responses and psychological barriers. To address these challenges in CR assessments, the study conducted guided writing activities as an intervention, through which six themes were identified: (1) internalization of mathematical concepts, (2) mathematical thinking through relational understanding, (3) diverse problem-solving methods, (4) use of mathematical symbols, (5) reflective thinking, and (6) strategies to overcome psychological barriers.

• The Korean Journal of Applied Statistics
• /
• v.32 no.4
• /
• pp.485-502
• /
• 2019

Theoretical statistics is a calculus based course. However, there are limitations to learn theoretical statistics when students do not know enough calculus techniques. Mathematical softwares (computer algebra systems) that enable calculus manipulations help students understand statistical concepts, by avoiding the difficulties of calculus. In this paper, we introduce mathematical software such as Maxima and Wolfram Alpha. To foster statistical concepts in theoretical statistics education, we present three examples that consist of mathematical derivations using wxMaxima and statistical simulations using R.

• School Mathematics
• /
• v.16 no.4
• /
• pp.803-825
• /
• 2014

From the early stages of learning algebra, literal symbols are used to represent algebraic objects such as variables and parameters. The concept of parameters contains both indeterminacy and fixity resulting in confusion and errors in understanding. The purpose of this research is to compare the beginners of algebra and pre-service teachers who completed secondary mathematics education in terms of understanding this paradoxical nature of parameters. We recruited 35 middle school students in eight grade and 73 pre-service teachers enrolled in a undergraduate course at one university. Using them we conducted a survey on the perception of the nature of parameters asking if one considers parameters suggested in a problem as variables or constants. We analyzed the collected data using the mixed method of qualitative and quantitative approaches. From the analysis results, we identified several difficulties in understanding of parameters from both groups. Especially, our statistical analysis revealed that the proportions of subjects with limited understanding of the concept of parameters do not differ much in two groups. This suggests that learning algebra in secondary mathematics education does not improve the understanding of the nature of parameters significantly.

• Journal of Educational Research in Mathematics
• /
• v.17 no.1
• /
• pp.1-31
• /
• 2007

Negative numbers have been one of the most difficult mathematical concepts, and it was only 200 years ago that they were recognized as a real object of mathematics by mathematicians. It was because it took more than 1500 years for human beings to overcome the quantitative notion of numbers and recognize the formality in negative numbers. Understanding negative numbers as formal ones resulted from the Copernican conversion in mathematical way of thinking. we first investigated the historic and the genetic process of the concept of negative numbers. Second, we analyzed the conceptual fields of negative numbers in the aspect of the additive and multiplicative structure. Third, we inquired into the levels of thinking on the concept of negative numbers on the basis of the historical and the psychological analysis in order to understand the formal concept of negative numbers. Fourth, we analyzed Korean mathematics textbooks on the basis of the thinking levels of the concept of negative numbers. Fifth, we investigated and analysed the levels of students' understanding of the concept of negative numbers. Sixth, we analyzed the symbolizing process in the development of mathematical concept. Futhermore, we tried to show a concrete way to teach the formality of the negative numbers concepts on the basis of such theoretical analyses.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.211-232
• /
• 2001

수학 교수-학습에서 기호 연산 조작이 가능한 수학 응용소프트웨어인 Maple을 활용한 지도 방안을 모색해 보고자 한다. Maple의 내장함수를 단순히 이용하는 것보다 모듈을 사용하여 학습자가 학습내용에 능동적으로 단계적인 풀이과정과 수학적 개념을 찾아갈 수 있도록 하였다. 이를 위해 Maple Procedure를 사용하여Package를 생성하고, 이를 Cell sheet에 적용시켜, 이차곡선에 대한 일반화된 개념 확립과 교사 - 매체 - 학생간의 원활한 상호작용으로 학생들의 문제해결력 향상에 도움이 될 수 있는 교수-학습 모형을 탐색해 보고자 한다.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Computational Structural Engineering
• /
• v.5 no.3
• /
• pp.52-55
• /
• 1992

이 글에서는 Mathematica의 고유한 특징과 많은 기능 중의 일부분만을 예를 들어 설명을 하였다. 그러나 Mathematica의 피할 수 없는 단점은 많은 수학적 기능이 포함되어 있기 때문에 처리속도가 늦다는 점이다. 예를 들면 많은 량의 반복작업이나 차수가 큰 매트릭스의 연산작업은 다소 속도가 늦어 PC기종에서는 곤란을 겪을 때가 많다. 따라서 PC대신 workstation 같은 상위기종의 컴퓨터를 이용한다면 처리속도가 빨라져 진행에 문제점이 없다. 한 예로 workstation에서는 차수가 30개인 고유치 해석도 내장함수인 명령어만으로 단지 몇초만에 할 수 있는 데 비하여 PC에서는 기종에 따라 몇배, 몇백배의 시간이 요구되는 것이다. 그리고 또 하나의 단점으로는 방대한 프로그램을 운용하기 위한 비용(ram)이 많이 든다는 점이다. 한 예로 PC에서는 기본적으로 Mathematica를 작동하기 위해 최소한 4 mega ram이 필요하며 여러 수학적 기능을 충분히 이용하기 위해 많은 량의 ram이 필요하다는 점이다. 그러나 위의 단점은 Mathematica가 지니고 있는 고유한 장점을 생각한다면 매우 미미한 것이라 여겨진다. 수학의 대부분의 기능을 포함하고 있으며 기호처리가 가능하고 프로그래밍 기법이 다양하기 때문에 수학을 이용하여 연구를 하는 사람에게는 훌륭한 도구가 생긴 것이라 할 수 있다.