Lecture28 - ComputerProgrammingITAC162. Problem Solving and...

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

View Full Document Right Arrow Icon
1 Computer Programming I TA C162 . 13 Mar 2006 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
2 Computer Programming I TA C162 . 13 Mar 2006 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
3 Computer Programming I TA C162 . 13 Mar 2006 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
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.

This note was uploaded on 05/14/2010 for the course CS SS ZG653 taught by Professor Shanta during the Spring '09 term at Birla Institute of Technology & Science.

Page1 / 10

Lecture28 - ComputerProgrammingITAC162. Problem Solving and...

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