Discrete aths

•Objectives

–to show the use of induction for proving properties of code involving loops

•use induction to prove that functions work

–introduce pre- and post- conditions,

loop termination

2. Loop Invariants

Docsity.com

Overview

1. What is a Loop Invariant?

2. Three simple examples

–they involve while loops

3. Selection Sort

4. Further Information

Docsity.com

##### Document information

Uploaded by:
emee

Views: 5041

Downloads :
9

Address:
Mathematics

University:
Allahabad University

Subject:
Discrete Mathematics

Upload date:
27/04/2013