Lec26 - Problem Solving and Loop Verification Problem...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
13 Mar 2006 1 Problem Solving and Loop Verification Problem Solving Top Down Design Iterative Construct in Programs Loop initialization Loop invariance Loop termination Examples of loop invariance
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
13 Mar 2006 2 The problem solving It is a creative process Defines as systematization and mechanization There is no universal method Different strategies to work for different people. Problem definition phase What must be done? Extract a set of precisely defined tasks from the problem statement Ex: Finding the square root of an integer
Background image of page 2
Mar 2006 3 The use of specific examples Some times it happens that we don’t have any idea, how to start on the problem, even after the problem definition phase. Solution: Pick a specific example of the general problem. Ex: To find the maximum in the given set of numbers choose a particular set of numbers, and work out the mechanism. Some times this approach is useful to reach at general
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 10

Lec26 - Problem Solving and Loop Verification Problem...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online