#### Date of Defense

Fall 11-28-2005

#### Department

Mathematics

#### First Advisor

Gary Chartrand, Mathematics

#### Second Advisor

Elise deDoncker, Computer Science

#### Third Advisor

Michael Raines, Mathematics

#### Abstract

The purpose of this project is to explore the proof technique called mathematical induction in several fields in mathematics and in computer science. Chapter 1 defines the Principle of Mathematical Induction, the Strong Form of Induction, and the Well-Ordering Principle. Chapter 2 deals with induction in abstract algebra. Chapter 3 explores two proofs in computer science. Chapter 4 presents proofs based on the Fibonacci numbers, and Chapter 5 presents induction proofs from other areas of mathematics.

#### Recommended Citation

Shah, Vinit, "Proofs by Mathematical Induction in Mathematics and Computer Science" (2005). *Honors Theses*. 300.

https://scholarworks.wmich.edu/honors_theses/300

#### Access Setting

Honors Thesis-Campus Only

## Comments

Double major in Mathematics and Computer Science.