• Unit 4: Mathematical Induction and Introduction to Sequences

    In the field of computer science, we are often required to prove the correctness of an algorithm. Mathematics has a variety of methods in order to do just that, one of which is known as mathematical induction. In this unit, we will learn to use induction in order to determine whether mathematical sequences are valid or invalid. This lesson is extremely important, because mathematical sequences are the basis for the study of repeated processes.

    This unit will present induction first in an abstract form and then through specialized proofs of sequences. We will examine mechanisms for finding the general formula for a sequence and apply mathematical induction to prove a given formula's validity.

    Completing this unit should take you approximately 23 hours.

    • 4.1: Sequences

    • 4.2: Summation

    • 4.3: Products

      • 4.4: Factorial Notation

      • 4.5: Mathematical Induction

      • 4.6: Loop Invariants

      • Unit 4 Assessment