Induction
Upcoming SlideShare
Loading in...5
×
 

Induction

on

  • 1,450 views

A presentation on Mathematical Induction

A presentation on Mathematical Induction

Statistics

Views

Total Views
1,450
Views on SlideShare
1,447
Embed Views
3

Actions

Likes
0
Downloads
32
Comments
0

2 Embeds 3

http://cursos.itesm.mx 2
http://esp.sp.edu.sg 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Induction Induction Presentation Transcript

  • INDUCTION As soon as an Analytical Engine exists, it will necessarily guide the future course of the science. Whenever any result is sought by its aid, the question will then arise – By what course of calculation can these results be arrived at by the machine in the shortest time? - Charles Babbage, 1864
  • Overview
      • Numerical Iteration
      • Structural Induction
      • Double Induction
    03/12/11
  • Numerical Iteration
  • Numerical Iteration
    • Iteration means the act of repeating a process usually with the aim of approaching a desired goal or target or result. Each repetition of the process is also called an "iteration", and the results of one iteration are used as the starting point for the next iteration.
    • Iteration in computing is the repetition of a process within a computer program. It can be used both as a general term, synonymous with repetition, and to describe a specific form of repetition with a mutable state.
    03/12/11
    • var i, a := 0 // initialize a before iteration
    • for i from 1 to 3 // loop three times
    • {
      • a := a + i // increment a by the current value of I
      • }
      • print a // the number 6 is printed
    03/12/11
  • Recursive Fibonacci
    • procedure fibonacci (n: nonnegative integer)
    • if n = 0 then fibonacci (0) :=0
    • else if n =1 then fibonacci (1) := 1
    • else fibonacci (n): = fibonacci (n-1) + fibonacci (n-2)
    What’s the “problem” with this algorithm? 03/12/11
  • Iterative Fibonacci
    • procedure iterativefibonacci (n: nonnegative integer)
    • if n=0 then y:= 0
    • else
    • begin
    • x := 0
    • y := 1
    • for i := 1 to (n-1)
    • begin
    • z := x + y
    • x := y
    • y := z
    • end
    • end
    • {y is the nth Fibonacci number}
    03/12/11
  • Structural Induction
  • Structural Induction
    • Structural induction can be used to prove that all members of a set constructed recursively have a particular property.
    • Basic Step: Show that the result holds for all elements specified in the basis step of the recursive definition to be in the set.
    • Recursive step: Show that if the statement is true for each of the elements used to construct new elements in the recursive step of the definition, the result holds for these new elements.
    03/12/11
  • Validity of Structural Induction follows Mathematical Induction ( for the nonnegative integers)
    • P(n) the claim is true for all elements of the set that are generated by n or fewer applications of the rules in the recursive step of the recursive definition.
    • So, we will do induction on the number of rules applications.
    • We show that P(n) is true whenever n is a nonnegative integer.
    03/12/11
  • Validity of Structural Induction follows Mathematical Induction ( for the nonnegative integers)
    • Basis case - we show that P(0) is true (i.e., it’s true for the elements specified in the basis step of recursive definition).
    • From recursive step, if we assume P(k), it follows that P(k+1) is true.
    • Therefore when we complete a structural induction proof we have shown that P(0) is true, and that P(k)  P(k+1).
    • So, by mathematical induction P(n) follows for all nonnegative numbers.
    03/12/11
  • Well-Formed Formulas T is a wff F is a wff p is a wff for any propositional variable p If p is a wff, then (  p) is a wff If p and q are wffs, then (p  q) is a wff If p and q are wffs, then (p  q) is a wff For example, a statement like ((  r)  (p  r)) can be proven to be a wff by arguing that (  r) and (p  r) are wffs by induction and then applying rule 5. Note: we have three recursive/construction rules to create new elements. 03/12/11 Basic Cases Recursive Step
  • Structural induction --- illustrative example
    • Well Formed Formulae for compound statement Forms We can define the set of well formed formulae for compound statement forms involving T,F, Propositional variables and operators from the set {  ,  ,  ,  ,  ,}.
    03/12/11
  • Structural induction --- illustrative example
    • Basis Step ---
      • T,F, and s, where s is a propositional variable , are well formed formulae
    • Recursive Step:
      • If E and F are well formed formulae, then (  E),(E  F), (E  F). (E  F) and (E  F) are well formed formulae.
    03/12/11
  • Double Induction
  • Double Induction 03/12/11
  • Double Induction
    • Double induction: There are cases where the proof of the inductive step requires, in its own right, an inductive argument. The following examples illustrate this point.
    • Sometimes we would like to prove a proposition P(m, n) involving two natural numbers m by iterating the inductive process. This is done by performing an induction on one of the variables, say m , and then an induction on n . This strategy is called double induction .
    03/12/11
  • Steps of Double Induction
    • following steps.
      • Prove P(1,1) is true
      • Prove P(m,1)  P(m+1,1)
      • Prove P(m, n )  P(m,n+1) for all natural numbers
    03/12/11
  • Example of Double Induction
    • Example Show that for each n∈ N, 2 ⋅ 7n + 3 ⋅ 5n – 5 is a multiple of 24.
    • Solution
      • Writing an = 2 ⋅ 7n + 3 ⋅ 5n – 5, the claim is clear for n = 1.
      • Assuming it true for n = k then as ak+1 = 7 ⋅ ak – 6⋅ 5k + 30, the inductive argument would be complete if we could prove that 6⋅ 5k – 30 is always a multiple of 24. We can now start a new
      • inductive argument to prove the last statement, an easy task left to the reader
    03/12/11
  • Thank you for your co-operation