• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• The Mathematical Education
• /
• v.58 no.2
• /
• pp.161-185
• /
• 2019

This study aims to examine pre- and in-service mathematics teachers' reasoning and how they justify their reasoning. For this purpose, we developed a set of mathematical tasks that are based on mathematical contents for middle grade students and conducted the survey to pre- and in-service teachers in Korea. Twenty-five pre-service teachers and 8 in-service teachers participated in the survey. The findings from the data analysis suggested as follows: a) the pre- and in-service mathematics teachers seemed to be very dependent of the manipulation of algebraic expressions so that they attempt to justify only by means of procedures such as known algorithms, rules, facts, etc., rather than trying to find out a mathematical structure in the first instance, b) the proof that teachers produced did not satisfy the generality when they attempted to justify using by other ways than the algebraic manipulation, c) the teachers appeared to rely on using formulas for finding patters and justifying their reasoning, d) a considerable number of the teachers seemed to stay at level 2 in terms of the proof production level, and e) more than 3/4 of the participating teachers appeared to have difficulty in mathematical reasoning and proof production particularly when faced completely new mathematical tasks.

• School Mathematics
• /
• v.10 no.4
• /
• pp.573-581
• /
• 2008

School geometry takes various approaches such as deductive, analytic, and vector methods. Especially, the mathematical connections between these methods are closely related to the mathematical connections between geometry and algebra. This article analysed the geometric consequences of vector algebra from the viewpoint of teacher's subject-matter knowledge and investigated the connections between the geometric proof and the algebraic proof with vector and inner product.

• Journal for History of Mathematics
• /
• v.17 no.2
• /
• pp.73-84
• /
• 2004

Stone introduced extremally disconnected spaces as the image of complete Boolean algebras under his famous duality between Bool and ZComp and they turn out to be projective objects in various categories of Hausdorff spaces and completely regular ones are exactly those X with Dedekind complete C(X, ). In the pointfree setting, extremally disconnected frame (= De Morgan frame) are those with De Morgan condition. In this paper, we investigate a historical aspect of De Morgan frame together with that of De Morgan.

• Communications of Mathematical Education
• /
• v.6
• /
• pp.383-407
• /
• 1997

가환다원환의 대수적 미분에 관한 성질들은 많은 연구의 대상이 되어 왔다. 본 논문은 가환 다원환에서 정의된 대수적 미분의 일반화로써 가환일 필요가 없는 일반다원환의 대수적 미분의 성질을 연구한 것이다. 비가환다원환의 미분정의를 바탕으로 하여 가환다원환에서 연구되어 온 보편적 미분가군의 성질을 일반다원환 의 미분가군에 적용하려고 노력하였다. 이 논문에서 사용한 정리의 증명과정이나 기본개념은 가환다원환의 미분개념에서 나타난 성질들을 바탕으로 하였다.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.37-44
• /
• 2004

Homological algebra has emerged and developed since 1950s. However, in 1890's Hilbert investigated the resolutions in his Syzygy Theorem which is a vital ingredient in homological algebra. In 1956 Serre has proved the finite global dimension of regular local rings. His result give a basic tool in homological algebra. This paper also deals with the depth formula that was raised by Auslander in 1961.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.55-76
• /
• 2011

Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.115-139
• /
• 2009

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

• The Mathematical Education
• /
• v.53 no.1
• /
• pp.93-110
• /
• 2014

Algebra deals with so general properties about number system that it is called as 'generalized arithmetic'. Observing students' activities in algebra classes, however, we can discover that recognition of the generality in algebraic proofs is not so easy. One of these difficulties seems to be caused by variables which play an important role in algebraic proofs. Many studies show that students have experienced some difficulties in recognizing the meaning and the role of variables in algebraic proofs. For example, the confusion between 2m+2n=2(m+n) and 2n+2n=4n means that students misunderstand independent/dependent variation of variables. This misunderstanding naturally has effects on understanding of the meaning of proofs. Furthermore, students also have a difficulty in making a transition from algebraic proof to numerical cases which have the same structure as the proof. This study investigates whether middle school students can recognize dependent generality and make a transition from proofs to numerical cases. The result shows that the participants of this study have a difficulty in both of them. Based on the result, this study also includes didactical implications for teaching the generality of algebraic proofs.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.93-108
• /
• 2004

In this article we study on various proofs of the Steiner-Lehmus theorem(any triangle that has two equal angle bisectors is isosceles). We suggest 6 geometric proofs and 3 algebraic proofs of the theorem in detail, analyze these proofs, extract related theorems, proof ideas.