Asset Details
Do you wish to reserve the book?
Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction
Do you wish to request the book?
Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
Using a Computer Algebra System to Facilitate the Learning of Mathematical Induction
2010
Overview
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.
Publisher
Taylor & Francis Group,Taylor & Francis, Ltd,Taylor & Francis Ltd
Subject
