Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne
Logic isn’t just for mathematicians and detectives! It’s also a great addition to any programmer's toolkit. Building on the foundation of Booleans and sets, this book will teach you how to: Simplify complex conditionals and database queries Write tests that cover a hundred cases instead...
Welcome to the Leanpub Launch video for Logic for Programmers by Hillel Wayne!
About the Book
Logic isn’t just for mathematicians and detectives! It’s also a great addition to any programmer's toolkit. Building on the foundation of Booleans and sets, this book will teach you how to:
- Simplify complex conditionals and database queries
- Write tests that cover a hundred cases instead of just one
- Find gaps and contradictions in requirements docs
- Evolve APIs in a guaranteed backwards-compatible way
- Test a design as easily and thoroughly as you test code
- Pack more clothes in a smaller suitcase
- And more!
With over 50 exercises, 20 sample programs, and accompanying online content, Logic for Programmers serves as a friendly introduction to logic and its applications for the working software developer. No math background required!
The book also has a full website and a print version available on Amazon.
About the Author
Hillel is a software engineer specializing in formal methods, distributed systems, and software history. He is the author of Practical TLA+ and the Crossover Project. He has done formal verification and training for clients like NASA, Meta, Giesecke+Devrient, McKinsey, Siemens, and Western Digital. In his free time, he juggles and makes chocolate. He has a blog at hillelwayne.com and a newsletter at https://buttondown.email/hillelwayne/.
Watch Clips from the Full Video
