CSC 171 – SPRING 1999

4/30/99


Click here to start


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