Logic for Programmers

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!