11 Jul
2007
11 Jul
'07
5:04 p.m.
Sarad AV <jtrjtrjtr2001@yahoo.com> writes:
One of the most common ways used to prove algorithmic correctness is mathematical induction, isn't it?
Yes. Now name someone who isn't a maths geek at a University who proves algorithmic correctness as part of their work. Peter.