Logic for Programmers by Hillel Wayne
Hillel Wayne's new book, 'Logic for Programmers,' aims to teach software developers how to use formal logic and Boolean mathematics to improve code design and verification. The book focuses on practical applications, such as preventing race conditions and simplifying complex API logic, without requiring advanced mathematical training.
Why it matters
It provides accessible tools for software engineers to increase the reliability and correctness of complex distributed systems.
This is a book about designing, verifying, and reasoning about software better. And it’s about how learning a little bit of logic , the mathematics of Booleans, unlocks all sorts of cool techniques in our field.
If you want to get a feel for what it’s like, try reading a sample chapter !
Everything in the book is meant to be practical. Early chapters are on topics like “simplifying conditionals” and “ensuring an API change won’t break clients”. Later chapters are on slightly more esoteric subjects, like “finding race conditions in hypothetical software designs” and “minimizing the wall clock time of a distributed task”. Not everything will be useful to everyone, but I hope everyone finds something useful!
Nope! You don’t need to know math besides the Boolean AND, OR, and NOT that programmers pick up through daily experience. The book covers the rest of the math you need.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in