3 ms·
I am also starting to learn, and I don't know if it can be applied to my real problems. I chose the Lamport learning path. I love that guy and how he thinks an
by azaras 3y ago
I am also starting to learn, and I don't know if it can be applied to my real problems.
I chose the Lamport learning path. I love that guy and how he thinks and writes. I am reading the book (I bought it in paper, but there is a free version online), watching the video courses, and reading the PlusCal tutorial online.
I enjoy the path and the enlightenment when describing a system with math. Human language has too many ambiguities, very little precision, and is verbose to express some ideas.
- klabb3 3y agoWhich book? I haven’t read anything of him. But whenever I see his stuff, I’ve been happy to see that it’s not just academic, but understandable and useful for solving real problems.
- scriptnull 3y agoThe book is probably "Specifying Systems" by Leslie Lamport[1]. I recently started reading this book and felt amazed at the way it progresses. It introduces Propositional logic, Predicate logic, and then Temporal logic. Enjoyed it so far and looking to apply it in the real-world. [1] https://lamport.azurewebsites.net/tla/book.html https://lamport.azurewebsites.net/tla/book.html
- azaras 3y agoYou are right, that one.