Why Algorithms Begin with 'Correctness'

I believe there are broadly two types of introductory books on computer science. One type is books that get you to start ...