**ERIC Number:**EJ897200

**Record Type:**Journal

**Publication Date:**2010

**Pages:**12

**Abstractor:**As Provided

**Reference Count:**7

**ISBN:**N/A

**ISSN:**ISSN-1051-1970

Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction

McAndrew, Alasdair

PRIMUS, v20 n7 p591-602 2010

Mathematical induction is one of the major proof techniques taught to mathematics students in the first years of their undergraduate degrees. In addition to its importance to mathematics, induction is also required for computer science and related disciplines. However, even if the concepts of a proof by induction are taught and understood, many students fall down on the algebra required to prove the inductive step. Using a computer algebra system allows students to leap this particular hurdle, and thus expend more effort in understanding the concepts of proofs by induction. An added advantage is that students can prove statements requiring far messier algebra than is reasonable to expect them to do by hand.

Descriptors: Logical Thinking, Educational Technology, Algebra, Computer Uses in Education, Mathematics Instruction, Teaching Methods, Validity, Mathematical Logic, Undergraduate Study, College Mathematics, Mathematical Concepts

Taylor & Francis, Ltd. 325 Chestnut Street Suite 800, Philadelphia, PA 19106. Tel: 800-354-1420; Fax: 215-625-2940; Web site: http://www.tandf.co.uk/journals

**Publication Type:**Journal Articles; Reports - Descriptive

**Education Level:**Higher Education

**Audience:**N/A

**Language:**English

**Sponsor:**N/A

**Authoring Institution:**N/A