Do all the things like ++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatarSign Up
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple APILearn More
For a much more recent one that's borderline hilarious, try "Proof and Disproof in Formal Logic: An Introduction for Programmers" by Richard Bornat, circa 2005 or so. I actually laughed out loud in places. A great example of a book that not only teaches you the basics well but also entertains in the process, there are very very few that do this well (another would be Physically Based Rendering by Pharr et. al.).
It doesn't go deep into logic and type theory - there's "Practical Foundations for Programming Languages" by Robert Harper for that, I'm struggling with it right now. Also "Types and Programming Languages" by Benjamin Pierce, which is a fairly heavy book, I'm also going through that right now.
@QuanticoCEO also Stanford's Introduction to Logic course on Coursera is incredible. I can't stress this enough. It's very practical, it has you actually applying all that stuff in a proof environment they made. It's where I send folks if they want to learn logic because that way they get hands on experience using it.
Pretty much the first course I ever finished on Coursera and paid for. Fuck the certificate, the proof environment assignments are worth it.
Miles Edgeworth: It's so basic you barely need an introduction.
QuanticoCEO32From the guy who wrote all the Programming Microsoft books and the Annotated Turing book. Comes this book. Th...
QuanticoCEO7Working in the embedded systems industry for most of my life, I can tell you methodical testing by the softwar...
QuanticoCEO35Forgot to post a book yesterday, so maybe I’ll post two books today... Anyway, this book, I found it recen...