3 ms·
The book 'The science of programming' of David Gries is also a nice introduction to writing programs using mathematical logic and reasoning. The book is inspire
by contravariant 10y ago
The book 'The science of programming' of David Gries is also a nice introduction to writing programs using mathematical logic and reasoning. The book is inspired by the techniques of Dijkstra and Hoare, and written in a way that's easy to follow.
- miloshadzic 10y agoJeez, was about to buy it but it's about 90. What's the deal with this pricing?
- KurtMueller 10y agoI did a google search of the book and found a pdf as the first result: http://blg89.net/blog/wp-content/uploads/2013/11/The-Science-Of-Programming-Gries-038790641X.pdf http://blg89.net/blog/wp-content/uploads/2013/11/The-Science...
- happynewyear 10y agoI guess this is a whimsical aside/ I looked that up and got this sample of that book: http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gries-WhyUseLogic-Aug25.pdf http://www.cs.cornell.edu/courses/CS5860/2011fa/documents/Gr... Looking up Stepanov's book, landed on his slide deck about the book. Interestingly enough, both are about the remainder algorithm, and Gries' mentions a "large program" of "3000 lines", which reminded me of the other comment and the 3000000 to 30000 figure. [Stepanov's deck: http://stepanovpapers.com/EoP-StanfordEE380.pdf http://stepanovpapers.com/EoP-StanfordEE380.pdf]