Comment on The Mechanics of ProofComments−User232yAnyone who wants to learn more about the calculational proof style as it applies to computing science would do very well to read Dijkstra.−vector_spaces2yWhat by Dijkstra, specifically?−User232yThis[1] contains an explanation of his proof format. More generally many of the later monographs from that archive have interesting proofs. Also the book Predicate Calculus and Program Semantics is chock full of proofs.[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...
Comments
Anyone who wants to learn more about the calculational proof style as it applies to computing science would do very well to read Dijkstra.
What by Dijkstra, specifically?
This[1] contains an explanation of his proof format. More generally many of the later monographs from that archive have interesting proofs. Also the book Predicate Calculus and Program Semantics is chock full of proofs.
[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...