Table of Contents
CSC 171 – SPRING 1999
OVERVIEW OF LECTURE 27
Proof
Logic
More Logic
Predicates
Induction Question
Proof by induction
Example
Example
Example
We could go on
Induction step - show that :
How?
Remember, I get to assume
So, I can substitute
Some Algebra
Some more algebra
Even more algebra
Which, is what we want to prove
Nice math, but what about computers?
Run time analysis
Count the loops
So, we get
Can we prove ?
|
Author: Thaddeus F. Pawlicki
|