Section 5 Learn More
The primary purpose of this resource is to illustrate the importance of logic to the science of programming in the hope that those early in their studies of computer science pay particular attention to this important topic.
If you are intrigued by how algorithms can be formally derived, you may want to learn more by exploring the Massive Open Online Course titled "LAFF-On Programming for Correctness" [6][7]. For information about this course and related courses, visit http://ulaff.net.
An excellent text on how the logic of programming correctness is [4]
David Gries, The Science of Programming (Monographs in Computer Science), Springer, 1987.