z-logo
open-access-imgOpen Access
Using the Maple computer algebra system to study mathematical induction
Author(s) -
A. A. Olenev,
Alexander V. Shuvaev,
M. V. Migacheva,
E. S. Kulevskaya,
Anton Nazarenko
Publication year - 2020
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1691/1/012102
Subject(s) - mathematical induction , mathematical proof , symbolic computation , maple , computer science , algebraic number , obstacle , algebra over a field , mathematics education , mathematical logic , algebraic expression , inductive method , calculus (dental) , mathematics , teaching method , programming language , pure mathematics , mathematical analysis , botany , geometry , biology , medicine , dentistry , political science , law
Mathematical induction is one of the main methods of the proof that students study and use it in their studies in higher education. This important method, in addition to mathematics, is widely used in computer science and a number of other related disciplines. However, even if the principles of proof using the method of induction are taught, understood and mastered by students well, many students have great difficulty with algebraic transformations necessary for proving, for example, finding the inductive step. The use of the Maple computer algebra system allows students to overcome this obstacle and, more attention and effort to pay to understanding the concept of proofs using the method of mathematical induction. In addition, students can prove more complex algebraic statements, and their activities can be of a pronounced research nature.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here