4 ms·
For those who want to see Dijkstra's mathematics of programs in action: 1) basic (great for kids, math novices, whatever): https://www.amazon.com/gp/product/04
by bmer 8y ago
For those who want to see Dijkstra's mathematics of programs in action:
1) basic (great for kids, math novices, whatever): https://www.amazon.com/gp/product/0470684534/ref=dbs_a_def_rwt_bibl_vppi_i0 https://www.amazon.com/gp/product/0470684534/ref=dbs_a_def_r... (ignore the two star review, this book would get 5 stars from me)
2) advanced (free, complete with videos): http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/
3) advanced: https://www.amazon.com/gp/product/0470848820/ref=dbs_a_def_rwt_bibl_vppi_i1 https://www.amazon.com/gp/product/0470848820/ref=dbs_a_def_r...
4) advanced, theoretical, from the man himself: https://www.springer.com/gp/book/9781461279242 https://www.springer.com/gp/book/9781461279242
- jonsen 8y agoAd 1) Two five-star reviews on amazon UK: https://www.amazon.co.uk/Algorithmic-Problem-Solving-Roland-Backhouse/dp/0470684534/ https://www.amazon.co.uk/Algorithmic-Problem-Solving-Roland-...
- jonsen 8y ago5) advanced: https://www.amazon.com/Science-Programming-Monographs-Computer/dp/0387964800/ https://www.amazon.com/Science-Programming-Monographs-Comput...
- User23 8y agoAlso advanced, but quite readable: https://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks...
- mcguire 8y agoAlso, slightly less advanced: A Discipline of Programming https://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X https://www.amazon.com/Discipline-Programming-Edsger-W-Dijks... For more practical fun, consider Frama-C, SPARK, and Dafny.
- madhadron 8y agoI learned this stuff from Roland's 'Program Construction'. Great book. Once you've been through that, then suddenly Dijkstra's writing becomes really practical.