How should I prove the correctness of algorithm ?

While solving problem I used to think for an idea,then I will code it.
But i never thought about the correctness of algorithm.
What is correctness of algorithm ?
How should I prove it?
Is it necessary for every problem.Any one give me link or examples how to prove the correctness of algorithm.

asked 23 Feb '16, 13:20

4★pallesai
176●8●30
accept rate: 17%

2 Answers:

oldest answers newest answers popular answers

0	You can refer to the MIT - open courseware(OCW) 42. It is based on proofs link answered 23 Feb '16, 13:25 3★prrateekk 534●2●16 accept rate: 12%

0	MIT is Ok. link answered 24 Feb '16, 11:19 0★alaganparikh 1 accept rate: 0%

toggle preview

community wiki:

Preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

*italic* or _italic_
**bold** or __bold__
link:[text](http://url.com/ "title")
image?![alt text](/path/img.jpg "title")
numbered list: 1. Foo 2. Bar
to add a line break simply add two spaces to where you would like the new line to be.
basic HTML tags are also supported
mathemetical formulas in Latex between $ symbol

learn more about Markdown

Question tags:

algorithm ×1,657
proof ×48

question asked: 23 Feb '16, 13:20

question was seen: 639 times

last updated: 24 Feb '16, 11:19

How should I prove the correctness of algorithm ?

Follow this question

Related questions